The Porcelain to Come
stackdiver.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·42m·
Discuss: Hacker News
🧮Kolmogorov Bounds
Let's Prove Leftpad
github.com·4d·
Discuss: Hacker News
📜Proof Carrying Code
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
The Trillion Dollar AI Software Development Stack
a16z.com·11h·
Discuss: Hacker News
⚡Proof Automation
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·18h·
Discuss: Hacker News
🔓Open Source Software
In-Depth Analysis: "Attention Is All You Need"
dev.to·17h·
Discuss: DEV
🧠Intelligence Compression
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·1d
🌀Differential Geometry
rust-lang/rustfmt
github.com·1d
🦀Rust Macros
The Conveyor Belt Protocol: Understanding Iterators
dev.to·4h·
Discuss: DEV
🧬Functional Programming
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
Making Slint UI Framework Desktop-Ready
slint.dev·1d·
Discuss: Lobsters, Hacker News, r/cpp, r/rust
🐚Nordic Shell
Show HN: Realization Jsmn on a Pure Zig
github.com·22h·
Discuss: Hacker News
🔗Concatenative Programming