tiferrei's Top FindsLoading...
Show HN: Spooky Planning. Full-feature Planning Poker free forever
spookyplanning.com·2h·
Discuss: Hacker News
Irmin Retrospective
patrick.sirref.org·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
A Simple Model of Online Platform Enshittification
apoorvalal.github.io·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Crudloop – On-Demand Voice AI, Meeting Bots and Full-Stack Development
crudloop.com·1d·
Discuss: Hacker News
PyTorch 2.8 Release
pytorch.org·4d·
Discuss: Hacker News
📦Unikernel Systems
Model Evaluation
ampcode.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
From Chrome renderer code exec to kernel with MSG_OOB
googleprojectzero.blogspot.com·3d·
Discuss: googleprojectzero.blogspot.com, Lobsters, Hacker News
📦Unikernel Systems
The Enshittification of Generative AI
wheresyoured.at·2d·
Discuss: Hacker News
🔬Unikernels
Started technical writing, ~4 years of experience
reddit.com·1d·
Discuss: r/programming
🔬Static Analysis
Consent for Hackers, Negotiating consent based on the HTTP protocol (WHY2025)
cdn.media.ccc.de·1d
🌐NetworkProtocols
Reparameterization Proximal Policy Optimization
arxiv.org·9h
🧪Property-Based Testing
Vibe coding is not the AI utopia it seems
northpodie.blogspot.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Cljfx – Declarative, functional and extensible wrapper of JavaFX
github.com·7h·
Discuss: Hacker News
Lurk – A Turing-complete programming language for ZK-SNARKs
github.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Matter enhancements enable cheaper HomeKit devices and slicker control
9to5mac.com·29m
FreeSewing: sewing patterns in the open source world (WHY2025)
cdn.media.ccc.de·3h
Privacy Appliances
reddit.com·1d·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
How to bluff your way into Zero Trust (WHY2025)
cdn.media.ccc.de·1h
A Graph Neural Network Approach for Mapping the Conceptual Structure and Inter-Branch Connectivity of Physics
arxiv.org·9h
➡️Category Theory