VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM
arxiv.org·1d
⚙️Assembly Verification
BNFGen: A random text generator based on context-free grammars
baturin.org·5h·
Discuss: Hacker News
🌳Context free grammars
Boosting Developer Productivity with AI: Faster Dashboards, Automated Testing, and 70% Less Setup Time
engineering.salesforce.com·10h
🔄Reproducible Builds
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·2h·
Discuss: DEV
🦀Rust Borrowing
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·22h·
Discuss: Hacker News
🦀Rust Macros
What Inflection AI Learned Porting Its LLM Inference Stack from NVIDIA to Intel Gaudi
thenewstack.io·4h
🧮Compute Optimization
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·8h·
Discuss: Substack
🦀Rust Macros
C compiler for Web Assembly (c4wa)
github.com·1d·
Discuss: Hacker News
🌐WASI
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
📏Code Metrics
How AI/LLMs Can Help, Hinder Developers
cacm.acm.org·2h
🔄Language Evolution
Xcode 26 Beta 2
mjtsai.com·2h
🔗Static Linking
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·15h
⬆️Lambda Lifting
The Guide to the Foundation Models Framework
azamsharp.com·9h·
Discuss: Hacker News
λLambda Formalization
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
🔗Topological Sorting
16 Changes to AI in the Enterprise: 2025 Edition | Andreessen Horowitz
a16z.com·14h
🔌Interface Evolution
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·12h·
Discuss: Hacker News, r/programming
🔗Lisp
Threaded Code
muforth.dev·12h·
Discuss: Hacker News
🦀Rust Macros
Machine Learning Fundamentals: active learning project
dev.to·8h·
Discuss: DEV
🧠Machine Learning