Pleasant Imperative Program Proofs with GallinaC
arxiv.org·12h
🎭Racket Modules
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·23h
🔗Category Theory
Claude Can (Sometimes) Prove It
galois.com·16h·
Discuss: Lobsters, Hacker News
🧩Constraint Solvers
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1d
🔧Scheme Macros
DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning
nature.com·10m
🪜Recursive Descent
The Ternary Manifesto
homepage.cs.uiowa.edu·5h
🔬Nanopasses
Audited Reasoning Refinement: Fine-Tuning Language Models via LLM-Guided Step-Wise Evaluation and Correction
arxiv.org·12h
🔗Unification
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🐪OCaml
Compiling with Continuations
swatson555.github.io·12h·
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·2d·
Discuss: Hacker News
🧪Compiler Testing
Version Control for Prompt Management: Practical Patterns, Guardrails, and CI for Reliable LLM Apps
dev.to·3h·
Discuss: DEV
💬Interactive REPLs
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.com·6h·
Discuss: Hacker News
🏷️Symbol Interning
Solving a Wooden Puzzle Using Haskell
glocq.github.io·10h·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Trade-offs in designing DSLs (in Rust)
forgestream.idverse.com·4h·
Discuss: r/rust
🪆Embedded DSLs
Provable Cryptography for Bitcoin: An Introduction (Workbook)
delvingbitcoin.org·1d
📡Binary Protocols
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·1d·
Discuss: r/rust
🦀Rust Macros
Tips for working with Claude on large creative writing projects. My experience.
reddit.com·17h·
Discuss: r/ClaudeAI
💬Interactive REPLs
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·9h
🛡️Parser Security
Mastering JavaScript Booleans: A Complete Guide with Examples & Best Practices
dev.to·1d·
Discuss: DEV
📝Rope Editors