tiferrei's Top FindsLoading...
Shutdown System, Reboot Join CCC for 39C3: Power Cycles
ccc.de·10h·
Discuss: Hacker News
Show HN: TinyExperiments – prototype for curiosity-driven personal experiments
tinyexperiments-landing.vercel.app·3h·
Discuss: Hacker News
Sandstorm- self-hostable web productivity suite
sandstorm.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
My blog on zero-knowledge cryptography
kaw101010.github.io·4d·
Discuss: Hacker News
🛡️seL4
Parametric Matrix Models
nature.com·3d·
Discuss: Hacker News
💻CS
Hack the Grid. Disclosing vulnerabilities to help prevent blackouts (WHY2025)
cdn.media.ccc.de·3h
My 1PB storage setup drove me to create a disk price tracker—just launched the mobile version
reddit.com·7h·
Discuss: r/homelab
🍎Apple
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
WIP: Nvidia Parakeet ASR mode inference in GGML
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
AWS-LC is a general-purpose cryptographic library
github.com·3d·
Discuss: Hacker News
🛡️seL4
I've Been Using AI to Code for a Year. Here's What I Learned
buzzsprout.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Sega Saturn Architectural hell (WHY2025)
cdn.media.ccc.de·16h
💾Retro Computing
Bootstrapping a Museum with Open Source (WHY2025)
cdn.media.ccc.de·17h
Terminal User Interfaces: Review of Crush (Ex-OpenCode Al)
thenewstack.io·1d
📦Unikernel Systems
Framework Desktop Hands On: First Impressions (Benchmarks, Gaming, AI Models)
boilingsteam.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Yet Another LLM Rant
overengineer.dev·1d·
Discuss: Hacker News
🎮Verification Games
How I made my embedding based model 95% accurate at classifying prompt attacks (only 0.4B params)
reddit.com·2d·
Discuss: r/programming
🛡️seL4
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Planned vs. actual homelab – 4 months in and fully hooked 🐋
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
A Novel Architecture for Symbolic Reasoning with Decision Trees and LLM Agents
arxiv.org·2d
✓Automated Theorem Proving
GPT-5 vs. Sonnet: Complex Agentic Coding
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
⚙️PL Implementation