Defining Types for a Simple HTTP Server
mmhaskell.com·3d
📐Type Theory
Flag this post
AI for Senior Software Engineers
🎭Program Synthesis
Flag this post
The state of SIMD in Rust in 2025
🔀SIMD Programming
Flag this post
Build your own GPG in Rust
🦀Rust
Flag this post
1,500+ PRs Later: Spotify’s Journey with Our Background Coding Agent (Part 1)
🏗️Cranelift
Flag this post
Developer Case Study: Cursor and Claude Code Suggested Building a Proxy. Shotgun CLI Found LiteLLM Instead.
🎭Program Synthesis
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
⚙️JIT Compilation
Flag this post
Designing Data-Intensive Applications [Book Review]-The Big Ideas Behind Reliable, Scalable and Maintainable Systems
🏗️System Design
Flag this post
LLM-enhanced Air Quality Monitoring Interface via Model Context Protocol
arxiv.org·19h
🎨Design Systems
Flag this post
Building a Modern CV Builder with React 19, TypeScript, and Firebase: A Complete Guide
🌐Web Development
Flag this post
Optimizing the nnU-Net model for brain tumor (Glioma) segmentation Using a BraTS Sub-Saharan Africa (SSA) dataset
arxiv.org·19h
👁️Computer Vision
Flag this post
Choosing a dependency
📦Package Managers
Flag this post
Shrinking the Variance: Shrinkage Baselines for Reinforcement Learning with Verifiable Rewards
arxiv.org·19h
🎯Reinforcement Learning
Flag this post
Loading...Loading more...