Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Has anyone tried csprimer and have any reviews on it?
csprimer.comยท5hยท
Discuss: Hacker News
โš”๏ธLean Tactics
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Carrying Code
Neuro-Symbolic AI
en.wikipedia.orgยท4hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
In-Depth Analysis: "Attention Is All You Need"
dev.toยท3hยท
Discuss: DEV
๐Ÿง Intelligence Compression
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท15h
๐ŸŒณContext free grammars
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.comยท9hยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
The Chip That Spoke Lisp
jxself.orgยท3d
๐Ÿค–Lisp Machines
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.comยท2hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
Lobsters Interview with Zdsmith
lobste.rsยท13hยท
Discuss: Lobsters
๐Ÿ”—Concatenative Programming
ASP.NET Core 9 Essentials โ€ข Albert Tanure & Rafael Herik de Carvalho โ€ข GOTO 2025
youtube.comยท1d
๐ŸŒWASI
A Manifesto for the Programming Desperado
github.comยท3hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages