Mislav's Top FindsLoading...
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·20h·
Discuss: Substack, r/programming
🌊Event Streaming
Using Dspy to Detect Document Boundaries
kmad.ai·20h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Show HN: List of Clojure-Like projects
github.com·2d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Building for the Era of Experience
rnikhil.com·12h·
Discuss: 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
λFunctional Programming
StreamPark: A streaming application development framework
github.com·14h·
Discuss: Hacker News
🌊Event Streaming
How Promise Works in JavaScript
developer.mozilla.org·1d·
Discuss: Hacker News
⚡Async Programming
PatchworkOS: A from-scratch NON-POSIX OS strictly adhering to the "everything is a file" philosophy that I've been working on for..
github.com·1d·
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
λFunctional Programming
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·1d·
Discuss: Substack
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
A Sea of Nodes IR Tutorial
github.com·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
How Python Grew From a Language to a Community
thenewstack.io·10h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
The Summer of Codex
paylias.xyz·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Show HN: Cortex – OS-wide AI with instant context input
cortexdesktop.com·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
China: A Safe Haven from the NSA
medium.com·3h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Addressing Source Code Leaks Across the Ecosystem – A Retrospective
green.sapphi.red·10h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Show HN: Accelerate AI agent development by grounding AI assistant in local docs
github.com·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
The Parallel Lives of an AI Engineer
worksonmymachine.ai·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Your AI Agent Needs Minimal Relevant Context at the Right Time
chkk.io·6h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System