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
🧠 Lisp Dialects
Clojure, Scheme, Racket, S-expressions, Macros
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23333
posts in
1.00
s
josephsumabat/static-ls
github.com
·
1d
🔗
Static Linking
Compiler-Driven Static Analysis
Locking
Context Checking
Merged
For Linux 7.0
phoronix.com
·
4h
🦀
Rust Verification
Testing Agent Skills
Systematically
with
Evals
developers.openai.com
·
9h
⚡
Proof Automation
I built a Python
LSP
in Go!
reddit.com
·
3d
·
Discuss:
r/golang
🔗
Lisp
OSTEP
Chapter
8
muratbuffalo.blogspot.com
·
11h
·
Discuss:
Blogger
⚡
CPU Microarchitecture
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Poudriere
symlinks
for repos
dan.langille.org
·
1d
❄️
Nixpkgs
Can AI Code for
Vintage
?
sparcie.wordpress.com
·
2h
🏗️
Compiler Archaeology
Tracking Issue for
Generic
Constant
Arguments MVP · Issue #132980
github.com
·
10h
·
Discuss:
Hacker News
🦀
Rust Macros
Domain
Specific
Languages
martinfowler.com
·
1d
🗣️
Domain-Specific Languages
FreeBSD
Errata
Notice FreeBSD-EN-26:
04.arm64
bsdsec.net
·
20h
🐡
OpenBSD
Differential
Logic
• 5
inquiryintoinquiry.com
·
1d
⚔️
Lean Theorem
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
3d
·
Discuss:
DEV
🔗
Concatenative Programming
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
1d
·
Discuss:
Hacker News
💧
Liquid Types
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
1d
λ
Lambda Encodings
miniKanren.org
minikanren.org
·
2d
·
Discuss:
Lobsters
🦀
Rust Macros
Deploying
Rust to production
checklist
kerkour.com
·
9h
·
Discuss:
Hacker News
🦀
Rust Borrowing
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
1d
🌐
WASI
Python's Dynamic
Typing
Problem
whileforloop.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🎯
Gradual Typing
Deferred
member
initialization
in C++
sandordargo.com
·
16h
·
Discuss:
Lobsters
🦀
Rust Borrowing
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