🔧 MLIR

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

Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·14h
✅Formal Verification
Nearly 2 million people watched this spellbinding video of a mini PC being built from a slab of aluminium to a complete computer
techradar.com·20h
🔄Protocol Design
Pacman can't detect my already installed packages
gnu.org·16h·
Discuss: r/archlinux
📜Smart Contracts
Tilck: a tiny Linux-compatible kernel
osnews.com·3d
⚙️Programming
MCP: Bringing mashups back!
blog.pamelafox.org·1d·
Discuss: www.blogger.com, Hacker News
🤖AI
Kotlin only treats the symptoms of null pointers, while Rust cures the disease. That’s one of the main reasons I prefer Rust.
reddit.com·10h·
Discuss: r/rust
⚙️Programming
Why I Built a C# Markdown-to-HTML Converter (That’s Actually Fast and Safe)
dev.to·20h·
Discuss: DEV
✅Formal Verification
Really interesting article on impact of LoC on code review quality and the LGTM phenomenon.
infoq.com·2d·
Discuss: r/programming
🛡️AI Safety
MiniCourseX AI Review (2025): The Easiest Way To Create & Sell Your Own AI-Powered Mini Courses In Just 60 Seconds
dev.to·22h·
Discuss: DEV
🤖AI
Gdscript Preprocessor
github.com·1d·
Discuss: r/godot
⚙️Programming
10 GitHub repos that will set you up for a career in AI engineering (100% free):
threadreaderapp.com·3d
🤖AI
Localllama’s (first?) IFTA - I’ll Fine-Tune Anything
reddit.com·22h·
Discuss: r/LocalLLaMA
⚙️Programming
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·3d·
Discuss: DEV
📜Smart Contracts
Elicitation in Modern AI Agents: How Smart Agents Ask the Right Questions
dev.to·4h·
Discuss: DEV
🤖AI
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·4d
🤖AI
How I Built a Revolutionary AI Companion Platform in 30 Days (And What Bolt.new Taught Me About Impossible)
dev.to·2d·
Discuss: DEV
🛡️AI Safety
The Power of HTML - Part 18: Advanced Attributes: Data-, Content editable, and More
dev.to·2h·
Discuss: DEV
🤖AI
Thesys React SDK: Turn LLM Responses into real time User Interfaces
dev.to·3d·
Discuss: DEV
🤖AI
The hidden dangers of AI-generated code in modern web frameworks
dev.to·3d·
Discuss: DEV
🤖AI
Unlocking the Power of Automated Testing: A Developers Guide
dev.to·1d·
Discuss: DEV
✅Formal Verification