🔧 MLIR

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

The ReSharper, .NET Tools, and ReSharper C++ 2025.3 Release Candidates Are Now Available
blog.jetbrains.com·4h
⚙️Programming
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·15h·
Discuss: Hacker News
⚙️Programming
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·1d·
Discuss: Hacker News
🤖AI
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·21h·
Discuss: Hacker News
🌐Decentralized AI
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·16h
✅Formal Verification
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·2d·
Discuss: DEV
✅Formal Verification
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·5d·
Discuss: Hacker News
⚙️Programming
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·11h·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
⚙️Programming
Flag this post
Building Custom LLM Judges for AI Agent Accuracy
databricks.com·1d
🤖AI
Flag this post
Web Developer Travis McCracken on API Gateway Design with Rust and Go
dev.to·8h·
Discuss: DEV
⚙️Programming
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·1d·
Discuss: Hacker News
🤖AI
Flag this post
Fast, Scalable LDA in C++ with Stochastic Variational Inference
github.com·2d·
Discuss: r/cpp
🤖AI
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
🤖AI
Flag this post
Building Blocks of the .NET Platform — Explained for Beginners
dev.to·15h·
Discuss: DEV
⚙️Programming
Flag this post
Beating XLoader at Speed: Generative AI as a Force Multiplier for Reverse Engineering
research.checkpoint.com·2d
🤖AI
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·1d·
Discuss: www.blogger.com
⚙️Programming
Flag this post
The True Cost of AI Integrations: Comparing Performance and Pricing Models for C# Libraries
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
A Decade of AI Platform at Pinterest
medium.com·1d·
Discuss: Hacker News
🌐Decentralized AI
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·16h
🤖AI
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
⚙️Programming
Flag this post