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
19522
posts in
486.9
ms
Metasploit
Wrap-Up
02/06/2026
rapid7.com
·
11h
🛡️
eBPF Security
Issue 742
iosdevweekly.com
·
1d
📡
RSS Automation
Kjetil
's Information Center - CHIP-8 Interpreter using
Curses
kobolt.website
·
1d
🔩
Systems Programming
Untangling
Literate
Programming
quotenil.com
·
5d
🔗
Concatenative Programming
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
1d
·
Discuss:
Hacker News
💻
Programming languages
[$]
Modernizing
swapping
: the end of the swap map
lwn.net
·
1d
🔗
Topological Sorting
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
1d
🦀
Rust Verification
LlamaLib
: A cross-platform C++/C# library for local LLMs based on
llama.cpp
github.com
·
13h
·
Discuss:
Hacker News
💻
Local LLMs
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
1d
·
Discuss:
Hacker News
🎯
Gradual Typing
michaelhelvey/lilfuture
: Educational async runtime for Rust
github.com
·
1d
🦀
Rust Macros
Show HN:
Programming
Language for Music-
Aethra
news.ycombinator.com
·
18h
·
Discuss:
Hacker News
🎼
Computational Musicology
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
21h
·
Discuss:
Substack
⚙️
RISC-V Microcode
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
3d
·
Discuss:
Substack
🦀
Rust Borrowing
[2309.11300] Partial
monoid
actions on objects in categories with pullbacks and their
globalizations
arxiv.org
·
1d
🔀
Category Theory
Things
Unix
can do
atomically
rcrowley.org
·
1d
·
Discuss:
Hacker News
📂
Directory Synchronization
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
📝
Concrete Syntax
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
13h
·
Discuss:
r/golang
🧪
Binary Fuzzing
One Year of Using Go
rugu.dev
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
How
LSP
Works: Building a
Grammar
Checker
LSP
from Scratch in Rust
aroy.sh
·
4d
·
Discuss:
Hacker News
💻
Programming languages
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
14h
🤝
Consensus Protocols
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