🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

The first OpenAI device, created in collaboration with Jony Ive, has faced technical difficulties
madcornishprojectionist.co.uk·23h
🔓Reverse engineering
Cornell’s Tiny “Microwave Brain” Chip Could Transform Computing and AI
scitechdaily.com·9h
🔧Hardware Verification
Math that feels good: creating learning resources for blind students
aimath.org·1d
✋Tactile Computing
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·3d·
Discuss: Hacker News, Hacker News
📐Linear Algebra
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·2d·
Discuss: Lobsters, Hacker News
🌐DNS Security
We built a tool to auto-instrument Go apps with OpenTelemetry at compile time
quesma.com·20h
👁️System Observability
Interview Your Libraries (2013)
jch.github.io·15h·
Discuss: Hacker News
⚙️Build Archaeology
OCP Summit 2025: The Open Future of Networking Hardware for AI
engineering.fb.com·8h
🏠Homelab Federation
Actually finding vulnerabilities using AI with Joshua Rogers
opensourcesecurity.io·1d·
Discuss: Hacker News
🚀Indie Hacking
The Morality of Modeling
isaacbound.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Ordering types in SQL
buttondown.com·14h·
Discuss: Hacker News
🗃️Database Storage
AI-Powered Beamforming: Boosting 5G/6G Performance with Smart Signal Shaping
dev.to·10h·
Discuss: DEV
🎧Learned Audio
Non-traditional data in pandemic preparedness and response: identifying and addressing first and last-mile challenges
arxiv.org·1d
🕸️Mesh Networking
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·4d
📋Document Grammar
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·4d
🔗Parser Combinators
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·7h·
Discuss: DEV
🚀Indie Hacking
Automated Stability Enhancement of Lyophilized Injectable Powder Formulations via Dynamic Drying Cycle Optimization
dev.to·3h·
Discuss: DEV
☕Precision Brewing
Reinforced sequential Monte Carlo for amortised sampling
arxiv.org·4h
🧮Kolmogorov Bounds
Dr. Bias: Social Disparities in AI-Powered Medical Guidance
arxiv.org·1d
🧠Machine Learning