Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

🎬 SubSign – Subtitling Sign Languages Course
facebook.com·19h
🎓Teaching Compilers
Flag this post
The Gem in S/SL: Why Dataless Languages Matter
programmingsimplicity.substack.com·6d·
Discuss: Substack
🔀Control Structures
Flag this post
Interesting to see an open-source model genuinely compete with frontier proprietary models for coding
i.redd.it·3d·
Discuss: r/LocalLLaMA
🥾Bootstrapping Strategies
Flag this post
Your AI Pair Programmer Is Not a Person
oreilly.com·4d
Gleam
Flag this post
Why isn’t Rust getting more professional adoption despite being so loved?
zdnet.com·11h·
Discuss: r/rust
🏷️Memory Tagging
Flag this post
Ts-event-core: TypeScript functional programming Event Sourcing implementation
github.com·3d·
Discuss: Hacker News
🌊Reactive Languages
Flag this post
Packages with (or without) dependencies on specific versions.
reddit.com·2d·
Discuss: r/archlinux
📦Package Managers
Flag this post
“Hello Alice!” - A Production-Ready scaffold in NPL
reddit.com·3d·
Discuss: r/programming
🎨Domain-Specific Languages
Flag this post
The Ambiguity Of "Human Values" Is A Feature, Not A Bug
lesswrong.com·9h
Quantified Types
Flag this post
Break the Tie: Learning Cluster-Customized Category Relationships for Categorical Data Clustering
arxiv.org·3d
📚Suffix Arrays
Flag this post
Why it’s time to build dumb applications
nordot.app·3d
🏷️Attribute Grammars
Flag this post
#1 Frontend Code Quality: Making Your Code Shine with TypeScript, ESLint, Prettier, and Strict Mode
dev.to·3d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Building Supreme Dog Garage: Challenges, C++ Solutions, and Future Goals for a Premium Dog Gear Platform
dev.to·3d·
Discuss: DEV
🚂Cranelift IR
Flag this post
Beyond the Prompt: The Risks of Oversimplifying App Logic
dev.to·3d·
Discuss: DEV
🎭Program Synthesis
Flag this post
Efficient Thought Space Exploration through Strategic Intervention
arxiv.org·2d
Effect Inference
Flag this post
Lessons from Shipping with AI Tools but Avoiding Tool Sprawl
dev.to·2d·
Discuss: DEV
🌊Gradual Effects
Flag this post
Getting the Model Right
dev.to·5d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
How to Integrate WebAssembly: 7 Practical Patterns for Faster Web Applications
dev.to·2d·
Discuss: DEV
🌐WebAssembly
Flag this post