Modern C and initializing an array
subethasoftware.com·2d
🗂Data structures
Igor Tamm and the Taylor expansion (2017)
damtson.wordpress.com·19h·
Discuss: Hacker News
🔐Soviet Cryptography
1990s Millport CNC Vertical Mill Revival
salvagedcircuitry.com·8h·
Discuss: Hacker News
⚙️Modern Assembly
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com·15h·
Discuss: Hacker News
⚡Cache Theory
Intelligent Search in Rails with Typesense
avohq.io·4d·
Discuss: Hacker News
🎯Gradual Typing
Beyond the Hyped IMO Benchmarks: Towards a True Mathematical AI Discovery
quantumformalism.substack.com·2d·
Discuss: Substack
🧮SMT Solvers
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·2d·
Discuss: Hacker News
💻Local LLMs
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·1d·
Discuss: Lobsters, Hacker News
📊APL Heritage
Why Go (Golang) Is Worth Learning in 2025
dev.to·17h·
Discuss: DEV
🧠Lisp Dialects
Programmer in Wonderland
binaryigor.com·2d·
Discuss: Hacker News
🔩Systems Programming
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Building A Real-Time Communication System Using Go and WebSocket
dev.to·1d·
Discuss: DEV
🌐WebSocket Framing
The Hidden Power of ChatGPT Prompts Nobody Talks About
dev.to·8h·
Discuss: DEV
⚡Proof Automation
Comparing human and language models sentence processing difficulties on complex structures
arxiv.org·3d
🔗Parser Combinators
Evaluating Small Vision-Language Models on Distance-Dependent Traffic Perception
arxiv.org·2d
🧠Machine Learning
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·2d
🔲Cellular Automata
TS-Reasoner: Aligning Time Series Foundation Models with LLM Reasoning
arxiv.org·5d
🎯Gradual Typing
Parallel-in-Time Solution of Allen-Cahn Equations by Integrating Operator Learning into the Parareal Method
arxiv.org·2d
🕸️Tensor Networks
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·1d·
Discuss: Hacker News
🔗Concatenative Programming