A SQLite extension for the crazy ones because everything could be a database
🗄️Databases
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
💻Programming languages
Flag this post
Embedding TypeScript
💻Programming languages
Flag this post
Document Chat System
🤖AI
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
💻Programming languages
Flag this post
Reflection
🤖AI
Flag this post
Code research projects with async coding agents like Claude Code and Codex
💻Programming languages
Flag this post
Will quantum be bigger than AI?
🌌Cool science shit
Flag this post
Creating Lisp Systems
💻Programming languages
Flag this post
TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
💻Programming languages
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
💻Programming languages
Flag this post
Loading...Loading more...