Types are Transforming Python
spin.atomicobject.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
C++ with no classes?
pvs-studio.com·1d·
Discuss: r/cpp, r/programming
🐫OCaml
LLM Inference Handbook
bentoml.com·2h·
Discuss: Hacker News
🛡️seL4
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·1h
🔍Formal Verification
Galois field instructions on 2021 CPUs
corsix.org·18h·
Discuss: Hacker News
🐫Embedded OCaml
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml
Building Your First ETL Pipeline in Rust
ryuru.com·1d·
Discuss: r/programming
🔬Static Analysis
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
On Trustworthy Rule-Based Models and Explanations
arxiv.org·1h
✓Automated Theorem Proving
KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·11h·
Discuss: Substack
🐫Embedded OCaml
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·7h·
Discuss: Hacker News
⚙️PL Implementation
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·1h
🎮Verification Games
The Tree Borrows paper is finally published
ralfj.de·4d·
Discuss: Lobsters, Hacker News
🛡️seL4
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·3d·
Discuss: Hacker News
➡️Category Theory
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·12h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·1h
✓Automated Theorem Proving