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
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18432
posts in
321.1
ms
Distributed
Knowledge in
Simplicial
Models
arxiv.org
·
16h
🕸️
Network Topology
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
16h
🔮
Proof Search
CAP-SRP
: Building a Cryptographic Flight Recorder for AI Content
Refusals
— A Complete Implementation Guide
dev.to
·
2d
·
Discuss:
DEV
🌳
Archive Merkle Trees
ChatGPT vs.
Logic
: Why AI Code is
Slower
dev.to
·
3d
·
Discuss:
DEV
🌊
Streaming Algorithms
akki2825/computational-morphology-lit
: A curated collection of papers on computational
morphology
.
github.com
·
1d
·
Discuss:
Hacker News
🔤
Morphological Analysis
aweussom/HowToShootYourselfInTheFoot
: How to shoot yourself in the foot - using: Operating Systems, Programming Languages etc.
github.com
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
Winter Olympics Photo of the Day: A
Midair
Celebration
theatlantic.com
·
52m
🌈
Color Science
Trump
FCC
investigates The View, reportedly says "fake news" will be
punished
arstechnica.com
·
48m
📡
Feed Security
Sundance
2026: Last
Dance
filmcomment.com
·
22m
📦
Digital Cinema Package
How long will the ISS
operate
with a
skeleton
crew? SpaceX’s Crew-12 astronaut mission delayed to Feb. 12
space.com
·
16m
🧊
Arctic Storage
A quick
stretch
switches this
polymer
's capacity to transport heat
phys.org
·
38m
⚙️
Cassette Mechanics
This Stunning
Hubble
Image Is Playing
Tricks
on Your Eyes
scitechdaily.com
·
40m
🔬
Optical Physics
Domain
Security Report: Are Global 2000 Companies Doing
Enough
on
Domain
Security?
circleid.com
·
29m
🌐
DNS Security
Massive
leak
details Intel's 900-series Nova Lake
chipset
techspot.com
·
50m
🖥️
Hardware Architecture
What
neurodivergence
can teach us about the different ways of
experiencing
joy
the-independent.com
·
31m
🎵
Music Universality
Your child's online safety is not my
fucking
problem
theworksofegan.net
·
41m
🛡
Cybersecurity
Rethinking
TXT
Files
dataabinitio.com
·
50m
✅
Format Validation
AI
chatbots
are no better at medical advice than a search engine
theregister.com
·
18m
🎙️
Whisper
What to Know About
Measles
as Cases Rise:
Symptoms
, Vaccine and More
nytimes.com
·
44m
📡
Feed Security
Read the letter an Anthropic AI safety leader used to announce his
departure
: 'The world is in
peril
'
businessinsider.com
·
36m
⚖️
Lossy Compression Ethics
Loading...
Loading more...
« Page 13
•
Page 15 »
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