Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·5h
📏Linear Logic
How the Lean language brings math to coding and coding to math
amazon.science·14h·
Discuss: Hacker News
🔬Lean
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·13h
🔬Refinement Types
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·20h·
Discuss: www.blogger.com
🌳Persistent Data Structures
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·2h
📜Proof Carrying Code
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·5h
📊Static Analysis
Lessons from writing a Kubernetes Security book
medium.com·1d·
Discuss: DEV, Hacker News
📦Container Security
Updated Stacks Project
math.columbia.edu·14h
🌳Persistent Data Structures
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·13h·
Discuss: Hacker News, r/programming
🔒WASM Capabilities
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·18h·
Discuss: Hacker News
🔒WASM Capabilities
Building brittle software
blog.kronis.dev·1d
❄️Nix Flakes
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
GoLang appreciation post
reddit.com·12h·
Discuss: r/golang
📜Proof Carrying Code
Why Computer Science Is No Good, Redux
cacm.acm.org·15h
🎯Performance Proofs
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·5h
✨Effect Handlers
Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation
arxiv.org·5h
🎯Performance Proofs