tiferrei's Top FindsLoading...
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
How to Use Multimodal AI Models With Docker Model Runner
docker.com·1d
🐳Containerization
Flag this post
On Async Mutexes
matklad.github.io·1d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
A Friendly Tour of Process Memory on Linux
0xkato.xyz·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Show HN: Multi-Agent Code Review
news.ycombinator.com·4h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Quantum Network Tomography for General Topology with SPAM Errors
arxiv.org·19h
🕸️Graph Theory
Flag this post
SciTextures: Collecting and Connecting Visual Patterns, Models, and Code Across Science and Art
arxiv.org·19h
🔲Cellular Automata
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·19h
📚Automata Learning
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·19h
🔲Cellular Automata
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·3d·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
📦Module Systems
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard 🧙‍♂️
dev.to·2h·
Discuss: DEV
🤖Program Synthesis
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·19h
🔀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
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·19h
📚Automata Learning
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·2d·
Discuss: Hacker News
🔍Formal Verification
Flag this post
Optimized Grid-Interactive Energy Storage (GIES) via Heterogeneous Ensemble Learning
dev.to·3h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
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·19h
📐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