tiferrei's Top FindsLoading...
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
generalistai.com·6h·
Discuss: Hacker News
🤖Robotics
Flag this post
I Built a One File Edge Probe to Tell Me When Time Is Lying
physical-ai.ghost.io·1d·
Discuss: Hacker News
📊Runtime Verification
Flag this post
The 6-Step Guide to Acing Your Coding Interview
yasminteles.com·12h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
On Async Mutexes
matklad.github.io·1d·
🔀OCaml Multicore
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.com·1d
🐳Containerization
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
A Close Look at a FastAPI Example Application
realpython.com·1d
🔌APIs
Flag this post
Show HN: Multi-Agent Code Review
news.ycombinator.com·7h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·21h
🔀OCaml Multicore
Flag this post
Need Advice: Bitbucket Helm Repo Structure for Multi-Service K8s Project + Shared Infra (ArgoCD, Vault, Cert-Manager, etc.)
reddit.com·3d·
Discuss: r/kubernetes
Helm
Flag this post
How I Built gemini-imagen: A CLI for Google Gemini Image Generation
dev.to·1d·
Discuss: DEV
💻CLI Tools
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.org·21h
📐Linear Algebra
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·1d·
Discuss: DEV
👁️Observability
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·21h
🧩Parser Combinators
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·21h
🔍Formal Verification
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·21h
🔍CBMC
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.org·21h
Existential Types
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·21h
🧩Parser Combinators
Flag this post
Alpamayo-R1: Bridging Reasoning and Action Prediction for Generalizable Autonomous Driving in the Long Tail
arxiv.org·21h
🧩Separation Logic
Flag this post