SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
๐ขHomomorphic Encryption
Flag this post
My Dual MBP setup for offline LLM coding (w/ Qwen3 Coder 30B A3B)
๐Hardware Security
Flag this post
Ruby and Its Neighbors: Smalltalk
๐Refinement Types
Flag this post
Show HN: PyNIFE. 400-900ร speedup for embedding-based retrieval pipelines
๐งฎVector Databases
Flag this post
Building LearnForge: Multi-Agent AI Learning Platform on Cloud Run with Google ADK
๐ฌPrompt Engineering
Flag this post
HyperMarkets: Fast, Fair, and Fun Prediction Markets on Hyperliquid Perps
๐ฐTigerBeetle
Flag this post
Headless Adventures: From CMS to Frontend Without Losing Your Mind (4)
๐Web Development
Flag this post
Computational Turing Test Reveals Systematic Differences Between Human and AI Language
๐Parsing
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
๐ก๏ธError Handling
Flag this post
HyperMarkets: Fast, Fair, and Fun Prediction Markets on Hyperliquid Perps
๐ฐTigerBeetle
Flag this post
Loading...Loading more...