tiferrei's Top FindsLoading...
Fixed Points via Logically Contractive Maps
lightcapai.medium.com·2d·
Discuss: Hacker News
🔄Finite State Machines
Security Release
matrix.org·1d·
Discuss: Lobsters, Hacker News
🏠HomeLab
Rust CUDA August 2025 project update
rust-gpu.github.io·12h·
Discuss: Hacker News
Distributed Systems 101
mrinalxdev.github.io·3d·
Discuss: Hacker News
🏠HomeLab
Foundation models are going multimodal
twelvelabs.io·19h·
Discuss: Hacker News
Linear sent me down a local-first rabbit hole
bytemash.net·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
AI: Great Expectations
rodneybrooks.com·1d·
Discuss: Hacker News
💾Retro Computing
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Show HN: GemGuard: Ruby gem to scan and auto-fix vulnerable dependencies
github.com·1d·
Discuss: Hacker News
🛡️seL4
Strategies of Code-switching in Human-Machine Dialogs
arxiv.org·2h
Chain of Thought Still Thinks Fast: APriCoT Helps with Thinking Slow
arxiv.org·2h
✓Automated Theorem Proving
Posterior-GRPO: Rewarding Reasoning Processes in Code Generation
arxiv.org·4d
🤖Program Synthesis
New job: New Lab setup
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Who Gave the Toaster Root Access to the Physical World? (WHY2025)
cdn.media.ccc.de·19h
💾Retro Computing
Ethics2vec: aligning automatic agents and human preferences
arxiv.org·2h
A Study on Regularization-Based Continual Learning Methods for Indic ASR
arxiv.org·1d
🐫Embedded OCaml
AR-VRM: Imitating Human Motions for Visual Robot Manipulation with Analogical Reasoning
arxiv.org·2h
Nonparametric Reaction Coordinate Optimization with Histories: A Framework for Rare Event Dynamics
arxiv.org·2h
I could use help picking a MiniPC for my new server
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
syncing large directories with Nextcloud
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Enhancing Rumor Detection Methods with Propagation Structure Infused Language Model
arxiv.org·2h