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
Language Implementation, Parsing, Code Generation, LLVM
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9420
posts in
500.8
ms
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
1d
🔤
DSLs
What is C
Programming
Language?
dev.to
·
3d
·
Discuss:
DEV
💻
CS
Chasing a Zig
AVR
Segfault
Down to LLVM
sourcery.zone
·
4d
·
Discuss:
r/Zig
🐫
Embedded OCaml
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔀
OCaml Multicore
Top 5 Programming
Languages
Dominating
2026
dev.to
·
4d
·
Discuss:
DEV
🔤
DSLs
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
Introducing
Composer
1.5
cursor.com
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
The
Blurry
Boundaries
Between Programming and Direct Use
joshuahhh.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
robbyant/lingbot-world-base-cam
huggingface.co
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
Technical
Details of My
LLM-Generated
Book
mattbruenig.com
·
1d
·
Discuss:
Hacker News
🔤
Language Design
Local-first
Markdown
notes app built with Rust and
Tauri
helixnotes.com
·
1d
·
Discuss:
Hacker News
💾
Classic Mac OS
How
Programmers
Spend
Their Time
probablydance.com
·
19h
·
Discuss:
Hacker News
🏃
Escape Analysis
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
1d
·
Discuss:
Hacker News
🧩
SAT Solvers
Outcome
Engineering
cory.news
·
4h
·
Discuss:
Hacker News
🔧
DevOps
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
11h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
9h
·
Discuss:
Hacker News
🧠
Automated Reasoning
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🏃
Escape Analysis
🏆 100 Most
Watched
Java
Conference Talks Of 2025
techtalksweekly.io
·
1d
·
Discuss:
Hacker News
📦
Unikernel Systems
Human Review Is the
Bottleneck
satyaborg.com
·
8h
·
Discuss:
Hacker News
🧪
Property-Based Testing
Loading...
Loading more...
« Page 2
•
Page 4 »
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