An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Three gripes about Go modules
jotaen.net·14h·
Discuss: Hacker News
🔓Reverse engineering
TypeScript Flaws (2024)
intercaetera.com·4d·
Discuss: Hacker News
🎯Gradual Typing
[R] DeepSeek 3.2's sparse attention mechanism
reddit.com·1d·
Discuss: r/MachineLearning
🌀Brotli Internals
Show HN: I built a local AI agent desk toy
blog.simone.computer·2d·
Discuss: Hacker News
🎙️Whisper
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.com·1d
🔍Z3 Parsing
An /intro to Python 3.14’s New Features
blog.pythonlibrary.org·1d
🌳Incremental Parsing
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Show HN: I built a LSP with its own parser to learn Rust
github.com·4h·
Discuss: Hacker News
⚡Dependent Rust
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🦀Rust Borrowing
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·21h·
Discuss: DEV
📊Multi-vector RAG
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming
rust-lang/rustfmt
github.com·1d
🦀Rust Macros
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·5d·
Discuss: Hacker News
📝Concrete Syntax
Building A Real-Time Communication System Using Go and WebSocket
dev.to·15h·
Discuss: DEV
🌐WebSocket Framing
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
In-Depth Analysis: "Attention Is All You Need"
dev.to·16h·
Discuss: DEV
🧠Intelligence Compression