Cure - Verification-First Programming for the BEAM
📐TLA+
Flag this post
What's the stack for going from a fine-tune on vLLM to a simple, paid public API?
⚡FastAPI
Flag this post
Text to SQL: Local, Secure, and Smarter
🔥DataFusion
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
🦀Rust
Flag this post
Playing Around with ARM Assembly
🦀Rust Macros
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
🔥DataFusion
Flag this post
An Analysis of Early-Stage Functional Safety Analysis Methods and Their Integration into Model-Based Systems Engineering
arxiv.org·6h
💫Effect Systems
Flag this post
Designing Data-Intensive Applications [Book Review]-The Big Ideas Behind Reliable, Scalable and Maintainable Systems
🏗️System Design
Flag this post
Introducing YasuiJS — A Modern, Minimal REST Framework for Any Runtime
🌐Web Development
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
⚙️JIT Compilation
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·1d
🔥PyTorch
Flag this post
A beginner's guide to the Flux-Kontext-Fast model by Prunaai on Replicate
⚡Incremental Computation
Flag this post
NASA releases robotic / flight app generation tool Ogma under Apache license
🏗️Cranelift
Flag this post
Loading...Loading more...