Whole-Program Optimization, ML Compiler, Defunctionalization, Performance

Learning C As An Intermediate
reddit.comยท5hยท
๐ŸŽ“Teaching Compilers
Flag this post
Issue 496
haskellweekly.newsยท2d
๐Ÿ‘‘Dependent Haskell
Flag this post
Raising the Bar on ML Model Deployment Safety
uber.comยท2d
๐Ÿš‚Cranelift IR
Flag this post
Testing Unnatural Prompt Engineering Across Five Large Language Models
blog.codeminer42.comยท1d
๐Ÿ”ML Language
Flag this post
Ajla Tutorial
ajla-lang.czยท2dยท
Discuss: Hacker News
๐Ÿ”ฎLisp Interpreters
Flag this post
We open-sourced a minimal NASDAQ ITCH parser in Rust. Built for clarity, not just speed. Here's how we pushed it to 107M msg/sec.
reddit.comยท13hยท
Discuss: r/rust
๐Ÿ“‹JSON Parsing
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.comยท3dยท
Discuss: Hacker News
๐ŸงชCompiler Testing
Flag this post
Beyond Optimization: The Physics and Logic Driving AI's Three Stages of Societal Transformation
youtu.beยท4hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
Squeezing AI into Tiny Spaces: The Integer Revolution
dev.toยท2dยท
Discuss: DEV
๐ŸŽฏBit Vectors
Flag this post
Torchforge โ€“ a PyTorch native library for scalable RL post-training
pytorch.orgยท2dยท
Discuss: Hacker News
โœจGleam
Flag this post
Why vLLM is the best choice for AI inference today
developers.redhat.comยท2d
๐Ÿ“กErlang BEAM
Flag this post
Building a Prompt Engineering Toolkit for Developers
amzn.toยท56mยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท1d
๐Ÿ”—Category Theory
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.toยท14hยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Engines
Flag this post
zFLoRA: Zero-Latency Fused Low-Rank Adapters
arxiv.orgยท1d
๐ŸLanguage Benchmarks
Flag this post
Variance-reduced estimation of Third-order statistics using control variates with splitting
sciencedirect.comยท6h
โšกPartial Evaluation
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท1dยท
Discuss: DEV
โš™๏ธTOML Parsers
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท1d
โš–๏ธInference Rules
Flag this post
Scalable Knowledge Graph Embedding via Adaptive Dimensionality Reduction & Multi-Objective Optimization
dev.toยท1dยท
Discuss: DEV
๐ŸชœRecursive Descent
Flag this post
Turbocharge Your AI: A Smarter Way to Explore Decision Trees
dev.toยท2dยท
Discuss: DEV
๐ŸšถTree-walking
Flag this post