Research Areas in Interpretability (The Alignment Project by UK AISI)
lesswrong.com·22h
🔗Parser Combinators
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
🔧Compiler Design
Sync primitives are Functionally Complete
kprotty.me·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Concurrency
The Schwartzian Transform (2016)
perl.com·17h·
Discuss: Hacker News
📝Lisp
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·4d
🧩Theorem Proving
Chromahack, a programming language
blog.libove.org·11h
🔧Compiler Design
Basic and advanced pattern matching in Java
infoworld.com·1d
📐Type Theory
You're probably not learning with AI
aryas.dev·1h·
Discuss: Hacker News
🧩Theorem Proving
True names matter in C++
quuxplusone.github.io·1d
📐Type Theory
Lobsters Interview with Icefox
lobste.rs·15h·
Discuss: Lobsters
🔧Compiler Design
How to Write Inductive Invariants
quint-lang.org·17h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Detailing the Changes to 'impl Trait' in Rust
hackernoon.com·1d
🦀Rust
Atomic operations
en.wikipedia.org·1d·
Discuss: r/AskProgramming
⚡Concurrency
Macros, Matter, & Malleability
clojurecivitas.github.io·1d
📝Lisp
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·15h·
Discuss: Hacker News
🏗Computer Architecture
Design Patterns by Purpose: Reuse (Part 2)
dev.to·1d·
Discuss: DEV
🧠Memory Management
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·1d·
Discuss: Hacker News
🧩Theorem Proving
The Only Programming Language That Refuses to Obey
dev.to·12h·
Discuss: DEV
🧮Programming Language Theory
To Heat a Candle with the Warmth of You – Material realities of (AI) computation
creativeapplications.net·19h
🧮Programming Language Theory
Deriving Rope the Proper Way
nor-blog.pages.dev·1d·
Discuss: Hacker News
🔄Category Theory