How to Use Zorn's Lemma
gowers.wordpress.com·12h·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Few-Shot Knowledge Distillation of LLMs With Counterfactual Explanations
arxiv.org·4h
💻Local LLMs
Flag this post
A moonlit week
blog.mitrichev.ch·15h·
λLambda Encodings
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·8h·
Discuss: Hacker News
🔬Refinement Types
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·2h
🎯Performance Proofs
Flag this post
Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
blog.michielborkent.nl·2d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Weekly Challenge: The one about arrays
dev.to·20h·
Discuss: DEV
📊APL Heritage
Flag this post
Habits of Highly Mathematical People
medium.com·6h·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Problems from the Land down Under
pballew.blogspot.com·3h·
📜Manuscript Calculus
Flag this post
Language Modeling with Hierarchical Reasoning Models: Lessons from 1M Parameters
williamthurston.com·1d·
Discuss: Hacker News
📊Quantization
Flag this post
Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·4h
🧮Algebraic Datatypes
Flag this post
Concrete types yield better maintainability
alejo.ch·1d·
🔗Dependently Typed
Flag this post
AI Is Dumber on Mondays
vincentschmalbach.com·15m·
Discuss: Hacker News
Incremental Computation
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·14h·
Discuss: Hacker News
📐Format Grammars
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·16h·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Book review: Overfitting and heuristics in philosophy
ndpr.nd.edu·1d·
Discuss: Hacker News
💻Programming languages
Flag this post
Programming Languages as Languages (2014)
programmingzen.com·11h·
💻Programming languages
Flag this post
4 Unconventional Ways to Cast in Typescript
wolfgirl.dev·4d·
🎯Gradual Typing
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·13h·
Automated Theorem Proving
Flag this post