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
🔬 Static Analysis
Compiler Design, Type Theory, Program Verification, Code Quality
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74825
posts in
1.47
s
plrg-bristol/advanced-haskell-2026
: Resources for the 2026 Advanced Haskell
seminar
series at Bristol
github.com
·
22m
λ
Functional Programming
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
2h
·
Discuss:
Hacker News
🏗️
System Design
I
Write
Games in C (
yes
, C)
jonathanwhiting.com
·
2d
·
Discuss:
Hacker News
🔨
Compiler Design
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
We Build Software for
Humans
— Not for
Machines
. And That’s a Problem.
medium.com
·
7h
·
Discuss:
r/programming
🏗️
Cranelift
Sixteen
AI Agents Built a C
Compiler
From Scratch
developers.slashdot.org
·
37m
🎭
Program Synthesis
observation
: the future of building software
hanspham.com
·
2h
🕵️
Jaeger
Main
Content ||
Math
∩ Programming
jeremykun.com
·
22h
📊
Algorithms
The Return of
Algol
68
jxself.org
·
1d
🦀
Rust
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
10h
·
Discuss:
Hacker News
🦙
Ollama
ESLint
Plugin
Perfectionist
perfectionist.dev
·
3h
⚙️
SWC
Learn
Java
Online: A Step-by-Step Guide for
Beginners
wscubetech.com
·
10h
·
Discuss:
DEV
⚙️
JIT Compilation
What should I program?
jamesmcm.github.io
·
1d
🦀
Rust
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
2h
·
Discuss:
Hacker News
💬
Prompt Engineering
I don't like
imports
kevincox.ca
·
2h
·
Discuss:
Hacker News
🦀
Rust Macros
Software Engineering with AI: Beyond
Vibe-Coding
principalengineer.com
·
1d
🎭
Program Synthesis
Protean
Compiler: An
Agile
Framework to Drive Fine-grain Phase Ordering
arxiv.org
·
15h
📊
Profile-Guided Optimization
Testing software in the era of coding agents
garymm.org
·
5h
·
Discuss:
Hacker News
🧬
Mutation Testing
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
1d
⚓
Anchors
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
1d
·
Discuss:
Hacker News
🔨
Compiler Design
Loading...
Loading more...
« Page 1
•
Page 3 »
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