🔧 MLIR

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

Constraint Catalog
sofdem.github.io·2d
✅Formal Verification
Twentyseven 1.0.0
blog.poisson.chat·2d·
Discuss: Hacker News
⚙️Programming
Future-Proofing Long Lifecycle Systems
eetimes.com·1d
🔒Hardware Security
BitVMX New Open Source Components: Key Management, Storage, and Configuration
bitvmx.org·3d·
Discuss: Hacker News
🔒Hardware Security
Wait, why are we paying more for VSCode forks again?
trunk.io·1d·
Discuss: Hacker News
⚙️Programming
Building great SDKs
newsletter.pragmaticengineer.com·4d
📜Smart Contracts
Ionic-electronic photodetector for vision assistance with in-sensor image processing
nature.com·1d
🧮Homomorphic Encryption
Elevation in click-to-move isometric game
reddit.com·1d·
Discuss: r/godot
⚙️Programming
Opinion: All LLMs have something like Wernicke's aphasia and we should use that to define their use cases
reddit.com·1d·
Discuss: r/artificial
🤖AI
Linux 6.17 Memory Management Optimizations, DAMON_STAT & Other Improvements
phoronix.com·19h
🔒Hardware Security
From data to insights with Dynatrace Dashboards
nordot.app·1d
🛡️AI Safety
FovEx: Human-Inspired Explanations for Vision Transformers and Convolutional Neural Networks
arxiv.org·2d
🤖AI
My "Full-Stack" MLOps Journey: From Broken Models to Actually Working AI
dev.to·5d·
Discuss: DEV
🤖AI
MedicaAI: AI-Powered Smart Health Diagnosis & Automation.: After the Hack - WLH Challenge
dev.to·1d·
Discuss: DEV
🤖AI
Observability is expanding: Transforming complexity into business opportunity
nordot.app·1d
🛡️AI Safety
The Pragmatic Mind of Machines: Tracing the Emergence of Pragmatic Competence in Large Language Models
arxiv.org·2d
🤖AI
Should You Use AI to Learn to Code?
blog.jetbrains.com·2d
🤖AI
Unpopular opinion: LLMs as judges are ruining AI evaluation
reddit.com·4d·
Discuss: r/LLM
🤖AI
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·3d
🛡️AI Safety
Probabilistic Consistency in Machine Learning and Its Connection to Uncertainty Quantification
arxiv.org·4d
🛡️AI Safety