A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·1d
🎯Performance Proofs
Program verification is not all-or-nothing
lawrencecpaulson.github.io·18h
🎯Performance Proofs
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·9h
🔗Monadic Parsing
iText 9.4.0 Brings LOTL Functionality for Seamless EU PDF Signature Validation
kb.itextpdf.com·1d·
Discuss: Hacker News
✅Format Verification
Days 21-22: Service Topology Visualization & Dynamic UI Generation Complete
dev.to·1d·
Discuss: DEV
👁️System Observability
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🎯Performance Proofs
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·2d
🔤Type Theory
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·11h·
Discuss: Hacker News, r/programming, r/webdev
🤖Archive Automation
Parameters and binding forms should be mutually recursive
samestep.com·3h·
Discuss: Hacker News
🔗Concatenative Programming
Modern C, C23 edition, now in print
gustedt.wordpress.com·8h
✅Format Verification
How to Ruin Your Weekend: Building a DIY EDR
infosecwriteups.com·12h
🔍eBPF
The Angels and Demons of Nondeterminism
buttondown.com·1d·
Discuss: Hacker News
💻Programming languages
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·1d·
Discuss: Lobsters, Hacker News, r/programming
📐Interval Arithmetic
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·1d
⚖️Verification Calculi
Signals and Threads – Why ML Needs a New Programming Language
signalsandthreads.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔩Systems Programming
How to Context Engineer to Optimize Question Answering Pipelines
towardsdatascience.com·51m
📄Text Chunking
ReScript's Generalized Algebraic Data Types
rescript-lang.org·7h·
Discuss: Hacker News
✅Format Verification
How to Vibe Code Effectively
ibrahimahmed.ca·1d·
Discuss: Hacker News
⚡Proof Automation
Exploring Interlisp-10 and Twenex
journal.paoloamoroso.com·1h·
Discuss: Hacker News
📺VT100 Emulation
Formal Verification of Isothermal Chemical Reactors
arxiv.org·2d
👑Isabelle/HOL