Moan-routine: LO's Predicate Signatures
lmika.org·5h
🔗Functional Compilers
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·8h
🔤Type Theory
Writing an IR from Scratch and survive to write a post
farena.in·6h·
Discuss: Lobsters
📝Compiler Design
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·4d·
Discuss: Hacker News
🔤Type Theory
LLM Inference Handbook
bentoml.com·9h·
Discuss: Hacker News
💻Local LLMs
Recap of all types of LLM Agents
towardsdatascience.com·1d
⚡Proof Automation
Binding Application in Idris
andrevidela.com·13h·
Discuss: Hacker News
🔤Type Theory
ATC/OSDI’25 Technical Sessions
muratbuffalo.blogspot.com·13h·
Discuss: www.blogger.com
🔌Interface Evolution
Cactus Language • Stylistics 2
inquiryintoinquiry.com·1d
💻Programming languages
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·19h·
Discuss: Lobsters, Hacker News
⚙️TLA+
Who Killed class? A Forensic Look at C++’s Forgotten Keyword
hackernoon.com·1d
🧬Functional Programming
Regolith - A JavaScript library immune to ReDoS attacks
github.com·8h
⚡Dependent Rust
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·8h
⚙️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·19h·
Discuss: Hacker News
💻Programming languages
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🐓Coq
Abstract Syntax Trees (ASTs) in Action: Build Your Own Python Code Sniffer
dev.to·2h·
Discuss: DEV
🌳Incremental Parsing
C++: Maps on Chains
bannalia.blogspot.com·4h·
Discuss: Hacker News
📐Interval Arithmetic
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·20h·
Discuss: Hacker News
🔗Topological Sorting
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔍Type Inference