A Short Survey of Compiler Backends
⚙️Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
✅Formal Verification
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
🤖AI
Flag this post
Crushing ML Latency: The (Un)Official Best Practices for Systems Optimisation
pub.towardsai.net·8h
🤖AI
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
⚙️Programming
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
⚙️Programming
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·42m
🤖AI
Flag this post
Choosing the best AI coding agent for Bitrise
🤖AI
Flag this post
Formal Verification’s Value Grows
semiengineering.com·5h
✅Formal Verification
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🤖AI
Flag this post
Creating Lisp Systems
⚙️Programming
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
🤖AI
Flag this post
Reforging the ReScript Build System
⚙️Programming
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·17h
⚙️Programming
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·1d
🤖AI
Flag this post
Loading...Loading more...