Phoenix Framework
phoenixframework.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Kimi K2: Open Agentic Intelligence
kimik2.com·1d·
Discuss: Hacker News
📦Unikernel Systems
AI is "a shabby, boring and evil thing" – discuss
paulkingsnorth.substack.com·11h·
Discuss: Substack
🔬Unikernels
Stigmergy
en.wikipedia.org·5h·
Discuss: Hacker News
🎮Verification Games
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
floccinaucinihilipilification
en.wiktionary.org·2d·
Discuss: Hacker News
➡️Category Theory
Realbasic (2000)
joelonsoftware.com·2d·
Discuss: Hacker News
💾Retro Computing
Libpostal: C library for parsing/normalizing street addresses around the world
github.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·4d
🐫Embedded OCaml
The Next Wave
dumindu.github.io·2d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·2d
💻CS
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·2d
⚙️PL Implementation
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·2d
🔍Formal Verification
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·2d
✓Automated Theorem Proving
Inheritance and Polymorphism in Plain C
coz.is·4d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
Stochastic Interpolants
arxiv.org·2d·
Discuss: Hacker News
🔠Type-Level Programming
Seeing Like an LLM
strangeloopcanon.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·5d·
Discuss: Hacker News
🔬Unikernels
An order-theoretic circuit syntax and characterisation of the concept lattice
arxiv.org·4d
➡️Category Theory