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·10h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Building Testable Telegram Bots with Zustand
zwit.link·49m·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
ECMA-262, 16th edition, June 2025
262.ecma-international.org·9h·
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
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
Typed languages are better suited for vibecoding
solmaz.io·52m·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·10h·
Discuss: Hacker News
⚡Async Programming
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Running C++ on Cloudflare WASM
saus.app·15h·
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·7h·
Discuss: Substack
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Three bad things: threads, garbage collection, and nondeterministic destructors
apenwarr.ca·16h·
Discuss: Hacker News
⚡Async Programming
How should we learn from bugs?
typesanitizer.com·7h·
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
Using Dspy to Detect Document Boundaries
kmad.ai·20h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Building a Distributed Redis Clone from Scratch – Part 1: In-Memory KV Store with TCP
beyondthesyntax.substack.com·20h·
Discuss: Substack, r/programming
🌊Event Streaming
Programming Projects for Advanced Beginners
robertheaton.com·12h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System