CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔤DSLs
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·18h·
Discuss: Hacker News
🏹Effect Systems
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·18h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·13h·
Discuss: r/programming
🏹Effect Systems
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Binding Application in Idris
andrevidela.com·12h·
Discuss: Hacker News
🔠Type-Level Programming
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·17h·
Discuss: Hacker News
🛡️seL4
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·4h·
Discuss: Hacker News
👁️System Observability
(Quite) a few words about async
yoric.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔄Finite State Machines
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·13h·
Discuss: r/programming
🐫OCaml
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·14h·
Discuss: Hacker News
🌐NetworkProtocols
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
C++: Maps on Chains
bannalia.blogspot.com·4h·
Discuss: Hacker News
🏹Effect Systems
Building Your First ETL Pipeline in Rust
ryuru.com·2d·
Discuss: r/programming
⚙️PL Implementation
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·23h·
Discuss: Hacker News
🤖Program Synthesis
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·19h·
Discuss: Hacker News
🛡️seL4
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔄Reproducible Builds
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·17h·
Discuss: Substack
🐫Embedded OCaml
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
➡️Category Theory