🔧 MLIR

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

How to call engine singleton using Expression instance?
docs.godotengine.org·5h·
Discuss: r/godot
✅Formal Verification
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·9h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Show HN: Steadykey – Deterministic Idempotency Keys with Pluggable Stores
npmjs.com·8h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
Google Summer of Code 2025 Reports: Using bubblewrap to add sandboxing to NetBSD
blog.netbsd.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔒Hardware Security
Flag this post
Show HN: SKRL is a language for expressing keyboard remaps and shortcuts
gitlab.com·1d·
Discuss: Hacker News
⚙️Programming
Flag this post
How LLMs Read Docs
aiwiki.dev·1d·
Discuss: Hacker News
🤖AI
Flag this post
Embedding TypeScript
andrews.substack.com·3d·
Discuss: Substack, r/programming
⚙️Programming
Flag this post
Patterns for Building a Scalable Multi-Agent System
devblogs.microsoft.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
💥 Get to the Chopper! A Beginner's Guide to ArnoldC
dev.to·2h·
Discuss: DEV
⚙️Programming
Flag this post
FinTrust: A Comprehensive Benchmark of Trustworthiness Evaluation in FinanceDomain
paperium.net·13h·
Discuss: DEV
🛡️AI Safety
Flag this post
I achieved 0% ANR in my Android app. Spilling beans on how I did it - part 1
nek12.dev·12h·
Discuss: r/programming
🔒Hardware Security
Flag this post
I completed my first game using Godot 4.3, here's some insight!
reddit.com·13h·
Discuss: r/godot
⚙️Programming
Flag this post
I don't why, but I love this language!
reddit.com·1d·
Discuss: r/Zig
⚙️Programming
Flag this post
OmniVinci: Enhancing Architecture and Data for Omni-Modal Understanding LLM
paperium.net·1d·
Discuss: DEV
🤖AI
Flag this post
Agentic Design of Compositional Machines
paperium.net·2d·
Discuss: DEV
🤖AI
Flag this post
I used NotebookLM to help me build a PC, and it was better than any other tool
xda-developers.com·19h
🤖AI
Flag this post
NeuroBase: AI-Powered Conversational Database with Multi-Agent Intelligence
dev.to·6h·
Discuss: DEV
🤖AI
Flag this post
Some advise needed - hosting for AI chatbot
reddit.com·10h·
Discuss: r/selfhosted
🤖AI
Flag this post
Meet Aissist - your personal AI command line sidekick
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
Performance Optimization for JS
dev.to·1d·
Discuss: DEV
⚙️Programming
Flag this post