Whole-Program Optimization, ML Compiler, Defunctionalization, Performance

Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.comยท1d
๐Ÿ“–Literate Programming
Flag this post
Connectivity Structure and Dynamics of Nonlinear Recurrent Neural Networks
journals.aps.orgยท13h
๐Ÿ”ML Language
Flag this post
build system tradeoffs
jyn.devยท2dยท
๐Ÿ”—Language Toolchains
Flag this post
Asking Our Documents the Right Questions โ€” Locally
manas.techยท1d
๐ŸŽฎLanguage Ergonomics
Flag this post
Speeding up JavaScript test time 1000x
kevin.burke.devยท22hยท
Discuss: Hacker News
๐ŸงชTesting Compilers
Flag this post
The AI-Powered Evolution of Software Development
devops.comยท2h
๐ŸŽญProgram Synthesis
Flag this post
It Doesnโ€™t Need to Be a Chatbot
towardsdatascience.comยท12h
๐ŸŽฎLanguage Ergonomics
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.orgยท8h
๐ŸŽญProgram Synthesis
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
github.comยท1dยท
๐ŸŽญErlang OTP
Flag this post
๐Ÿ›ก๏ธ Fortify - AI-Powered Security Analysis Platform
dev.toยท18hยท
Discuss: DEV
๐Ÿš‚Cranelift Backend
Flag this post
Reality check
dev.toยท1hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.orgยท8h
โœจGleam
Flag this post
To write secure code, be less gullible than your AI
stackoverflow.blogยท4h
๐ŸŽฎLanguage Ergonomics
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.orgยท1d
๐ŸŒฑMinimal ML
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.orgยท8h
โš–๏ธWeighted Automata
Flag this post
Cracking the Cube: How Competitive Rubikโ€™s Cube Algorithms Inspire Modern AI and Programming
dev.toยท18hยท
Discuss: DEV
๐ŸงฉConstraint Solvers
Flag this post