🔧 MLIR

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

Writing an IR from Scratch and survive to write a post
farena.in·17h·
Discuss: Lobsters
⚙️Programming
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·15h·
Discuss: Hacker News
🛡️AI Safety
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
✅Formal Verification
Taming LLMs: How to Get Structured Output Every Time (Even for Big Responses)
dev.to·4h·
Discuss: DEV
🤖AI
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·1d
✅Formal Verification
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·3h·
Discuss: Lobsters, Hacker News
⚙️Programming
Ground Truth Ambient Occlusion
github.com·3h·
Discuss: Hacker News
🤖AI
LLMs for coding (+ free workflow templates)
blog.n8n.io·1h·
Discuss: Hacker News
🤖AI
LLM Inference Handbook
bentoml.com·20h·
Discuss: Hacker News
🤖AI
Apple Trace Cache
realworldtech.com·4h·
Discuss: Hacker News
🤖AI
jank is C++
jank-lang.org·5h·
Discuss: Lobsters, Hacker News, r/programming
⚙️Programming
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·22h
🧮Homomorphic Encryption
Evolving Tactics of SLOW#TEMPEST: A Deep Dive Into Advanced Malware Techniques
unit42.paloaltonetworks.com·12h
⚙️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·15h·
Discuss: Substack
🤖AI
SFrame-based stack unwinding for the kernel
lwn.net·8h·
Discuss: Hacker News
⚙️Programming
Codeminer42 Dev Weekly #69
blog.codeminer42.com·5h
🤖AI
Revolutionizing Simulation Turnaround: How Siemens’ SmartCompile Transforms SoC Verification
semiwiki.com·3d
📜Smart Contracts
This Homebrew CPU Got Its Start in the 1990s
hackaday.com·11h
⚙️Programming