tiferrei's Top FindsLoading...
Introduction to Unikernel: Building, Deploying Lightweight, Secure Applications
tallysolutions.com·10h·
Discuss: Hacker News
📦Unikernel Systems
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·20h
🎮Verification Games
Looking for some opinions for my homelab ideas.
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
How to Write Inductive Invariants
quint-lang.org·9h·
Discuss: Lobsters, Hacker News, r/programming
🌐NetworkProtocols
Show HN: List of Clojure-Like projects
github.com·4h·
Discuss: Hacker News
🐫OCaml
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·7h·
Discuss: Hacker News
🐫Embedded OCaml
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·17h·
Discuss: Hacker News
📡Network Protocol Design
Lobsters Interview with Icefox
lobste.rs·7h·
Discuss: Lobsters
🐫Embedded OCaml
From Frustration to Power: What We Learned at Nixcademy
niteo.co·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🔠Type-Level Programming
Soldered RAM Upgrades Finally Available for Mac-PPC
hackaday.com·2d
💾Retro Computing
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·19h·
Discuss: Hacker News
🐫Embedded OCaml
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
🐫OCaml
Slurm vs. K8s for AI Infra: Academic HPC vs. Cloud-Native Reality
blog.skypilot.co·7h·
Discuss: Hacker News
⎈Kubernetes
Encrypted Client Hello Approved for Publication
feistyduck.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Accessing the Kubernetes API from SQL Server 2025
dbafromthecold.com·11h·
Discuss: Hacker News
⎈Kubernetes
Growing my first Homelab - but could do with some Advice...
i.redd.it·23h·
Discuss: r/homelab
🏠HomeLab
Engineering With Java: Digest #58
javabulletin.substack.com·2h·
Discuss: r/programming
🔄Reproducible Builds
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
➡️Category Theory
The smallest embeddable scripting language, part 1
log.schemescape.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation