The Development of Pie
terathon.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
What's new in Swift: October 2025 Edition
swift.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·10h·
Discuss: Hacker News
📚Automata Learning
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·22h·
Discuss: Lobsters, Hacker News
💻CLI Tools
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·1d·
Discuss: Hacker News
📦OPAM
Flag this post
Dusty, new HTTP server using async I/O and coroutines
github.com·3h·
Discuss: r/Zig
🌐Network Protocols
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·4d
📦Module Systems
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·4d·
Discuss: Substack
λFunctional Programming
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·2d·
Discuss: Hacker News
💬Mach Messages
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·2d
λFunctional Programming
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·1h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·9h·
Discuss: DEV
λFunctional Programming
Flag this post
Our newest model: Chandra (OCR)
datalab.to·13h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
[R] TempoPFN: Synthetic Pretraining of Linear RNNs for Zero-Shot Timeseries Forecasting
reddit.com·12h·
Discuss: r/MachineLearning
📚Automata Learning
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·1d·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post
DDD and the Simplicity Gospel
oluatte.com·1d·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.to·20h·
Discuss: DEV
🧠Automated Reasoning
Flag this post