HackerTrans
TopNewTrendsCommentsPastAskShowJobs

ahsillyme

no profile record

Submissions

Phantom Type

wiki.haskell.org
2 points·by ahsillyme·10 hari yang lalu·0 comments

Algorithmic Information Theory Data Compression Challenge

arxiv.org
1 points·by ahsillyme·24 hari yang lalu·0 comments

Step in Tine: Forking Processes in Functional Choreographies

arxiv.org
1 points·by ahsillyme·2 bulan yang lalu·0 comments

Neuro-Symbolic Ode Discovery with Latent Grammar Flow

arxiv.org
1 points·by ahsillyme·3 bulan yang lalu·0 comments

Optimal Software Pipelining Using an SMT-Solver

arxiv.org
2 points·by ahsillyme·5 bulan yang lalu·0 comments

The quadratic knapsack problem (2025)

sciencedirect.com
2 points·by ahsillyme·7 bulan yang lalu·0 comments

Kleene Algebra

arxiv.org
3 points·by ahsillyme·8 bulan yang lalu·0 comments

Massively Parallel Proof-Number Search for Impartial Games and Beyond

arxiv.org
1 points·by ahsillyme·8 bulan yang lalu·0 comments

Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph

arxiv.org
3 points·by ahsillyme·8 bulan yang lalu·0 comments

Depth-13 Sorting Networks for 28 Channels

arxiv.org
4 points·by ahsillyme·8 bulan yang lalu·0 comments

[untitled]

2 points·by ahsillyme·10 bulan yang lalu·0 comments

Generic functional parallel algorithms: scan and FFT (2017)

dl.acm.org
1 points·by ahsillyme·10 bulan yang lalu·0 comments

comments

ahsillyme
·10 hari yang lalu·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
·bulan lalu·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 bulan yang lalu·discuss
I read that as implied.
ahsillyme
·3 bulan yang lalu·discuss
[dead]
ahsillyme
·4 bulan yang lalu·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 bulan yang lalu·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 bulan yang lalu·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 bulan yang lalu·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 bulan yang lalu·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 bulan yang lalu·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 bulan yang lalu·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
·7 bulan yang lalu·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 bulan yang lalu·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 bulan yang lalu·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.