Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔧 MLIR
Compiler Infrastructure, Multi-Level IR, LLVM, Code Generation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
82281
posts in
410.3
ms
How I Built My Project in
Haskell
dev.to
·
18h
·
Discuss:
DEV
⚙️
Programming
Building a Dynamic
Multilanguage
System Without
Rebuilds
kuldeepmodi.vercel.app
·
3h
·
Discuss:
DEV
⚙️
Programming
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
4h
·
Discuss:
Hacker News
✅
Formal Verification
Why Large Language Models Make Terrible
Compilers
— And Why the Industry Keeps Trying
Anyway
webpronews.com
·
1d
✅
Formal Verification
Language Server Protocol from
Debug
Symbols
forrestthewoods.com
·
20h
⚙️
Programming
What should I program?
jamesmcm.github.io
·
9h
⚙️
Programming
Hud
:
Runtime
Code Sensor for Production-Safe AI Code
marketplace.visualstudio.com
·
36m
·
Discuss:
Hacker News
🤖
AI
Build a
Compiler
in Five Projects
kmicinski.com
·
1d
⚙️
Programming
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
1d
·
Discuss:
Hacker News
⚙️
Programming
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
1d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🤖
AI
Enforcing
Code Feature
Requirements
in C++
artima.com
·
20h
✅
Formal Verification
Cross
compiling
made easy, using
Clang
and LLVM
mcilloni.ovh
·
18h
⚙️
Programming
The
Stretto
Execution Engine for
LLM-Augmented
Data Systems
arxiv.org
·
3d
🤖
AI
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
6h
·
Discuss:
Hacker News
🔒
Hardware Security
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
14h
·
Discuss:
Lobsters
,
Hacker News
🤖
AI
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonw.substack.com
·
9h
·
Discuss:
Substack
🤖
AI
Performance
Tip
of the Week #7: Optimizing for application
productivity
abseil.io
·
20h
🔒
Hardware Security
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
11h
·
Discuss:
DEV
🔒
Hardware Security
I hold a different opinion regarding the self-built
compilation
backend
ziggit.dev
·
11h
✅
Formal Verification
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
2d
·
Discuss:
Hacker News
⚙️
Programming
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help