Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·2d·
Discuss: Hacker News
🌈Gradual Languages
Towards Safe Reasoning in Large Reasoning Models via Corrective Intervention
arxiv.org·8h
📏Linear Logic
Sguaba: Type-safe spatial math in Rust
youtube.com·21h·
Discuss: Lobsters, Hacker News
🪆Embedded DSLs
Building a Production-Ready Medical AI Assistant with Python FastAPI, Tavili, Gemini & LangChain
dev.to·7h·
Discuss: DEV
🌙Lua
What Kind of Programming Is Natural Language Programming?
dsyme.net·9h·
Discuss: Hacker News
🔬programming language theory
Subtext Retrospective
subtext-lang.org·8h·
Discuss: Lobsters, Hacker News
🌊Gradual Effects
Creating Web Applications with Julia
digitalocean.com·19h
📚Stack Languages
Using an LLM on the Advent of Code
funcall.blogspot.com·18h·
Discuss: www.blogger.com
🌱Minimal Lisps
Towards a faster "deep equal" function in javaScript
github.com·2d·
Discuss: r/javascript
📋Template Compilers
Maybe the first superintelligence will be a polyintelligence
thebookofluke.com·13h·
Discuss: r/programming
🌊Gradual Effects
The expression problem and Rust
purplesyringa.moe·12h·
Discuss: Hacker News
🦀Rust Macros
Paired by the Teacher: Turning Unpaired Data into High-Fidelity Pairs for Low-Resource Text Generation
arxiv.org·8h
🌱Minimal ML
Google Common Lisp Style Guide (Revision 1.28)
google.github.io·4h·
Discuss: Hacker News
🎮Language Ergonomics
Apply the Trie: Word Search
mmhaskell.com·1d·
Discuss: Hacker News
🌿Trie Structures
Compose and Fuse: Revisiting the Foundational Bottlenecks in Multimodal Reasoning
arxiv.org·8h
🔗Dependent Types
Rethinking TypeScript Architecture: From Classes to Composable Functions
dev.to·4h·
Discuss: DEV
📦Monorepos
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
A tutorial for the Mercury programming language
sebastian.graphics·3d·
Discuss: Hacker News
🧩Prolog
Knowledge Homophily in Large Language Models
arxiv.org·8h
🪜Recursive Descent
Ethical Design Patterns
lesswrong.com·26m
🤐Zipper Structures