Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·3d·
Discuss: Hacker News
🌈Gradual Languages
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
arxiv.org·15h
🧮Theorem Provers
Sguaba: Type-safe spatial math in Rust
youtube.com·1d·
Discuss: Lobsters, Hacker News
🪆Embedded DSLs
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·3h·
Discuss: Lobsters
🗂️Type Indexing
Using an LLM on the Advent of Code
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🌱Minimal Lisps
I no longer recommend Julia
yuri.is·3h·
Discuss: Hacker News
🪞Homoiconicity
How are Actors Implemented in Swift?
blog.jacobstechtavern.com·4h
✨Gleam
Building a Production-Ready Medical AI Assistant with Python FastAPI, Tavili, Gemini & LangChain
dev.to·13h·
Discuss: DEV
🌙Lua
The expression problem and Rust
purplesyringa.moe·19h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
New C++ Conference Videos Released This Month - September 2025 (Updated To Include Videos Released 2025-09-22 - 2025-09-28)
reddit.com·2d·
Discuss: r/cpp
🧸Toy Compilers
When Abstraction Hurts: How I Inherited a System That Collapsed Under Its Own Weight
ilirimeri.com·8h·
Discuss: DEV
🔧Error Recovery
Expanding Computation Spaces of LLMs at Inference Time
arxiv.org·15h
🗺️Region Inference
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·2d
🧮Theorem Provers
The Shape of an Intermediate Logic Class
consequently.org·20h
🧩Constraint Logic
AI as a research partner: Advancing theoretical computer science with AlphaEvolve
research.google·2h
🧩Constraint Solvers
Subtext Retrospective
subtext-lang.org·15h·
Discuss: Lobsters, Hacker News
🌊Gradual Effects
Fixing Overload Resolution For Parameter Arrays in C++/CLI
devblogs.microsoft.com·1d
⚡Effect Handlers
Verification of OS artifacts without stateful keyrings (asg2025)
cdn.media.ccc.de·3h
✅Configuration Validation
The Lowest Level PL
pramatias.github.io·2d·
Discuss: Hacker News, r/rust
📏Linear Haskell
“I tried out JetBrains’ code analysis tool Qodana”
blog.jetbrains.com·1d
🩺Compiler Diagnostics