C++ is my first programming language
reddit.com·1d·
Discuss: r/cpp
🏗️Minimal Compilers
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·5h·
Discuss: Hacker News
🪆Embedded DSLs
Flag this post
What should be included in a data science curriculum for schools?
raspberrypi.org·1d
🎓Educational Databases
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·10h·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Nim 2.2.6
nim-lang.org·16h·
Discuss: Hacker News
💬Error Messages
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
✅Type Checking
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🔶Lattice Theory
Flag this post
What we didn't get in C++
pvs-studio.com·1d·
Discuss: r/cpp
🏷️Symbol Mangling
Flag this post
Show HN: Molecular/Waveform Computing Unification
datamolecular.com·14h·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Before You Learn Closures, Understand Context
tc39.es·3d·
Discuss: DEV
📝Rope Editors
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
📚Stack Allocation
Flag this post
Issue 496
haskellweekly.news·1d
👑Dependent Haskell
Flag this post
Exploring PKM concepts
nhlism.bearblog.dev·9h
🌙Lua
Flag this post
Making Mathematical Reasoning Adaptive
paperium.net·1d·
Discuss: DEV
🏗️MLIR
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔪Program Slicing
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·1d·
Discuss: Hacker News
⚙️Configuration Parsing
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·5d·
Discuss: Hacker News
🔗Concatenative Theory
Flag this post
How Do We Evaluate the Quality of LLMs' Mathematical Responses?
lesswrong.com·2d
🔍ML Language
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
reddit.com·1d·
Discuss: r/compsci
🎭Program Synthesis
Flag this post
Equation Discovery, Parametric Simulation, and Optimization Using the Physics-Informed Neural Network (PINN) Method for the Heat Conduction Problem
arxiv.org·1d
🌱Minimal ML
Flag this post