Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·4h·
Discuss: Hacker News
🏗️Calculus of Constructions
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·4h
📞Session Types
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·4h·
Discuss: DEV
🪢Rope Data Structures
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.com·2h·
Discuss: Hacker News
🪆Embedded DSLs
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
🎯Pattern Matching
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·4h
🔪Program Slicing
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.com·22m·
Discuss: Hacker News
💬Interactive REPLs
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌿Trie Structures
I Built a Compiler in Five Days with Claude AI
indiehackers.com·45m·
Discuss: Hacker News
🎭Program Synthesis
Question Answering with LLMs and Learning from Answer Sets
arxiv.org·4h
🔍ML Language
Proof Rules for MetaSMT
philipzucker.com·1d
🧮Theorem Provers
Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·4h
🌳Pattern Match Compilation
Codifying Natural Langauge Tasks
arxiv.org·4h
🧠Semantic Parsing
Identity Types
bartoszmilewski.com·19h·
Discuss: Hacker News
🎯Type Theory
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·4h
🚂Error Propagation
New C++ Conference Videos Released This Month - September 2025 (Updated To Include Videos Released 2025-09-15 - 2025-09-21)
reddit.com·16h·
Discuss: r/cpp
🎓Teaching Compilers
Digging Into the Internal: Causality-Based Analysis of LLM Function Calling
arxiv.org·4h
🏗️MLIR
Research Agenda: Synthesizing Standalone World-Models (+ Bounties, + Seeking Funding)
lesswrong.com·13h
💫Effect Systems
scheme
ytp.me·4h
🔧Scheme Macros
Enabling Deterministic Inference for SGLang
lmsys.org·1d
🗺️Region Inference