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
🔀 Galois Connections
Order Theory, Adjunctions, Abstract Interpretation, Soundness
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8453
posts in
87.9
ms
HackerOS
is what a Linux
enthusiast
’s OS should be
thenewstack.io
·
1h
🔬
Unikernels
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
2d
📝
Term Rewriting
Simple
generators
of
rational
function fields
arxiv.org
·
2d
🔀
Brzozowski Derivatives
These
rumored
iPhone 18 Pro features might
tempt
you to upgrade later this year
9to5mac.com
·
1h
🍎
Apple
OK, what's the difference between
coherence
and representation
theorems
?
lesswrong.com
·
4d
🔢
Philosophy of Mathematics
A multi-level
postmortem
of how our whole house got badly
poisoned
lesswrong.com
·
1h
🩹
Self-Healing Systems
Django-CKEditor
Deprecation
(2024)
406.ch
·
1h
·
Discuss:
Hacker News
📦
Opam
My git-worktree workflow ft.
worktrunk
,
caddy
blog.divyendusingh.com
·
1h
·
Discuss:
Hacker News
💻
CLI Tools
French
railway
operator tests solar on train
tracks
pv-magazine.com
·
1h
·
Discuss:
Hacker News
🛡️
Privacy Engineering
A Review of M
Disc
Archival
Capability. With long term testing results
microscopy-uk.org.uk
·
1h
·
Discuss:
Hacker News
🖥️
KVM
She didn't expect to fall in love with a
chatbot
– and then have to say
goodbye
bbc.co.uk
·
1h
·
Discuss:
Hacker News
🔤
Kleene Algebra
The Right to
Understand
the Systems That
Govern
You
osamaalghanmi.substack.com
·
1h
·
Discuss:
Substack
🖥️
Self-hosted Infrastructure
Show HN: I built a concurrent
BitTorrent
engine in Go to master
P2P
protocols
news.ycombinator.com
·
1h
·
Discuss:
Hacker News
📡
Network Protocol Design
Talking Again with
Jon
Gruber
paulkrugman.substack.com
·
1h
·
Discuss:
Substack
📵
Digital Minimalism
Vim
9.2 Released
vim.org
·
1h
·
Discuss:
Lobsters
,
Hacker News
📺
Vintage Apple
I
analyzed
how AI
changed
software shipping speed
datachaser.com
·
54m
·
Discuss:
Hacker News
👁️
System Observability
Pillars
of AI-Native
Agencies
: Sales, Marketing and Back-Office
ai-native-agency.com
·
1h
·
Discuss:
Hacker News
📝
Term Rewriting
Show HN: We built AI to help bidding teams – mentioned by
Kunal
Bahl
on ET Now
contravault.com
·
1h
·
Discuss:
Hacker News
🧠
Automated Reasoning
I updated the
README
and my Benchmarks
Regressed
codspeed.io
·
1h
·
Discuss:
Hacker News
🏃
Escape Analysis
My smart sleep mask broadcasts users'
brainwaves
to an open
MQTT
broker
aimilios.bearblog.dev
·
1h
·
Discuss:
Hacker News
🌐
Network Protocols
Sign up or log in to see more results
Sign Up
Login
« Page 2
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