Pleasant Imperative Program Proofs with GallinaC
arxiv.org·3h
🎭Racket Modules
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·13h
🔗Category Theory
Claude Can (Sometimes) Prove It
galois.com·7h·
Discuss: Lobsters, Hacker News
🧩Constraint Solvers
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1d
🔧Scheme Macros
Audited Reasoning Refinement: Fine-Tuning Language Models via LLM-Guided Step-Wise Evaluation and Correction
arxiv.org·3h
🔗Unification
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🐪OCaml
Compiling with Continuations
swatson555.github.io·3h·
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·11h·
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
Solving a Wooden Puzzle Using Haskell
glocq.github.io·1h·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Provable Cryptography for Bitcoin: An Introduction (Workbook)
delvingbitcoin.org·17h
📡Binary Protocols
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·18h·
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
Tips for working with Claude on large creative writing projects. My experience.
reddit.com·8h·
Discuss: r/ClaudeAI
💬Interactive REPLs
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·3h
🧪Parser Testing
How to implement the Outbox pattern in Go and Postgres
medium.com·16h·
Discuss: Lobsters
📮Message Queues
List of 87 Programming Ideas for Beginners
inventwithpython.com·9h·
Discuss: r/programming
🌱Tiny Languages
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·22h
🗺️Region Inference