tiferrei's Top FindsLoading...
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·3d·
Discuss: Hacker News
🔬Static Analysis
The Surgical Update: From JSON Blueprints to Flawless UI
tobiasuhlig.medium.com·3d·
Discuss: r/programming, r/webdev
🔄Reproducible Builds
DSPy Simba Explained
blog.mariusvach.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How to build the #1 open source terminal-use agent
letta.com·1d·
Discuss: Hacker News
🛡️seL4
When Claude Code Did a Volkswagen on Me
blog.alexsanjoseph.com·1d·
Discuss: Hacker News
🎮Verification Games
ECMA-262, 16th edition, June 2025
262.ecma-international.org·3d·
Discuss: Hacker News
🐫OCaml
In Support Of Shitty Types
lucumr.pocoo.org·2d·
Discuss: Lobsters, Hacker News
🔠Type-Level Programming
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
TalkDep: Clinically Grounded LLM Personas for Conversation-Centric Depression Screening
arxiv.org·5h
🐫OCaml
CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment
arxiv.org·2d
✓Automated Theorem Proving
SenseCrypt: Sensitivity-guided Selective Homomorphic Encryption for Joint Federated Learning in Cross-Device Scenarios
arxiv.org·5h
🔠Type-Level Programming
A Few Words Can Distort Graphs: Knowledge Poisoning Attacks on Graph-based Retrieval-Augmented Generation of Large Language Models
arxiv.org·5h
🎮Verification Games
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·2d
🔬Static Analysis
Predictive CI: Why Smart Teams Are Making the Switch
usetusk.ai·2d·
Discuss: Hacker News
🔄Reproducible Builds
Large Language Model's Multi-Capability Alignment in Biomedical Domain
arxiv.org·5h
🔍Formal Verification
Is it worth upgrading to LSI 9305-16i from LSI 9201-16i
reddit.com·15h·
Discuss: r/homelab
🏠HomeLab
How I use Tailscale
chameth.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Hacking Hallucinations of MLLMs with Causal Sufficiency and Necessity
arxiv.org·5h
🛡️seL4
AI in production: reflecting on one year, five projects and factories deployed
medium.com·4h·
Discuss: Hacker News
👁️System Observability
The State Of TTS: A Case Study with Human Fooling Rates
arxiv.org·5h
🎮Verification Games