🔧 MLIR

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

Token-Optimized Notation Language
tonl.dev·1d·
Discuss: Hacker News
📜Smart Contracts
Flag this post
My Dual MBP setup for offline LLM coding (w/ Qwen3 Coder 30B A3B)
i.imgur.com·17h·
Discuss: r/LocalLLaMA
🔒Hardware Security
Flag this post
New comment by swiftcoder in "Ribir: Non-intrusive GUI framework for Rust/WASM"
news.ycombinator.com·6h·
Discuss: Hacker News
⚙️Programming
Flag this post
Conscious Debugging: 10 Effective Strategies That Actually Work 🐛
thetshaped.dev·4h·
Discuss: r/programming
✅Formal Verification
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·2d·
Discuss: Hacker News
⚙️Programming
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·4d·
Discuss: r/programming
⚙️Programming
Flag this post
Introducing Nested Learning: A new ML paradigm for continual learning
research.google·1d·
Discuss: Hacker News
🌐Decentralized AI
Flag this post
I can finally forget about Photoshop on Linux, and it's thanks to this app
xda-developers.com·2h
🔒Hardware Security
Flag this post
mostlylucid-nmt : A replacement for EasyNMT with a compatible API. Rapid GPU powered NeuralMachine Translation in a Docker Image
reddit.com·20h·
Discuss: r/selfhosted
🤖AI
Flag this post
AI hasn't seen widespread adoption because the labs are focusing on automating AI R&D
lesswrong.com·1h
🤖AI
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·4d·
Discuss: Hacker News
🤖AI
Flag this post
🧩 Part 1: The Ultimate 2025 SaaS Tech Stack — Build, Launch, and Monetize in Under 10 Minutes
dev.to·1h·
Discuss: DEV
📜Smart Contracts
Flag this post
Computational Imaging Meets LLMs: Zero-Shot IDH Mutation Prediction in Brain Gliomas
arxiv.org·3d
🤖AI
Flag this post
REMIND: Input Loss Landscapes Reveal Residual Memorization in Post-Unlearning LLMs
arxiv.org·2d
🛡️AI Safety
Flag this post
The Complete 2026 Tech Stack: From Mobile Devices to Smart Home Automation
dev.to·1d·
Discuss: DEV
🔒Hardware Security
Flag this post
Weekly #45-2025: PHP Tricks, LLM Collaboration, SQL Speedups, and the Future of Web Payments
dev.to·6h·
Discuss: DEV
📜Smart Contracts
Flag this post
Engineering Enterprise-Grade Context: Making the Model Context Protocol (MCP) Viable for Financial Services
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
The AI Stack We Trust: Tools, Frameworks, and Practices We Use in Production
dev.to·3d·
Discuss: DEV
🤖AI
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·5d
🛡️AI Safety
Flag this post
<p>**Abstract:** This paper introduces a framework for automated verification of the semantic integrity of scientific literature, termed Automated Semantic Inte...
freederia.com·2d
✅Formal Verification
Flag this post