HackerTrans
TopNewTrendsCommentsPastAskShowJobs

ahsillyme

no profile record

Submissions

Phantom Type

wiki.haskell.org
2 points·by ahsillyme·10 gün önce·0 comments

Algorithmic Information Theory Data Compression Challenge

arxiv.org
1 points·by ahsillyme·25 gün önce·0 comments

Step in Tine: Forking Processes in Functional Choreographies

arxiv.org
1 points·by ahsillyme·2 ay önce·0 comments

Neuro-Symbolic Ode Discovery with Latent Grammar Flow

arxiv.org
1 points·by ahsillyme·3 ay önce·0 comments

Optimal Software Pipelining Using an SMT-Solver

arxiv.org
2 points·by ahsillyme·5 ay önce·0 comments

The quadratic knapsack problem (2025)

sciencedirect.com
2 points·by ahsillyme·7 ay önce·0 comments

Kleene Algebra

arxiv.org
3 points·by ahsillyme·8 ay önce·0 comments

Massively Parallel Proof-Number Search for Impartial Games and Beyond

arxiv.org
1 points·by ahsillyme·8 ay önce·0 comments

Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph

arxiv.org
3 points·by ahsillyme·8 ay önce·0 comments

Depth-13 Sorting Networks for 28 Channels

arxiv.org
4 points·by ahsillyme·8 ay önce·0 comments

[untitled]

2 points·by ahsillyme·10 ay önce·0 comments

Generic functional parallel algorithms: scan and FFT (2017)

dl.acm.org
1 points·by ahsillyme·10 ay önce·0 comments

comments

ahsillyme
·10 gün önce·discuss
Since this will not be able to be used for coding or code auditing, what use is it? Not being glib, not a rhetorical question. I'm trying to stretch my creativity, and I can't see what it's for.
ahsillyme
·geçen ay·discuss
I thought that there was a name clash: https://web.archive.org/web/20071010015641/https://martin.an... but I can't actually remember what that that wterm was. Not the same I would imagine. (edit: what I was thinking about was https://sourceforge.net/projects/wterm/)
ahsillyme
·3 ay önce·discuss
I read that as implied.
ahsillyme
·3 ay önce·discuss
[dead]
ahsillyme
·4 ay önce·discuss
I think it betrays cynicism about the tendency for single-objective optimizing market actors to rent-seek and cartelize. I don't think it's a stretch at all. On the surface it would be equally preposterous to suggest that breathing could be theoretically revoked by the government, which truly is preposterous but we do have those laws in place depending on whether the air you breathe has "illegal substances" in it. But then again, explicit revocation is a high bar when you can throttle the free use of computational resources by regulatory capture: the AI incumbents could say, for example, that AI is so dangerous that it must be kept out of the hands of the unwashed masses. Another excellent strategy (with a rather high bar to entry) would be to distort the markets themselves by ensuring that your prospective renters can't afford basic compute.
ahsillyme
·4 ay önce·discuss
Interesting. It's the only commercial distro I could ever stomach, in fact I really like it but don't use it, (because there's a non-commercial distro that I like much more). (Edit: my point was that it would feel like a real loss if it were to deteriorate)
ahsillyme
·4 ay önce·discuss
Alright, it was my assumption that we'll be left with a totally dysfunctional economy, and in that sense whatever's in you bank account means very little. If I were an oil exec I wouldn't trade that world from what we had before even if money was my only objective.
ahsillyme
·4 ay önce·discuss
I don't think any reasonable person would think this decision works to fill the coffers of anybody. Everyone is getting shafted.
ahsillyme
·4 ay önce·discuss
What's in the autocorrect dictionary usually has nothing to do with what you typically write. No reason to wonder (i.e. if the insinuation being that that's a word they'd typically use).
ahsillyme
·5 ay önce·discuss
> "Personal Computing" is going to become a luxury of the past, and we’ll all be terminal-renters in someone else's data center.

Yep. My take is that, ironically, it's going to be because of government funding the circular tech economy, pushing consumers out of the tech space.
ahsillyme
·6 ay önce·discuss
More or less. Unless it's something to do with the employee's privacy or something to that effect. Doesn't mean the criminals are the good guys here, since they're trying to make bank on it instead of releasing it to the public -- if it's something that the public has an interest in.
ahsillyme
·8 ay önce·discuss
I wouldn't be so sure of that assertion regarding attention span. https://en.wikipedia.org/wiki/Pluralistic_ignorance granted, it's about opinion rather than capability but the same bias would explain such a reflexive judgment, and such a judgment will have negative consequences if it is false. (Consensus can be shaped, as can the perception of consensus be.)
ahsillyme
·8 ay önce·discuss
I've toyed with the idea that maybe this is intentionally what they're doing. Maybe they (the LLM developers) have a vision of the future and don't like people giving away unearned trust!
ahsillyme
·9 ay önce·discuss
Is this something that you would have done? I don't see how russia's survivability would be improved by expanding it's sphere of control, but, on the contrary it would stretch resources thin.