🔧 MLIR

Compiler Infrastructure, Multi-Level IR, LLVM, Code Generation

Writing an IR from Scratch and survive to write a post
farena.in·1d·
Discuss: Lobsters
⚙️Programming
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·22h·
Discuss: Hacker News
🛡️AI Safety
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·3d
✅Formal Verification
Taming LLMs: How to Get Structured Output Every Time (Even for Big Responses)
dev.to·12h·
Discuss: DEV
🤖AI
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·1d
✅Formal Verification
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·6h·
Discuss: Hacker News
✅Formal Verification
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·10h·
Discuss: Lobsters, Hacker News
⚙️Programming
Ground Truth Ambient Occlusion
github.com·11h·
Discuss: Hacker News
🤖AI
LLMs for coding (+ free workflow templates)
blog.n8n.io·8h·
Discuss: Hacker News
🤖AI
LLM Inference Handbook
bentoml.com·1d·
Discuss: Hacker News
🤖AI
jank is C++
jank-lang.org·12h·
Discuss: Lobsters, Hacker News, r/programming
⚙️Programming
Apple Trace Cache
realworldtech.com·12h·
Discuss: Hacker News
🤖AI
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·1d·
Discuss: Lobsters, Hacker News
🤖AI
QuantSpec: Self-Speculative Decoding with Hierarchical Quantized KV Cache
machinelearning.apple.com·1d
🧮Homomorphic Encryption
Evolving Tactics of SLOW#TEMPEST: A Deep Dive Into Advanced Malware Techniques
unit42.paloaltonetworks.com·20h
⚙️Programming
Evaluation-Driven Development for LLM-Powered Products: Lessons from Building in Healthcare
towardsdatascience.com·1d
🤖AI
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·22h·
Discuss: Substack
🤖AI
SFrame-based stack unwinding for the kernel
lwn.net·16h·
Discuss: Hacker News
⚙️Programming
Codeminer42 Dev Weekly #69
blog.codeminer42.com·13h
🤖AI
Revolutionizing Simulation Turnaround: How Siemens’ SmartCompile Transforms SoC Verification
semiwiki.com·3d
📜Smart Contracts