Pattern Matching, Module System, Type Inference, Functional Compilation

Need help automating a website to test all product + ingredient combinations (Schedule1 Calculator)
schedule1-calculator.comยท3hยท
Discuss: r/programming
๐Ÿ”Comby
Flag this post
The Literature of Limits: The West (Part I)
3quarksdaily.comยท1h
๐Ÿ’ซEffect Systems
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.netยท6dยท
๐ŸฅพBootstrapping Strategies
Flag this post
Wired for Words: Understanding Language and the Brain
psychologytoday.comยท2d
๐ŸŽฏFinite Automata
Flag this post
Wayland ruined my blender's performance and I despise everything about it
reddit.comยท5hยท
Discuss: r/linux
๐Ÿฆ€MIR Optimization
Flag this post
From Quantum Annealing to Alloy Discovery: Towards Accelerated Design of High-Entropy Alloys
arxiv.orgยท1d
๐Ÿ—บ๏ธRegion Polymorphism
Flag this post
Active Learning for Animal Re-Identification with Ambiguity-Aware Sampling
arxiv.orgยท1d
โœจEffect Inference
Flag this post
We put a lot of work into a 1.5B reasoning model โ€” now it beats bigger ones on math & coding benchmarks
reddit.comยท1dยท
Discuss: r/LocalLLaMA
๐ŸŒฑMinimal ML
Flag this post
Tokens: The Invisible Building Blocks of Large Language Models
dev.toยท3dยท
Discuss: DEV
๐Ÿ”Tokenizers
Flag this post
How number systems shape our thinking, and what this means for learning, language and culture
phys.orgยท18h
๐Ÿ“Mathematical Computing
Flag this post
The LLM Flywheel Effect: AI That Writes and Tests Documentation
thenewstack.ioยท1d
๐Ÿ“šSelf-Documenting Code
Flag this post
AI Isnโ€™t Alchemy: Not Mystical, Just Messy
dev.toยท2dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
I used AI for every task for two weeks
dev.toยท22hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
DARN: Dynamic Adaptive Regularization Networks for Efficient and Robust Foundation Model Adaptation
arxiv.orgยท2d
๐ŸชœRecursive Descent
Flag this post
ROAR: Robust Accident Recognition and Anticipation for Autonomous Driving
arxiv.orgยท1d
๐Ÿš‚Cranelift IR
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
dev.toยท6dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
๐Ÿš€ Why Programming Knowledge Still Matters in the Age of AI Development Tools
dev.toยท7hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post