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
81147
posts in
249.5
ms
Debugging
code world models
arxiv.org
·
15h
✅
Formal Verification
Is there "Secret
Sauce
'' in Large Language Model Development?
arxiv.org
·
15h
🌐
Decentralized AI
Sculptor
: The missing
UI
for coding agents
imbue.com
·
17h
🤖
AI
The Tech
Stack
I Use to Build and
Ship
Projects Fast as a Web Developer
convex.dev
·
9h
·
Discuss:
DEV
⚙️
Programming
Faster
AI Training
Unlocked
With New System For Massive Language Models
quantumzeitgeist.com
·
1d
🤖
AI
Formal
Methods
Practice and Theory
adacore.com
·
5h
·
Discuss:
Hacker News
✅
Formal Verification
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
3d
·
Discuss:
Hacker News
⚙️
Programming
A Language For Agents
lucumr.pocoo.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🤖
AI
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
·
20h
·
Discuss:
Lobsters
,
Hacker News
⚙️
Programming
models - A fast CLI and
TUI
for
browsing
AI models and coding agents.
terminaltrove.com
·
1h
🤖
AI
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
23h
✅
Formal Verification
Sixteen
AI Agents Built a C
Compiler
From Scratch
developers.slashdot.org
·
1d
🤖
AI
Scheme-JS: A Scheme
Interpreter
with Transparent JavaScript
Interoperability
furious-ideas.blogspot.com
·
1d
⚙️
Programming
Desktop
Client
for Building and Sharing MCP Apps Within
Orgs
creature.run
·
1h
·
Discuss:
Hacker News
🤖
AI
Leverage
AI for
root-cause
analysis with MCP servers in VS Code and Cursor
developers.redhat.com
·
17h
🤖
AI
Enforcing
Code Feature
Requirements
in C++
artima.com
·
2d
✅
Formal Verification
🚀
OLSRT
v1.2: A Powerful
Runtime
for All Programming Languages!
dev.to
·
1d
·
Discuss:
DEV
⚙️
Programming
Building Production-Ready AI
Chatbots
: Lessons from 6 Months of
Failure
lojiq.ai
·
2h
·
Discuss:
DEV
🤖
AI
Hud
:
Runtime
Code Sensor for Production-Safe AI Code
marketplace.visualstudio.com
·
2d
·
Discuss:
Hacker News
🤖
AI
AI Coding Is a Framework—Use It Like a Library
piglei.com
·
13h
·
Discuss:
Hacker News
,
r/programming
🤖
AI
Loading...
Loading more...
« Page 3
•
Page 5 »
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