First screen, captured .
Looks similar
Actegories(bartoszmilewski.com)
38 points by ibobev | 6 comments
Homotopy Equivalences(bartoszmilewski.com)
64 points by ibobev | 14 comments
Identity Types(bartoszmilewski.com)
6 points by ibobev | 0 comments
Identity Types(bartoszmilewski.com)
44 points by matt_d | 7 comments
Related stories
There is no epidemic of loneliness, but there is an epidemic of scurvy(experimental-history.com)
59 points by luu | 31 comments
An Experimental History Substack essay by Adam Mastroianni arguing there is no loneliness epidemic but there is an epidemic of scurvy.
The Mathocalypse(scottaaronson.blog)
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.
Belgium legalises ethical hacking(law.kuleuven.be)
394 points by jruohonen | 57 comments
A KU Leuven CiTiP blog post discussing Belgium's new legal framework legalising ethical hacking and whether it threatens or helps cybersecurity.
LLMs use a surprisingly simple mechanism to retrieve some stored knowledge(news.mit.edu)
336 points by CharlesW | 121 comments
MIT News article on research showing LLMs often retrieve stored facts via simple linear functions, and a technique to probe what a model knows about subjects.
That's not an abstraction, that's a layer of indirection(fhur.me)
546 points by fagnerbrack | 213 comments
A blog post arguing that many so-called abstractions in codebases are merely layers of indirection that add complexity and hurt performance without real value.
A New Experiment Meta-Strategy(chillphysicsenjoyer.substack.com)
26 points by surprisetalk | 1 comments
A Substack post by an amateur physicist describing a new strategy for doing home experiments after reorganizing a messy lab to fit limited free evenings.