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
🔄 Compiler Design
LLVM, Type Systems, Optimization, Language Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2737
posts in
168.9
ms
Groverkss/mlir-tutor
: Exercises for Learning MLIR (Originally written for
PPoPP
2026)
github.com
·
5d
·
Discuss:
Hacker News
,
r/Compilers
✅
Formal Verification
Horizon-LM
: A
RAM-Centric
Architecture for LLM Training
arxiv.org
·
5d
·
Discuss:
Hacker News
🧠
Computer Architecture
mkincl/mkincl
: A simple way to reuse
Makefiles
and scripts across multiple repositories
github.com
·
4d
·
Discuss:
Hacker News
📦
WebAssembly
Don’t look Behind The
Curtains
!
rodyne.com
·
4d
·
Discuss:
Hacker News
🚢
DevOps
Lessons from
BF-Tree
: Building a
Concurrent
Larger-Than-Memory Index in Rust
zhihanz.github.io
·
5d
·
Discuss:
Hacker News
🗄
Database Systems
One Year of Using Go
rugu.dev
·
4d
·
Discuss:
Hacker News
📦
WebAssembly
Writing an LLM from scratch, part
32b
-- Interventions: gradient
clipping
gilesthomas.com
·
5d
·
Discuss:
Hacker News
⚡
Performance Engineering
Show HN:
TurboLibBMP
0.1.1 – single-header
BMP
in C (no allocations, embedded)
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🧠
Computer Architecture
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
4d
·
Discuss:
Hacker News
✅
Formal Verification
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
4d
·
Discuss:
Hacker News
📦
WebAssembly
How I Program with LLMs
blog.wesleyabbey.io
·
6d
·
Discuss:
Hacker News
📦
WebAssembly
The Last of the
JavaScript
Frameworks
dbpro.app
·
5d
·
Discuss:
Hacker News
📦
WebAssembly
Software Architecture and
Philosophical
Anthropology
michaelmangialardi.substack.com
·
4d
·
Discuss:
Substack
📦
WebAssembly
What
Happens
When AI Can
Write
All Your Software?
jakequist.com
·
5d
·
Discuss:
Hacker News
🚢
DevOps
On
craft
and AI
slightknack.dev
·
5d
·
Discuss:
Lobsters
,
Hacker News
📦
WebAssembly
A
Tale
of AI and
Apples
arbinquiry.com
·
5d
·
Discuss:
Hacker News
🌐
HTMX
EarlyBinder
and
instantiating
parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org
·
6d
·
Discuss:
Lobsters
,
Hacker News
📦
WebAssembly
Tactical
tornado
is the new default
olano.dev
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
📦
WebAssembly
Turning Coding
Tasks
into Feedback
Loops
feipeng.substack.com
·
5d
·
Discuss:
Substack
🚢
DevOps
Verifying
coding
AIs
for LLM powered software
aunhumano.com
·
6d
·
Discuss:
Hacker News
✅
Formal Verification
Loading...
Loading more...
« Page 9
•
Page 11 »
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