tiferrei's Top FindsLoading...
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·2h·
Discuss: Substack
➡️Category Theory
Injecting Java from native libraries on Android
octet-stream.net·8h·
Discuss: Lobsters, Hacker News
AI at IMO 2025: a round-up
xenaproject.wordpress.com·19h·
Discuss: Hacker News
✓Automated Theorem Proving
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·1d·
Discuss: Substack
⚙️PL Implementation
User Interfaces in Agentic CLI Tools: What Developers Need
thenewstack.io·1d
⚙️PL Implementation
Why You Shouldn’t Treat Your Database as an Integration Platform
medium.com·23h·
Discuss: r/programming
🛡️seL4
The Schwartzian Transform (2016)
perl.com·2d·
Discuss: Hacker News
🐫OCaml
Less Glue, More Product: Why Elixir Shrinks Architectural Complexity
iamkonstantin.eu·1d·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
Python and NixOS: A match made in hell
crescentro.se·6d·
Discuss: Hacker News
❄️Nixified Development
This dock transforms the Mac mini into a retro classic Mac
9to5mac.com·1d
💾Retro Computing
The Unstoppable Rise of Disposable ML Frameworks
petewarden.com·1d·
Discuss: Hacker News
🐫OCaml
Ergonomic keyboarding with the Svalboard: a half-year retrospective
twey.io·2d·
Discuss: Hacker News
🐫Embedded OCaml
3 Node K3s Cluster + NAS 3D Printed Mini Rack Project
reddit.com·2d·
Discuss: r/homelab
⎈Kubernetes
A Sea of Nodes IR Tutorial
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Looking for low wattage, high core, high ram 10GigE virtualization solution
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
Lessons from 10 Years at GitHub
rickwinfrey.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Working on creating a friends-only NAS/Streaming server, any advice?
preview.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
Tips for starting homelabbing
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
This web framework was built by Claude
rgk.io·2d·
Discuss: Hacker News
🔬Static Analysis