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
81337
posts in
1.09
s
Comprehensive
Evaluation of Large Language Models on Software Engineering
Tasks
: A Multi-Task Benchmark
arxiv.org
·
16h
✅
Formal Verification
ArkEval
: Benchmarking and Evaluating Automated
CodeRepair
for ArkTS
arxiv.org
·
16h
✅
Formal Verification
When
Bigger
Instances
Don’t Scale
scylladb.com
·
7h
·
Discuss:
r/programming
🔒
Hardware Security
A open-source
database
studio
querystudio.dev
·
1d
·
Discuss:
Hacker News
⚙️
Programming
AMD's open-source
openSIL
firmware is being ported to Zen 5 motherboard early — replacement for
AGESA
shows up ahead of Zen 6
tomshardware.com
·
9h
🔒
Hardware Security
Writing a
ledger-cli
Language Server
Protocol
with claude
frdmtoplay.com
·
2d
⚙️
Programming
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
1d
·
Discuss:
Hacker News
✅
Formal Verification
Learning by
hand
is better than learning by AI
blog.engora.com
·
1d
·
Discuss:
Hacker News
🛡️
AI Safety
Intel Recently
Shelved
Numerous
Open-Source Projects
phoronix.com
·
2d
·
Discuss:
Hacker News
,
r/linux
🔒
Hardware Security
Compound
Engineering: The
Definitive
Guide
kill-the-newsletter.com
·
1d
🤖
AI
A $
10K
Mac Studio Won’t
Replace
Your API Bill
iain.so
·
2d
🤖
AI
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
1d
⚙️
Programming
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🛡️
AI Safety
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
✅
Formal Verification
What Should Go Into the C++
Standard
Library
abseil.io
·
2d
⚙️
Programming
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
2d
·
Discuss:
DEV
🤖
AI
Agentic
Tool
Patterns
– 54
patterns
for building tools LLM agents can use
blog.arcade.dev
·
1d
·
Discuss:
Hacker News
🤖
AI
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
1d
·
Discuss:
Hacker News
⚙️
Programming
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
·
2d
·
Discuss:
Hacker News
🛡️
AI Safety
Are You Using
Structural
Patterns In An
SLT
Environment?
semiengineering.com
·
13h
🔒
Hardware Security
Loading...
Loading more...
« Page 10
•
Page 12 »
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