tiferrei's Top FindsLoading...
How to Build a Smart Website Analyzer with GPT-5, FastAPI, and Celery
fastlaunchapi.dev·1d·
Discuss: r/programming
✓Automated Theorem Proving
Introducing spindle
blog.tangled.sh·2d·
Discuss: Lobsters, Hacker News
⎈Kubernetes
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Wrote a Beginner-Friendly Linear Regression Tutorial (with Full Code)
reddit.com·20h·
Discuss: r/programming
My Lethal Trifecta talk at the Bay Area AI Security Meetup
simonwillison.net·2d·
Discuss: Hacker News
🛡️seL4
Model Evaluation
ampcode.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
First Ethernet-Based AI Memory Fabric System to Increase LLM Efficiency – News
allaboutcircuits.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Apple taught an LLM to predict tokens up to 5x faster in math and coding tasks
9to5mac.com·2d·
Discuss: Hacker News
🍎Apple
Privacy Appliances
reddit.com·1d·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
A Graph Neural Network Approach for Mapping the Conceptual Structure and Inter-Branch Connectivity of Physics
arxiv.org·6h
➡️Category Theory
G-UBS: Towards Robust Understanding of Implicit Feedback via Group-Aware User Behavior Simulation
arxiv.org·6h
🎮Verification Games
M2IO-R1: An Efficient RL-Enhanced Reasoning Framework for Multimodal Retrieval Augmented Multimodal Generation
arxiv.org·6h
➡️Category Theory
I Want Everything Local – Building My Offline AI Workspace
instavm.io·2d·
Discuss: Hacker News
📦Unikernel Systems
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
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
Logarithmic mean energy optimization a metaheuristic algorithm
nature.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Hack the Grid. Disclosing vulnerabilities to help prevent blackouts (WHY2025)
cdn.media.ccc.de·10h
SecretShare: Secure One Time Secret Sharing
github.com·9h·
Discuss: Hacker News
🍎Apple
My 1PB storage setup drove me to create a disk price tracker—just launched the mobile version
reddit.com·14h·
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