Pleasant Imperative Program Proofs with GallinaC
arxiv.org·7h
🎭Racket Modules
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·18h
🔗Category Theory
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1d
🔧Scheme Macros
Claude Can (Sometimes) Prove It
galois.com·12h·
Discuss: Lobsters, Hacker News
🧩Constraint Solvers
The Ternary Manifesto
homepage.cs.uiowa.edu·1h
🔬Nanopasses
Audited Reasoning Refinement: Fine-Tuning Language Models via LLM-Guided Step-Wise Evaluation and Correction
arxiv.org·7h
🔗Unification
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🐪OCaml
Compiling with Continuations
swatson555.github.io·7h·
Discuss: Hacker News
🔬programming language theory
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
🔗Lexical Scoping
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
🧪Compiler Testing
System Instruction Fixed Point
funcall.blogspot.com·16h·
Discuss: www.blogger.com
💬Interactive REPLs
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧮Theorem Provers
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.com·1h·
Discuss: Hacker News
🏷️Symbol Interning
Solving a Wooden Puzzle Using Haskell
glocq.github.io·6h·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Provable Cryptography for Bitcoin: An Introduction (Workbook)
delvingbitcoin.org·21h
📡Binary Protocols
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·4h
🛡️Parser Security
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·23h·
Discuss: r/rust
🦀Rust Macros
I made a library to stop writing giant switch statements for Go errors
reddit.com·1d·
Discuss: r/golang
🛡️Error Handling
New Demands For IP Reuse
semiengineering.com·4h
🏰Capability Machines
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·7h
🧪Parser Testing