Slip โ€“ A Lisp System in JavaScript
lisperator.netยท8hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.toยท2hยท
Discuss: DEV
โšกIncremental Computation
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท14h
๐Ÿ“žSession Types
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท12h
๐Ÿ’ŽInformation Crystallography
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท18h
๐Ÿ”—Graph Isomorphism
Building the Reasoning Engine at Axiom
axiommath.aiยท2hยท
Discuss: Hacker News
โš”๏ธLean Tactics
An enough week
blog.mitrichev.chยท1dยท
๐Ÿ“ˆLinear programming
Three ways formally verified code can go wrong in practice
buttondown.comยท5h
๐Ÿ“œProof Carrying Code
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท6h
๐Ÿ”ขDenotational Semantics
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
LLMs and reinforcement learning
sicpers.infoยท12h
โš”๏ธLean Tactics
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท8hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Categorical systems theory
topos.instituteยท10h
๐Ÿ”€Category Theory
Neuro-Symbolic AI
en.wikipedia.orgยท7hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.devยท2dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Let's Write a Macro in Rust
hackeryarn.comยท6hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.orgยท9hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Multimodal Safety Evaluation in Generative Agent Social Simulations
arxiv.orgยท18h
๐Ÿ”ฒCellular Automata
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.caยท3hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming