The REM-arkable Misadventures of LIST
masswerk.at·3d·
Discuss: Hacker News
🐫Embedded OCaml
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·16h·
Discuss: Hacker News
🛡️seL4
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🔠Type-Level Programming
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·6h
🔍Formal Verification
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·3d·
Discuss: Hacker News
➡️Category Theory
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
✓Automated Theorem Proving
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
✓Automated Theorem Proving
I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Types are Transforming Python
spin.atomicobject.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
We solved AI API interoperability
supermemory.ai·2d·
Discuss: Hacker News
🐫Embedded OCaml
Orca Build System
orca-app.dev·20h·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Dependency hell is NP-complete
research.swtch.com·2d·
Discuss: Hacker News
📦Unikernel Systems
LLMs show cultural theory was right about the death of the author
programmablemutter.com·17h·
Discuss: Hacker News
➡️Category Theory
Stochastic Interpolants
arxiv.org·1d·
Discuss: Hacker News
🔠Type-Level Programming
Data-Star.dev – v1 and Beyond
data-star.dev·19h·
Discuss: Hacker News
🧱Immutable Infrastructure
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·6h
🎮Verification Games
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·17h·
Discuss: Hacker News
⚙️PL Implementation