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
🧮 Datalog Systems
Soufflé, Bottom-up Evaluation, Graph Queries, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23016
posts in
293.2
ms
I tried chicken sandwiches from McDonald's,
Popeyes
, and
Bojangles
. The best one surprised me.
businessinsider.com
·
12m
⭐
Awesome lists
A 30-year-old dad was
diagnosed
with heart failure after 5
subtle
symptoms. It's a growing problem with younger adults.
businessinsider.com
·
11m
📦
Deflate
I bought, I saw, I
attended
: a quick guide to
staying
scam-free at the Olympics
kaspersky.com
·
2m
📡
Feed Security
Call for
Participation
:
Researching
Accessibility in Archives
archivespublishing.com
·
33m
📚
MARC Records
Apple
Patches
iOS Zero Day
CVE-2026-20700
decipher.sc
·
25m
🔓
Hacking
Viewing Nested Lists with `
xfun
::
tabset
()`
yihui.org
·
4d
🔗
Lisp
I
struggled
with system design until I learned these 114
concepts
newsletter.systemdesign.one
·
5d
💾
Persistence Strategies
Python vs. a Modern BASIC
Interpreter
: When the “
Toy
Language” Actually Wins
dev.to
·
4d
·
Discuss:
DEV
📝
Concrete Syntax
Yet Another Set of Claude Code
Plugins
(But
Maybe
Useful?)
dev.to
·
4d
·
Discuss:
DEV
⚡
Proof Automation
Building a Dynamic
Multilanguage
System Without
Rebuilds
kuldeepmodi.vercel.app
·
4d
·
Discuss:
DEV
🔄
Language Evolution
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
2d
✅
Formal Methods
Computational
Explorations
on
Semifields
arxiv.org
·
1d
🌐
Computational Topology
Deep dive into
Hierarchical
Navigable
Small Worlds
amandeepsp.github.io
·
4d
·
Discuss:
Hacker News
,
r/Zig
,
r/programming
🔶
Voronoi Diagrams
Building the Future with AI That
Acts
devxt.com
·
4d
·
Discuss:
Hacker News
🏠
Homelab Orchestration
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
6d
·
Discuss:
Hacker News
🧬
Functional Programming
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
4d
·
Discuss:
Hacker News
💻
Programming languages
How to set up Claude Code: a context-first approach
dhirajtourani.com
·
4d
·
Discuss:
Hacker News
,
r/programming
⚡
Effectful Programming
CRAFT
:
Continuous
Reasoning and Agentic Feedback Tuning
huggingface.co
·
6d
·
Discuss:
Hacker News
✨
Effect Handlers
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
6d
·
Discuss:
Hacker News
🔗
Functional Compilers
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
6d
·
Discuss:
Hacker News
🐚
Shell Monads
Loading...
Loading more...
« Page 10
•
Page 12 »
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