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·4h
📏Linear Logic
Building a Production-Ready Medical AI Assistant with Python FastAPI, Tavili, Gemini & LangChain
dev.to·3h·
Discuss: DEV
🌙Lua
Sguaba: Type-safe spatial math in Rust
youtube.com·18h
🪆Embedded DSLs
What Kind of Programming Is Natural Language Programming?
dsyme.net·5h·
Discuss: Hacker News
🔬programming language theory
Subtext Retrospective
subtext-lang.org·4h·
Discuss: Lobsters, Hacker News
🌊Gradual Effects
Creating Web Applications with Julia
digitalocean.com·15h
📚Stack Languages
Using an LLM on the Advent of Code
funcall.blogspot.com·15h·
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·9h·
Discuss: r/programming
🌊Gradual Effects
Paired by the Teacher: Turning Unpaired Data into High-Fidelity Pairs for Low-Resource Text Generation
arxiv.org·4h
🌱Minimal ML
Google Common Lisp Style Guide (Revision 1.28)
google.github.io·1h·
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·4h
🔗Dependent Types
Rethinking TypeScript Architecture: From Classes to Composable Functions
dev.to·1h·
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·4h
🪜Recursive Descent
Expanding Computation Spaces of LLMs at Inference Time
arxiv.org·4h
🗺️Region Inference
HiViS: Hiding Visual Tokens from the Drafter for Speculative Decoding in Vision-Language Models
arxiv.org·4h
⚡Tokenizer Optimization