Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·15h·
Discuss: Hacker News
🐫ocaml
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·14h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Software design is refinement, not abstraction (2022)
sicpers.info·8h·
Discuss: Hacker News
⚙️systems programming
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Show HN: Tool2agent – a protocol for LLM tool feedback workflows
github.com·8h·
Discuss: Hacker News
⚙️systems programming
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·3d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Flag this post
Workload Identity in a Multi System Environment (Wimse) Architecture
datatracker.ietf.org·10h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Array Programming the Mandelbrot Set
jcmorrow.com·2h·
Discuss: Hacker News
🐫ocaml
Flag this post
Text to SQL: Local, Secure, and Smarter
exasol.com·1d·
Discuss: Hacker News
🗄️databases
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Satisfying Bazel'€™s relative paths requirement in C++ toolchains
pigweed.dev·11h·
Discuss: Hacker News, r/cpp
🔄compilers
Flag this post
Even Numbers Are Tautologies
risingentropy.com·9h·
Discuss: Hacker News
🐫ocaml
Flag this post
Improving Structured Outputs in the Gemini API
blog.google·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
The Spegling Chronicles: Measuring dev shadow work until it measured us back
medium.com·17h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Zig Looked Like the Future – Until We Tried Multithreading
freedium-mirror.cfd·6h·
Discuss: Hacker News
🔄compilers
Flag this post
OpenAI Model Spec
model-spec.openai.com·22h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Prentice Hall Interview with Rich Stevens, Author of Unix Programming (1997)
kohala.com·21h·
Discuss: Hacker News
⚙️systems programming
Flag this post
My tutorial and take on C++20 coroutines (2021)
scs.stanford.edu·5h·
Discuss: Hacker News
⚙️systems programming
Flag this post