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
9410
posts in
538.8
ms
omniflare/expression-solver
: parsing expressions (basic lang) into AST compiling into
bytecode
and running on VM to solve math problems
github.com
·
3d
·
Discuss:
r/rust
🔧
ppx
RustCompCert
: A Verified and Verifying Compiler for a Sequential
Subset
of Rust
arxiv.org
·
1d
🎯
GADT
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔀
OCaml Multicore
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
3d
·
Discuss:
DEV
🔤
Language Design
What is C
Programming
Language?
dev.to
·
3d
·
Discuss:
DEV
💻
CS
Standardizing
HLSL
devblogs.microsoft.com
·
12h
·
Discuss:
Lobsters
,
Hacker News
🏗️
Dune
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
3d
·
Discuss:
Hacker News
🏗️
Dune
The World's First
LLM-Native
Language
nerd-lang.org
·
1d
·
Discuss:
Hacker News
⚙️
PL Implementation
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
15h
·
Discuss:
Hacker News
➡️
Category Theory
robbyant/lingbot-world-base-cam
huggingface.co
·
15h
·
Discuss:
Hacker News
🔲
Cellular Automata
Introducing
Composer
1.5
cursor.com
·
1d
·
Discuss:
Hacker News
🔬
Static Analysis
The
Blurry
Boundaries
Between Programming and Direct Use
joshuahhh.com
·
13h
·
Discuss:
Hacker News
🤖
Program Synthesis
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
10h
·
Discuss:
Hacker News
🧩
SAT Solvers
Web Framework for
Dart
jaspr.site
·
17h
·
Discuss:
Hacker News
🔌
APIs
Relay
Lang –
Async
first programming language
harrisonerd.com
·
1d
·
Discuss:
Hacker News
🌐
Network Protocols
Local-first
Markdown
notes app built with Rust and
Tauri
helixnotes.com
·
1d
·
Discuss:
Hacker News
💾
Classic Mac OS
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
15h
·
Discuss:
Hacker News
🤖
Program Synthesis
🏆 100 Most
Watched
Java
Conference Talks Of 2025
techtalksweekly.io
·
13h
·
Discuss:
Hacker News
📦
Unikernel Systems
Technical
Details of My
LLM-Generated
Book
mattbruenig.com
·
17h
·
Discuss:
Hacker News
🔤
Language Design
Show HN:
Biology
Tools for Rust
athanorlab.com
·
9h
·
Discuss:
Hacker News
🏗️
Dune
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