tiferrei's Top FindsLoading...
A Bash Script for Default File Associations
blog.msar.me·1h·
Discuss: Hacker News
My Lethal Trifecta talk at the Bay Area AI Security Meetup
simonwillison.net·2d·
Discuss: Hacker News
🛡️seL4
Introducing spindle
blog.tangled.sh·2d·
Discuss: Lobsters, Hacker News
⎈Kubernetes
Wrote a Beginner-Friendly Linear Regression Tutorial (with Full Code)
reddit.com·17h·
Discuss: r/programming
Model Evaluation
ampcode.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Neurosymbolic AI: The 3rd Wave
muratbuffalo.blogspot.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
From Chrome renderer code exec to kernel with MSG_OOB
googleprojectzero.blogspot.com·2d·
Discuss: googleprojectzero.blogspot.com, Lobsters, Hacker News
📦Unikernel Systems
Apple taught an LLM to predict tokens up to 5x faster in math and coding tasks
9to5mac.com·2d·
Discuss: Hacker News
🍎Apple
Lurk – A Turing-complete programming language for ZK-SNARKs
github.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Vibe coding is not the AI utopia it seems
northpodie.blogspot.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
A Graph Neural Network Approach for Mapping the Conceptual Structure and Inter-Branch Connectivity of Physics
arxiv.org·3h
➡️Category Theory
Privacy Appliances
reddit.com·1d·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
G-UBS: Towards Robust Understanding of Implicit Feedback via Group-Aware User Behavior Simulation
arxiv.org·3h
🎮Verification Games
M2IO-R1: An Efficient RL-Enhanced Reasoning Framework for Multimodal Retrieval Augmented Multimodal Generation
arxiv.org·3h
➡️Category Theory
I Want Everything Local – Building My Offline AI Workspace
instavm.io·2d·
Discuss: Hacker News
📦Unikernel Systems
MathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy
arxiv.org·3d
✓Automated Theorem Proving
Relative Completeness of Incorrectness Separation Logic
arxiv.org·6d
🔍Formal Verification
I built a Python tool to spot legal risks in AI responses under the EU AI Act
medium.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Parametric Matrix Models
nature.com·3d·
Discuss: Hacker News
💻CS
Hack the Grid. Disclosing vulnerabilities to help prevent blackouts (WHY2025)
cdn.media.ccc.de·7h