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
On Async Mutexes
matklad.github.ioยท20hยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.comยท1d
๐ŸณContainerization
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ยท1hยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Flag this post
Schaltwerk โ€“ The IDE Without Editor
github.comยท14hยท
Discuss: Hacker News
๐Ÿ’ปCLI Tools
Flag this post
Quantum Network Tomography for General Topology with SPAM Errors
arxiv.orgยท15h
๐Ÿ•ธ๏ธGraph Theory
Flag this post
SciTextures: Collecting and Connecting Visual Patterns, Models, and Code Across Science and Art
arxiv.orgยท15h
๐Ÿ”ฒCellular Automata
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.orgยท15h
๐Ÿ“šAutomata Learning
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.orgยท15h
๐Ÿ”ฒCellular Automata
Flag this post
Enhanced Anomaly Detection in Cryogenic Storage Unit Operations via Multi-Modal Data Fusion and Predictive Analytics
dev.toยท12hยท
Discuss: DEV
๐ŸฉนSelf-Healing Systems
Flag this post
CharlotteOS โ€“ An Experimental Modern Operating System
github.comยท3dยท
๐Ÿ”งUnikernel Development
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Python Integration for Scryer Prolog Using FFI (Research Project)
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆModule Systems
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.orgยท15h
๐Ÿ”€OCaml Multicore
Flag this post
I Use AI
ben.stolovitz.comยท6hยท
Discuss: Hacker News
๐Ÿ”คLanguage Design
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.orgยท15h
๐Ÿ“šAutomata Learning
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท2dยท
Discuss: Hacker News
๐Ÿ”Formal Verification
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ยท15h
๐Ÿ“Linear Algebra
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.toยท1dยท
Discuss: DEV
๐Ÿ‘๏ธObservability
Flag this post