tiferrei's Top FindsLoading...
Middleware is better than MVC - prove me wrong!
getlaminas.org·18h·
Discuss: r/programming
👁️System Observability
Secure boot signing with Debusine (by Colin Watson)
freexian.com·2d·
Discuss: Hacker News
🔬Unikernels
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
70 Companies You Didn't Know Were Using Rails in 2025
thoughtbot.com·1d·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
Reducing double spend latency from 40 ms to < 1 ms on privacy proxy
blog.cloudflare.com·1d·
Discuss: Hacker News
📡Network Protocol Design
Thinking of Upgrading My Home Server – Looking for Advice (Beginner)
youtube.com·3d·
Discuss: r/homelab
🏠HomeLab
Running C++ on Cloudflare WASM
saus.app·3d·
Discuss: Hacker News
🐫Embedded OCaml
How to Write Inductive Invariants
quint-lang.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🌐NetworkProtocols
Show HN: Rotel – Fast and Efficient OpenTelemetry Collection in Rust
rotel.dev·21h·
Discuss: Hacker News
👁️System Observability
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
I Built a Ballistic Missile Defense Simulator in a Browser
medium.com·2h·
Discuss: Hacker News
📡Network Protocol Design
Constructive Disintegration and Conditional Modes
arxiv.org·2d
🔄Finite State Machines
Show HN: Open-source macOS dictation replacement, 5Mb
github.com·2d·
Discuss: Hacker News
🍎Apple
Beyond the Wavefunction: Qualia Abstraction Language Mechanics and the Grammar of Awareness
arxiv.org·10h
➡️Category Theory
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1d
✓Automated Theorem Proving
Speech-to-LaTeX: New Models and Datasets for Converting Spoken Equations and Sentences
arxiv.org·10h
🐫OCaml
LECTOR: LLM-Enhanced Concept-based Test-Oriented Repetition for Adaptive Spaced Learning
arxiv.org·10h
🎮Verification Games
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
arxiv.org·1d
✓Automated Theorem Proving
TRACEALIGN -- Tracing the Drift: Attributing Alignment Failures to Training-Time Belief Sources in LLMs
arxiv.org·1d
🎮Verification Games
OpenAI announces two “gpt-oss” open AI models, and you can download them today
arstechnica.com·21h·
Discuss: Hacker News
🔬Unikernels