Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·3d·
Discuss: Hacker News
🌈Gradual Languages
Towards Safe Reasoning in Large Reasoning Models via Corrective Intervention
arxiv.org·12h
📏Linear Logic
The expression problem and Rust
reddit.com·4h·
Discuss: r/rust
⚙️TOML Parsers
Building a Production-Ready Medical AI Assistant with Python FastAPI, Tavili, Gemini & LangChain
dev.to·11h·
Discuss: DEV
🌙Lua
How are Actors Implemented in Swift?
blog.jacobstechtavern.com·1h
✨Gleam
Sguaba: Type-safe spatial math in Rust
youtube.com·1d·
Discuss: Lobsters, Hacker News
🪆Embedded DSLs
I no longer recommend Julia
yuri.is·1h·
Discuss: Hacker News
🪞Homoiconicity
What Kind of Programming Is Natural Language Programming?
dsyme.net·13h·
Discuss: Hacker News
🔬programming language theory
Subtext Retrospective
subtext-lang.org·12h·
Discuss: Lobsters, Hacker News
🌊Gradual Effects
Neurosymbolic code generation. Innovation in Verification
semiwiki.com·3h
🪜Recursive Descent
Using an LLM on the Advent of Code
funcall.blogspot.com·23h·
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·17h·
Discuss: r/programming
🌊Gradual Effects
Paired by the Teacher: Turning Unpaired Data into High-Fidelity Pairs for Low-Resource Text Generation
arxiv.org·12h
🌱Minimal ML
Google Common Lisp Style Guide (Revision 1.28)
google.github.io·9h·
Discuss: Hacker News
🎮Language Ergonomics
Apply the Trie: Word Search
mmhaskell.com·1d·
Discuss: Hacker News
🌿Trie Structures
Creating Web Applications with Julia
digitalocean.com·23h·
Discuss: Hacker News
📚Stack Languages
Compose and Fuse: Revisiting the Foundational Bottlenecks in Multimodal Reasoning
arxiv.org·12h
🔗Dependent Types
Defending LLM applications against Unicode character smuggling
aws.amazon.com·29m
🛡️Parser Security
Rethinking TypeScript Architecture: From Classes to Composable Functions
dev.to·9h·
Discuss: DEV
📦Monorepos