#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.com·6h·
λLambda Encodings
"i like making things—" no. you like things.
kivikakk.ee·2d
📏Code Metrics
Announcing state-machines: Rust Port of Ruby's state_machines Gem
reddit.com·17h·
Discuss: r/rust
🦀Rust Macros
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
The Health Effects of Electromagnetic Radiation
huijzer.xyz·2h·
📄PostScript
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
Padding
reddit.com·8h·
Discuss: r/golang
🔧KAITAI
The Conveyor Belt Protocol: Understanding Iterators
dev.to·9h·
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·2d·
🐚Nordic Shell
Show HN: Realization Jsmn on a Pure Zig
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
English - the hottest programming language of the future
dev.to·19h·
Discuss: DEV
🔄Language Evolution
Real Programmers Don't Use Pascal (1982)
ee.torontomu.ca·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Why it took 4 years to get a lock files specification
snarky.ca·9h·
🔄Language Evolution
Operable Software
ferd.ca·1d·
Discuss: Hacker News
👁️System Observability
Show HN: Built Open Source AI Coding Assistant Which Rivals to Cursor
lynelabs.com·2d·
Discuss: Hacker News
🔓Open Source Software
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com·2d·
Discuss: Hacker News
💧Liquid Types
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·5d
⬆️Lambda Lifting