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
🔗 Network Calculi
Pi Calculus, Mobile Processes, Concurrent Theory, Process Algebra
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23867
posts in
921.5
ms
It’s not possible to get the iOS Clock app to show you the current time’s seconds,
except
by looking at its animated icon, or adding a clock
widg
...
honeypot.net
·
1h
⏱️
SMPTE Timecode
Single-family
residence
sells in San
Jose
for $1.7 million
mercurynews.com
·
1h
💻
Local first
British
supermarket
named UK’s
favourite
for fifth year in a row
the-independent.com
·
1h
📈
Search Quality
Syria's president and 2 top ministers were targets of 5
foiled
assassination
attempts
, UN says
the-independent.com
·
1h
🕵
Intelligence
Karman
Holdings Inc. (
KRMN
) Presents at 47th Annual TD Cowen Aerospace and Defense Conference Transcript
seekingalpha.com
·
1h
📋
PREMIS Events
Allspring
Emerging Markets Equity Fund Q4 2025 Commentary (
EMGNX
)
seekingalpha.com
·
1h
📰
Feed Readers
Exactly
Computing
do-Shapley
Values
arxiv.org
·
1d
🌊
Streaming Algorithms
Network function
computation
with
vector
linear target function and security function
arxiv.org
·
1d
🌊
Stream Ciphers
Megawatt-Class
High-Altitude Wind Power System Jointly Developed by Tsinghua
EEA
Successfully Completed Maiden Flight in Xinjiang-Department of Electrical Engineering Tsinghua University
eea.tsinghua.edu.cn
·
1h
·
Discuss:
Hacker News
🏴
Scottish Computing
AI Can
Flawlessly
Generate Will Smith Eating
Spaghetti
—What Now?
forbes.com
·
1h
·
Discuss:
Hacker News
🤖
AI Curation
X's new pure black dark mode hurts
readability
compared to the old
dim
theme
news.ycombinator.com
·
1h
·
Discuss:
Hacker News
🖋
Typography
Ask HN: Does
OpenClaw
need a re-architecture to be
usable
?
news.ycombinator.com
·
1h
·
Discuss:
Hacker News
🔌
Interface Evolution
Mathematical Resolution of P vs NP through
Informational
Noise
Subtraction
and Linear O(n) Mapping
zenodo.org
·
4d
·
Discuss:
Hacker News
🎯
Performance Proofs
ericblue/claude-vibekanban
: PRD-to-Tasks Workflow for Claude Code +
VibeKanban
github.com
·
3d
·
Discuss:
Hacker News
🔄
Sync Engine
Togelius
:
Math
and me
togelius.blogspot.com
·
2d
·
Discuss:
Hacker News
📐
Mathematical Art
eBPF
Gives You
Packets
. Here's How We Turn Them Into Security Insights
akashmandal001.substack.com
·
2d
·
Discuss:
Substack
🛡️
eBPF Security
Computing large
Fibonacci
numbers
johndcook.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
📐
Interval Arithmetic
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
6d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
Eshaancoding/ad
:
Autodiff
created in Python. Full ahead-of-time compiler. Reduces to ~12 simple operations. Multiple IRs (Graph IR --> Procedural IR). Kernel Fusion, Memory/Computation Optimization
github.com
·
2d
·
Discuss:
Hacker News
🚀
SIMD Text Processing
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
5d
·
Discuss:
Hacker News
💻
Programming languages
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