agnishom

6 ms·

1.
by agnishom 7d ago
Great! Can't wait until a few billion dollars are wasted on a new Meta product which becomes a nothingburger even before it starts
2.
by agnishom 8d ago
> I didn't realize that open math problems were a finite resource. That is exactly what Tao is explaining in that tweet. TLDR: Open Problems are infinite, but those which are at the boundary of easy and hard problems and are interes
3.
by agnishom 9d ago
I read the first sentence and thought: what is the government of Albania doing in Australia?
4.
Expose Your Local Services with Lightweight Tunneling(blog.mni.li)
2 points by agnishom 9d ago|0 comments
5.
by agnishom 10d ago
Is it related to reticulum?
6.
by agnishom 20d ago
So only PR applications are affected?
7.
by agnishom 21d ago
Are H1Bs still being processed? They are dual intent visas as far as I know
8.
by agnishom 24d ago
I recommend Russ Cox's articles on implementing a regex engine: https://swtch.com/~rsc/regexp/ It is very relevant
9.
by agnishom 27d ago
Related: Don't Be a Meat Proxy: https://gruhn.me/blog/2026-08-03/ No Meat Proxy: https://nomeatproxy.com/ How to Passive-Aggressively Shame People Who Use LLMs Selfishly: https://j
10.
by agnishom 28d ago
"to power the next wave of GDP growth" is a wonderfully shallow but impressive clause.
11.
by agnishom 29d ago
I didn't know Linear has "AI features". Linear is boring, but that's actually fine by me. I use LLMs to write my code, but this does not show up in this data.
12.
by agnishom 1mo ago
Do you mean that they should [stop (absorbing everything)] and therefore absorb only _some_ things, or that they should [(stop absorbing) everything] and therefore absorb nothing?
13.
by agnishom 1mo ago
Related: Don't Be a Meat Proxy: https://gruhn.me/blog/2026-08-03/ No Meat Proxy: https://nomeatproxy.com/ How to Passive-Aggressively Shame People Who Use LLMs Selfishly: https://j
14.
by agnishom 1mo ago
Shouldn't it be "My phone is a server now"?
15.
by agnishom 1mo ago
Not really. Perhaps this will help: Can you have a set of points Y on a plane such that Y satisfies the following? Given any line passing through 2 points on Y, there is also a third point in Y that it passes through.
16.
by agnishom 1mo ago
That is not what was meant. Here is a better rephrasing: Let X be a set of points not all of which are collinear. Then, there are two points a, b in X such that the line l passing through X only passes through a and b.
17.
by agnishom 1mo ago
So, this is not an actual OS? I clicked thinking that I was about to read about some excellent systems innovation, but I was met with automation of boring office work
18.
SpecForge – A Platform for Authoring Formal Specifications(docs.imiron.io)
81 points by agnishom 2mo ago|12 comments
19.
by agnishom 2mo ago
Without the details of what the compromise is, this article is mostly tautological. Of course, _some_ things require compromise. But many things do not. Assuming false dichotomies is a fairly common fallacy that no one is immune from.
20.
by agnishom 2mo ago
I hope to see Grant Sanderson win it in 2030
21.
Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach(maths.cam.ac.uk)
605 points by agnishom 2mo ago|110 comments
22.
by agnishom 2mo ago
Some publishers such as Tor will occasionally publish DRM free ebooks. I have very little respect for DRM, though. Personally, if the author has a patreon, I suggest donating the $20 to the Patreon and pirating the book
23.
by agnishom 2mo ago
Awareness is the first step, but very far from the final one. (I am sure the author knows this, but worth reiterating.) Surveillance Capitalism is fueled by large institutions with vast depths of wealth and implemented by world-class superc
24.
by agnishom 2mo ago
Will it be able to understand my English with an Indian accent?
25.
by agnishom 2mo ago
> it is accurate and interesting, do you care who wrote it? Yes, because I have an interest in traces and mechanisms of human connections being preserved.
26.
by agnishom 2mo ago
The main difference is that the core API is public infrastructure (run by a government authority). The apps are run by different companies but the backbone is interoperable by design
27.
by agnishom 2mo ago
They have an youtube channel as well, which might stream better: https://www.youtube.com/@ergo_org
28.
Ergo: Long Form Philosophy Lectures(ergo.org)
29 points by agnishom 2mo ago|8 comments
29.
by agnishom 3mo 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
30.
by agnishom 3mo 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

More ›