Defining Types for a Simple HTTP Server
mmhaskell.com·3d
📐Type Theory
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
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
💬Prompt Engineering
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·1d
📐Linear Algebra
Flag this post
Production-Ready MySQL Backup Script (with Compression and AWS Upload)
🐚Shell Scripting
Flag this post
I Built a File-Hiding App Because I Didn't Know Any Better (And It Actually Works!)
💾Retro Computing
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
🔢Homomorphic Encryption
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·17h
🎨Design Systems
Flag this post
Loading...Loading more...