A chemical language model for molecular taste prediction
nature.com·2d·
Discuss: Hacker News
➡️Category Theory
Phoenix Framework
phoenixframework.org·3h·
Discuss: Hacker News
🔄Reproducible Builds
Kimi K2: Open Agentic Intelligence
kimik2.com·5h·
Discuss: Hacker News
📦Unikernel Systems
Graph foundation models for relational data
research.google·1d·
Discuss: Hacker News, r/programming
➡️Category Theory
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·9h·
Discuss: Hacker News
🔄Reproducible Builds
Full QuickJS Support for Nginx
blog.nginx.org·21h·
Discuss: Hacker News
🌐NetworkProtocols
Hilbert spaces, Ricci traces: the singularity we should attend to
news.ycombinator.com·7h·
Discuss: Hacker News
🏹Effect Systems
Croissant! Building a No-Framework Web App
dbushell.com·16h·
Discuss: Hacker News
🌐NetworkProtocols
So, I decided to write a BUFR decoder
stormscale.io·4d·
Discuss: Hacker News
🐫Embedded OCaml
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·2d
🐫Embedded OCaml
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·20h
💻CS
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·1d·
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·20h
⚙️PL Implementation
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·20h
✓Automated Theorem Proving
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·20h
🔍Formal Verification
Inheritance and Polymorphism in Plain C
coz.is·3d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
Seeing Like an LLM
strangeloopcanon.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels