agnishom

5 ms·

31.
by agnishom 4mo ago
A while ago, we wrote a paper about finding regexes which match the same way in both the greedy semantics and the leftmost maximal semantics. https://par.nsf.gov/servlets/purl/10534654
32.
by agnishom 4mo ago
> Selfish LLM usage: A situation in which someone uses an LLM to save their own time at the expense of other people’s time, resulting in a net productivity loss. Brilliant. I would like to expand this definition slightly in order to incl
33.
by agnishom 4mo ago
does this help? https://www.youtube.com/watch?v=cGA6Tj9_lSg
34.
by agnishom 4mo ago
How about kellenok.github.io/cure-script/ But actually, I prefer the app "human japanese"
35.
by agnishom 4mo ago
It's not discouraging at all. Japanese concepts do not have a 1-1 mapping with English concepts, so there is a lot of debate about how it can be taught. I find it fascinating.
36.
by agnishom 4mo ago
Many Japanese English speaksers instinctively pronounce si as shi. They say shistem for system, bashic for basic, shix for six, etc
37.
by agnishom 4mo ago
Finally some good news in 2026
38.
by agnishom 4mo ago
Perfect. That is exactly what I needed to know
39.
by agnishom 4mo ago
> Are people migrating to alternative hosting? Yes, are they? Where are the alternative hosting that do the same thing as Bluesky?
40.
by agnishom 4mo ago
Which are the fun games? Any suggestions? What source material are you talking about?
41.
by agnishom 4mo ago
Are any of these games fun to play?
42.
by agnishom 4mo ago
Which arm of the "US government"? What legal framework allows them to issue such a directive?
43.
by agnishom 4mo ago
See also: cofixpoints of co-algebras
44.
by agnishom 4mo ago
> generate large streams of random numbers; you would select an index at random, share that private key with somebody, and then the subsequent text could be used as a one-time-pad. This is what stream ciphers are
45.
by agnishom 4mo ago
Great post! Seems like a very fun problem
46.
by agnishom 4mo ago
> which is actually a notification that your child made it to school safely Thank you for the comment. I did notice that it was a notification, though. It is an useful feature, but I don't think this is a good trade-off. Some Erica&
47.
by agnishom 4mo ago
I get how it can feel horrifying, but I don't think we should make this decision based on gut-reactions. Bad things can and do happen to children, but nearly not as much to warrant tracking them. Even if it were, I'd be reluctant
48.
by agnishom 4mo ago
The response to "Where's Erica?" should not be to put a tracking wristband on Erica. Perhaps you won't know where Erica is. Perhaps she is doing something dangerous. The oblivion and ambiguity are part of what constitute
49.
by agnishom 4mo ago
For me, it was GitHub Copilot in 2021. It could autocomplete my Haskell code based on my comments.
50.
by agnishom 5mo ago
Agreed. Not gonna lie, I am upset and angry to see small companies disappear and be eaten up by larger ones. But I praise them for not building in any vendor lock-in. And I also appreciate them for open-sourcing their toolchain
51.
Garnix (A Nix CI) is shutting down(discourse.nixos.org)
79 points by agnishom 5mo ago|28 comments
52.
by agnishom 5mo ago
This is the most important thing about AI, that the policymakers and AI companies need to discuss more. If AI is making us, as a race, more productive, who is reaping the benefits of that productivity?
53.
by agnishom 5mo ago
It means data that was downloaded from our servers. They are not claiming that the data was their intellectual property. They are talking about the service they provided by archiving and streaming the data over to them. (I can't decide
54.
by agnishom 5mo ago
This is such an incredible and inspiring episode!
55.
by agnishom 5mo ago
This is a bit of a strawman. When people say "writing code", they don't necessarily mean [pressing the keys on the keyboard that produces the necessary bytes in a text file].
56.
by agnishom 5mo ago
The article is not about those use cases. There are plenty of use cases for which local models are already pretty good
57.
by agnishom 5mo ago
On the flip side, there are people (like me) far less skilled that do (take joy in the appreciation of mathematics as art).
58.
by agnishom 5mo ago
I strongly suspect that the author's legal counsel advised them not to discuss their actual charge in explicit detail
59.
by agnishom 5mo ago
1. It matters because there are human mathematicians who pride themselves for their mathematical achievements. Mathematics is art to them. 2. Yes, it is. Because pre-LLM era computer-aided proofs were about using the computer to either solv
60.
by agnishom 5mo ago
I agree but unfortunately there are more and more young people who seem to think that not doing this challenge is okay :(

More ›