Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
gautiersblog.blogspot.comยท3hยท
Discuss: gautiersblog.blogspot.com
๐Ÿ“ฆDeflate
Flag this post
The Dog the Cat Chased Stumped the Model: Measuring When Language Models Abandon Structure for Shortcuts
arxiv.orgยท1d
๐Ÿ”—Monadic Parsing
Flag this post
Typst's Math Mode Problem
laurmaedje.github.ioยท18hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Flag this post
Specifications like temporal logic but with ordinary mathematics
yodaiken.comยท16h
๐Ÿ“„PostScript
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
courses.csail.mit.eduยท1hยท
Discuss: Hacker News
๐Ÿ’ปCS
Flag this post
Purely Functional Retrogames (2008)
prog21.dadgum.comยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Flag this post
AI and Intro Theory
blog.computationalcomplexity.orgยท1dยท
Discuss: blog.computationalcomplexity.org
๐ŸŽฏPerformance Proofs
Flag this post
Counting R in strawberry โ€“ nanochat guide
github.comยท18hยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Flag this post
A Vision for Future Low-Level Languages
antelang.orgยท19hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿฆ€Rust Borrowing
Flag this post
Selected Meta Prompts
funcall.blogspot.comยท15hยท
Discuss: www.blogger.com
โšกProof Automation
Flag this post
Automata Alchemists: Transmuting Reinforcement Learning into State Machines by Arvind Sundararajan
dev.toยท3dยท
Discuss: DEV
โš™Automata Theory
Flag this post
Beyond Arithmetic: Understanding Computation and Computers
madeunraveled.xyzยท1dยท
Discuss: Hacker News
๐ŸŽž๏ธTape Combinatorics
Flag this post
Ken Thompson's "Trusting Trust" compiler backdoor - Now with the actual source code (2023)
micahkepe.comยท19hยท
Discuss: Hacker News, Hacker News, r/programming
๐Ÿ’ปProgramming languages
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.appยท35mยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Flag this post
AI matches human graders in ranking macroeconomics exam text responses
phys.orgยท20h
๐Ÿค–Advanced OCR
Flag this post
Corecursion
en.wikipedia.orgยท21hยท
Discuss: Hacker News
ฮปLambda Encodings
Flag this post
Half-Quadratic Quantization of large machine learning models
dropbox.techยท2d
๐Ÿ“ŠQuantization
Flag this post
A Proof of the Riemann Hypothesis
future.forem.comยท1dยท
Discuss: DEV
โš”๏ธLean Theorem
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.comยท2d
๐Ÿ”ฌLean
Flag this post
Show HN: The ฮฃ-Manifold Manifesto
news.ycombinator.comยท16hยท
Discuss: Hacker News
๐Ÿ›Digital humanities
Flag this post