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
🔓 Reverse engineering
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23293
posts in
641.0
ms
IEEVis
submission
template
notes.billmill.org
·
2d
🖋
Typography
Python: introducing
icu4py
,
bindings
to the Unicode ICU library
adamj.eu
·
2d
🔗
Concatenative Programming
Free software
activity
in January 2026
chiark.greenend.org.uk
·
2d
❄️
Nix Flakes
Hacks
-
FF6
- Brave New World
romhacking.net
·
3d
📼
Cassette Hacking
CodeSOD
:
Invalid
Passport
thedailywtf.com
·
2d
✅
Checksum Validation
Cloning
a
90s
DOS Game with AI
dev.to
·
3d
·
Discuss:
DEV
🎮
Game Decompilation
★ Claude Code: /
insights
perrotta.dev
·
3d
⚡
Proof Automation
Differential
Logic
• 4
inquiryintoinquiry.com
·
3d
⚔️
Lean Theorem
Yet Another Set of Claude Code
Plugins
(But Maybe
Useful
?)
dev.to
·
3d
·
Discuss:
DEV
⚡
Proof Automation
Just picked up a
R730XD
from ebay after a disastrous 6 hours trying to revive an old device, i'm confident this is the right RAM, but I'm
wondering
if there's a...
i.redd.it
·
3d
·
Discuss:
r/homelab
🔬
Floppy imaging
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
1d
⚔️
Lean Theorem
Constructive
conditional
normalizing
flows
arxiv.org
·
1d
🌊
Streaming Algorithms
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
⚖️
Verification Calculi
Sony
Ericsson
Course
Material
(2012)
systemicsoftwaredebugging.com
·
2d
·
Discuss:
Hacker News
📝
ABNF Parsing
Fast
Properties
in
V8
(2017)
v8.dev
·
3d
·
Discuss:
Hacker News
🌀
Brotli Dictionary
What I
haven
't
figured
out
macwright.com
·
4d
·
Discuss:
Hacker News
🔢
Denotational Semantics
Show HN: Click
symbols
in Claude Code to jump to
definitions
in VS Code
maaash.jp
·
3d
·
Discuss:
Hacker News
🪟
Awesome windows command-line
Learning by
hand
is better than learning by AI
blog.engora.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Recoll
Semantic
Searches
recoll.org
·
2d
·
Discuss:
Hacker News
🔍
Semantic Search
Manufacturing
QMS
Software
samrian.com
·
2d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Loading...
Loading more...
« Page 9
•
Page 11 »
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
