🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
💎 Refinement Types

Liquid Types, SMT Verification, Predicate Subtyping, Contract Programming

An Introduction to Messaging in Valkey
mqsummit.com·1d·
Discuss: r/programming
🔧Unikernel Development
FastAPI vs Django vs Flask for SaaS: The 2025 Performance Showdown
fastlaunchapi.dev·1d·
Discuss: r/programming
🔄Reproducible Builds
We need to seriously think about what to do with C++ modules
nibblestew.blogspot.com·1d·
Discuss: Lobsters, Hacker News, nibblestew.blogspot.com, r/cpp
🐫Embedded OCaml
Igniting Creative Writing in Small Language Models: LLM-as-a-Judge versus Multi-Agent Refined Rewards
arxiv.org·1d
🧩Parser Combinators
Benchmarking compression programs
maskray.me·2d·
Discuss: Hacker News
🔄Reproducible Builds
What's cooking on SourceHut? Q3 2025
sourcehut.org·22h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Dependent types I › Universes, or types of types
jonmsterling.com·6d·
Discuss: Hacker News
➡️Category Theory
Inferno Part 2: Let's Make a Cluster
debu.gs·1d·
Discuss: Hacker News
🏠HomeLab
A letter to the C-suite: think carefully before hiring MLEs
parsed.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·17h·
Discuss: Hacker News
🧩Parser Combinators
How do you handle JDK/JRE patch updates for Java apps on K8s?
news.ycombinator.com·42m·
Discuss: Hacker News
❄️Nixified Development
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
JetBrains removes commercial license for its LSP API
neowin.net·20h·
Discuss: Hacker News
📦Unikernel Systems
Tinyrenderer second edition: software rendering in 500 lines of bare C++
haqr.eu·2d·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Type-Safe Polymorphic Constructors via Compile-Time Guarantees
medium.com·6d·
Discuss: r/programming
🔠Type-Level Programming
The KK computer: a 6502 + coprocessor system
laughtonelectronics.com·15h·
Discuss: Lobsters
🔧Unikernel Development
Apertus: a fully open, transparent, multilingual language model
ethz.ch·3h·
Discuss: Hacker News, r/LocalLLaMA
🔬Unikernels
Why Kafka and Iceberg Will Define the Next Decade of Data Infrastructure
blog.streambased.io·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Combining struct literal syntax with read-only field access
kobzol.github.io·1d·
Discuss: Lobsters, r/rust
🐫Embedded OCaml
Vibe Coding Lets Anyone Start, But Few Know How to Finish
analyticsindiamag.com·1d·
Discuss: r/programming
👁️System Observability
Loading...Loading more...
AboutBlogChangelogRoadmap