Linear Types for Programmers
twey.io·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Unsupervised Model Improvement via Internal Coherence Maximization
huggingface.co·8h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
ECMA-262, 16th edition, June 2025
262.ecma-international.org·6h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
A Library Approach to Constant Template Parameters
brevzin.github.io·1d·
Discuss: Hacker News, r/cpp
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·7h·
Discuss: Hacker News
⚡Async Programming
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·3d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Programming Projects for Advanced Beginners
robertheaton.com·9h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·22h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Running C++ on Cloudflare WASM
saus.app·12h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Hask Is Not a Category
math.andrej.com·4d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
The way Rust crates tend to have a single, huge error enum worries me
reddit.com·2d·
Discuss: r/rust
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·5h·
Discuss: Substack
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Three bad things: threads, garbage collection, and nondeterministic destructors
apenwarr.ca·14h·
Discuss: Hacker News
⚡Async Programming
How should we learn from bugs?
typesanitizer.com·4h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
How to Write Inductive Invariants
quint-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🌐Network Protocols
Building a Distributed Redis Clone from Scratch – Part 1: In-Memory KV Store with TCP
beyondthesyntax.substack.com·17h·
Discuss: Substack, r/programming
🌊Event Streaming
Using Dspy to Detect Document Boundaries
kmad.ai·18h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·1d·
Discuss: Hacker News
⚡Async Programming
Show HN: List of Clojure-Like projects
github.com·2d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System