akalin

8 ms·

1.
I solved 6 open Erdős problems in 5 days, using OpenAI GPT-5.6 Sol(twitter.com)
5 points by akalin 2mo ago|1 comments
2.
by akalin 2mo ago
In this case, the same way I would -- calling out to SymPy. Once you verify (with SymPy or another CAS, like Mathematica) that the given function has the claimed Jacobian determinant (which involves only taking partial derivatives and takin
3.
Bid to name a street in San Francisco(paintastreet.com)
2 points by akalin 6mo ago|0 comments
4.
Dwarf support for macOS and Linux · OCaml/OCaml(github.com)
4 points by akalin 10mo ago|1 comments
5.
Stanford CS336 Language Modeling from Scratch I 2025(youtube.com)
1 points by akalin 1y ago|0 comments
6.
Introduction to Real Analysis(alexkontorovich.github.io)
2 points by akalin 1y ago|0 comments
7.
by akalin 2y ago
I'm partial to Caratheodory's definition of the derivative, which avoid limits like the infinitesimal approach, but doesn't pull in all the extra baggage that come with infinitesimals (if you do it rigorously). djb (yes, that
8.
G, a Statistical Myth (2007)(bactra.org)
22 points by akalin 2y ago|4 comments
9.
Diophantine Fruit(thehighergeometer.wordpress.com)
3 points by akalin 2y ago|0 comments
10.
NYC's Idling Complaint Law Can Earn You Six Figures(curbed.com)
5 points by akalin 2y ago|0 comments
11.
Patio11 on Japan, hiring, and his long, odd road to fame [video](youtube.com)
3 points by akalin 2y ago|0 comments
12.
Fast Crimes at Lambda School(sandofsky.com)
12 points by akalin 2y ago|2 comments
13.
by akalin 3y ago
I think what's left unsaid in the paper is that if a Lorentz-invariant speed exists, then it is unique. (This is easy enough to show.) Therefore, once you show that the speed of light in a vacuum is Lorentz-invariant, then it has to be
14.
Dave Clark’s Last Days at Flexport(theinformation.com)
1 points by akalin 3y ago|0 comments
15.
Akita Has Joined Postman(akitasoftware.com)
2 points by akalin 3y ago|0 comments
16.
by akalin 3y ago
https://akalin.com I write very infrequently, but my favorite posts are: - Why is the Quintic Unsolvable? - https://www.akalin.com/quintic-unsolvability - A Gentle Introduction to Erasure Codes - https:/&#
17.
My approach to building large technical projects(mitchellh.com)
233 points by akalin 3y ago|27 comments
18.
Mark Zuckerberg Says Meta Will Slow Hiring, Won’t Rule Out Future Layoffs(wsj.com)
1 points by akalin 3y ago|0 comments
19.
The purported proof of the four color theorem has been retracted(twitter.com)
7 points by akalin 4y ago|2 comments
20.
ChatGPT Will End High-School English(theatlantic.com)
2 points by akalin 4y ago|0 comments
21.
Be Less Scared of Overconfidence(benkuhn.net)
79 points by akalin 4y ago|27 comments
22.
Age and Authenticated Encryption(words.filippo.io)
56 points by akalin 4y ago|19 comments
23.
Blockchain Solutionism – Guest Lecture at UT Austin by Molly White(youtube.com)
3 points by akalin 4y ago|0 comments
24.
You can now play 'Doom' inside 'Doom II'(engadget.com)
4 points by akalin 4y ago|0 comments
25.
David Imus’ “The Essential Geography of the United States of America”(slate.com)
3 points by akalin 4y ago|1 comments
26.
The Axie Infinity hack, what happened, and why people keep talking about bridges(blog.mollywhite.net)
2 points by akalin 4y ago|0 comments
27.
Critically Conscious Computing: Methods for Secondary Education(criticallyconsciouscomputing.org)
11 points by akalin 5y ago|5 comments
28.
by akalin 5y ago
It's just unfortunate terminology -- a closed set is one whose complement is open, not one which is not open.
29.
Farewell – Etaoin Shrdlu(vimeo.com)
2 points by akalin 5y ago|0 comments
30.
Some Reasons to Measure(danluu.com)
14 points by akalin 5y ago|1 comments

More ›