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
➡️ Category Theory
Functors, Monads, Mathematical Structures, Abstract Algebra
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9827
posts in
335.4
ms
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
1d
🌲
CTL
A vector logic for
intensional
formal
semantics
arxiv.org
·
2d
🔁
Fixed-Point Theory
Mahdi
Shamlou
| Solving LeetCode #7: Reverse Integer — My Math-Based Reversal with Overflow Safety
dev.to
·
6d
·
Discuss:
DEV
🎯
GADT
Learning from
Scratch
dev.to
·
4d
·
Discuss:
DEV
📚
Automata Learning
Man who
videotaped
himself BASE jumping in
Yosemite
arrested, federal officials say. He says it was AI
latimes.com
·
9h
·
Discuss:
Hacker News
🏔️
climbing
Hidden Cameras in Chinese Hotels Are
Livestreaming
Guests
To Thousands of Telegram Subscribers
yro.slashdot.org
·
9h
🛡️
Privacy Engineering
Keep
DRM
out of the public
airwaves
blog.velocifyer.com
·
9h
·
Discuss:
Hacker News
🍎
Apple
Humans.md
rockoder.com
·
9h
·
Discuss:
Hacker News
🔲
Cellular Automata
Show HN: The
Librarian
creates artifacts while a model
finishes
its work
librarian.fieldtheory.dev
·
8h
·
Discuss:
Hacker News
🎮
Verification Games
The User Story cargo cult: How we turned
empathy
into
bureaucracy
leadinginproduct.com
·
9h
·
Discuss:
Hacker News
🌐
ActivityPub
Three Years of
Predicting
Football with LLMs
bits.logic.inc
·
9h
·
Discuss:
Hacker News
🎮
Verification Games
No Mac mini nor coding needed, Cloudflare
OpenClaw
Wrapper
moltworker-cloud.pages.dev
·
9h
·
Discuss:
Hacker News
💻
Apple Virtualization
The
Masked
Namespace
Vulnerability in Temporal CVE-2025-14986
depthfirst.com
·
8h
·
Discuss:
Hacker News
🛡️
seL4
Apple Plans to Allow Outside
Voice-Controlled
AI Chatbots in
CarPlay
bloomberg.com
·
9h
·
Discuss:
Hacker News
🍎
Apple
The Agentic
Inversion
Principle
mikebrevoort.com
·
8h
·
Discuss:
Hacker News
🔲
Cellular Automata
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
6h
🐫
Embedded OCaml
AI Search Engine
Rank
Monitoring
Tools
open.forem.com
·
8h
·
Discuss:
DEV
🍎
Apple
Driving
Sim
Handbrake
Based on Load Cell
hackaday.com
·
7h
🔄
Finite State Machines
Telly
’s Plan For ‘Free’ Ad-Based TV Revolution
Runs
Into Quality Control Problems
techdirt.com
·
8h
🍎
Apple
ML-LIB
: Machine Learning Library Proposed For The Linux Kernel
phoronix.com
·
9h
·
Discuss:
Hacker News
📦
Module Systems
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