Implicit `operator bool` participates in comparison
quuxplusone.github.io·23h
🦀Rust Verification
LLMs and reinforcement learning
sicpers.info·14h
⚔️Lean Tactics
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·44m·
Discuss: Hacker News
⚡Proof Automation
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·14h·
Discuss: DEV
🕵️Feed Discovery
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
2025-10-10 # LLMs Are Transpilers
alloc.dev·23h·
Discuss: Hacker News
🔄Language Evolution
Codeminer42 Dev Weekly #82
blog.codeminer42.com·6h
🎯Gradual Typing
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·19h
🔗Parser Combinators
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
Item Patterns and Struct Await
noratrieb.dev·18h·
Discuss: Hacker News
🦀Rust Macros
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🔗Functional Compilers
Vexing Exceptions
ericlippert.com·20h·
Discuss: Hacker News
🧪Binary Fuzzing
[R] How to retrieve instructions given to annotators - RLHF
reddit.com·14h·
Discuss: r/MachineLearning
📚Documentation Archaeology
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·19h
🧮Theorem Proving
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·21h·
Discuss: Hacker News, r/programming
✅Format Verification
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming