Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·2d·
Discuss: Hacker News
🌈Gradual Languages
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
arxiv.org·6h
🧮Theorem Provers
Sguaba: Type-safe spatial math in Rust
youtube.com·20h·
Discuss: Lobsters, Hacker News
🪆Embedded DSLs
Using an LLM on the Advent of Code
funcall.blogspot.com·17h·
Discuss: www.blogger.com
🌱Minimal Lisps
The expression problem and Rust
purplesyringa.moe·10h
🦀Rust Macros
Building a Production-Ready Medical AI Assistant with Python FastAPI, Tavili, Gemini & LangChain
dev.to·5h·
Discuss: DEV
🌙Lua
New C++ Conference Videos Released This Month - September 2025 (Updated To Include Videos Released 2025-09-22 - 2025-09-28)
reddit.com·1d·
Discuss: r/cpp
🧸Toy Compilers
When Abstraction Hurts: How I Inherited a System That Collapsed Under Its Own Weight
ilirimeri.com·13m·
Discuss: DEV
🔧Error Recovery
Expanding Computation Spaces of LLMs at Inference Time
arxiv.org·6h
🗺️Region Inference
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·2d
🧮Theorem Provers
The Shape of an Intermediate Logic Class
consequently.org·12h
🧩Constraint Logic
Subtext Retrospective
subtext-lang.org·6h·
Discuss: Lobsters, Hacker News
🌊Gradual Effects
Fixing Overload Resolution For Parameter Arrays in C++/CLI
devblogs.microsoft.com·20h
⚡Effect Handlers
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·21h
🩺Compiler Diagnostics
Creating Web Applications with Julia
digitalocean.com·17h
📚Stack Languages
Compose and Fuse: Revisiting the Foundational Bottlenecks in Multimodal Reasoning
arxiv.org·6h
↔️Bidirectional Typing
Building a small DSL for 3D with python.
m0th.bearblog.dev·1d
🛠programming language development
PIPER Robotic Arm - Fixed Position Recording & Replay
hackster.io·3h
💬Interactive REPLs
Google Common Lisp Style Guide (Revision 1.28)
google.github.io·3h·
Discuss: Hacker News
🎮Language Ergonomics