Moan-routine: LO's Predicate Signatures
lmika.org·6h
🔗Functional Compilers
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·9h
🔤Type Theory
Writing an IR from Scratch and survive to write a post
farena.in·8h·
Discuss: Lobsters
📝Compiler Design
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·4d·
Discuss: Hacker News
🔤Type Theory
Recap of all types of LLM Agents
towardsdatascience.com·1d
⚡Proof Automation
Python Fundamentals: bounded typevar
dev.to·1h·
Discuss: DEV
⬆️Lambda Lifting
LLM Inference Handbook
bentoml.com·11h·
Discuss: Hacker News
💻Local LLMs
Binding Application in Idris
andrevidela.com·14h·
Discuss: Hacker News
🔤Type Theory
Cactus Language • Stylistics 2
inquiryintoinquiry.com·2d
💻Programming languages
ATC/OSDI’25 Technical Sessions
muratbuffalo.blogspot.com·15h·
Discuss: www.blogger.com
🔌Interface Evolution
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·21h·
Discuss: Lobsters, Hacker News
⚙️TLA+
Who Killed class? A Forensic Look at C++’s Forgotten Keyword
hackernoon.com·1d
🧬Functional Programming
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·9h
⚙️TLA+
Functional Programming in 40 Minutes • Russ Olsen • GOTO 2024
youtube.com·2d
🧬Functional Programming
LLMs show cultural theory was right about the death of the author
programmablemutter.com·20h·
Discuss: Hacker News
💻Programming languages
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🐓Coq
Regolith - A JavaScript library immune to ReDoS attacks
github.com·9h
⚡Dependent Rust
C++: Maps on Chains
bannalia.blogspot.com·6h·
Discuss: Hacker News
📐Interval Arithmetic
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·22h·
Discuss: Hacker News
🔗Topological Sorting
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·19h·
Discuss: Substack
🔗Concatenative Programming