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 Inference
Hindley-Milner, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9136
posts in
126.9
ms
Human-like
metacognitive
skills will reduce LLM
slop
and aid alignment and capabilities
lesswrong.com
·
3h
📚
Automata Learning
Claude's
Constitution
lesswrong.com
·
3h
📐
Hoare Logic
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
1d
🎯
GADT
Computational
Explorations
on
Semifields
arxiv.org
·
1d
🔀
Brzozowski Derivatives
Hard drives,
SSDs
, and flash drives ranked by price per
GB/TB
buyperunit.com
·
3h
·
Discuss:
Hacker News
,
r/InternetIsBeautiful
,
r/hardware
📵
Digital Minimalism
Show HN: I generated a "
stress
test" of 200 rare
defects
from 7 real photos
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
🧪
Property-Based Testing
How do I become a good
writer
?
ritza.co
·
3h
·
Discuss:
Hacker News
🔨
Compilers
Free speech
lawsuits
mount after Charlie Kirk
assassination
text.npr.org
·
3h
·
Discuss:
Hacker News
🍎
Apple
The
Scottish
island that bought
itself
elysian.press
·
3h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
NHS
deal with AI firm
Palantir
called into question after officials’ concerns revealed
theguardian.com
·
3h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
The problem with
blaming
‘
ultra-processed
’ foods for obesity
greyenlightenment.com
·
3h
·
Discuss:
Hacker News
📵
Digital Minimalism
Extractive
Taxation
and the French Revolution
nber.org
·
3h
·
Discuss:
Hacker News
≤
Order Theory
Stop Using
CustomEvent
justinfagnani.com
·
3h
·
Discuss:
Hacker News
🔠
Type-Level Programming
Trump revokes landmark ruling that greenhouse
gases
endanger
public health
bbc.com
·
3h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Amazon gets
FCC
approval to launch 4,500 Leo internet
satellites
cnbc.com
·
3h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
How to
Lie
with Charts | Hands-On Data
Visualization
handsondataviz.org
·
3h
·
Discuss:
Hacker News
📐
Linear Algebra
Welcome to the
Eternal
September of open source. Here's what we plan to do for
maintainers
.
github.blog
·
3h
·
Discuss:
Hacker News
🔧
DevOps
AI and the
Economics
of the Human
Touch
agglomerations.substack.com
·
3h
·
Discuss:
Substack
📵
Digital Minimalism
Defining
Technologies
of Our Time: AI
aspendigital.org
·
3h
·
Discuss:
Hacker News
🧠
Automated Reasoning
15
lessons
learned
building ChatGPT Apps
developers.openai.com
·
3h
·
Discuss:
Hacker News
🌐
Network Protocols
Loading...
Loading more...
« Page 12
•
Page 14 »
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