Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
π Formal Semantics
Logic, Model Theory, Compositional Meaning, Type Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8941
posts in
23.5
ms
Learning
JavaScript
, Day 5
Β
β
Productivity
blog.katemonkey.com
Β·
2d
The
monstrous
number
sequences
that break the rules of mathematics
Β
π¬
Philosophy of Language
newscientist.com
Β·
6d
Β·
Hacker News
"Rat Run"
Sudoku
Series by Marty
Sears
Β
π¬
Philosophy of Language
logic-masters.de
Β·
17h
Β·
Hacker News
DARS
: Dynamic Artificial Room Structures β minimal operator-based
artifact
(DOI)
Β
π
Terminals
zenodo.org
Β·
1h
Β·
Hacker News
Great Paper: The Calculated
Typer
β Iowa Type Theory Commute Podcast
S7
E6
Β
π¬
Philosophy of Language
pocketcasts.com
Β·
2d
Β·
Hacker News
Falk
&
Tsoukalas
(2026) show that even with perfect foresight, rational firms automate themselves into a demand crisis. Each firm gains; all firms lose. Tha...
Β
π²
Bayesian Cognition
threadreaderapp.com
Β·
1h
From Skills to Talent:
Organising
Heterogeneous
Agents as a Real-World Company
Β
π¨
Computational Creativity
arxiv.org
Β·
3d
Β·
Hacker News
PocketOS
AI
Fiasco
β Lesson in Automation Access
Β
π§
Workflow Automation
onlytech.boo
Β·
20h
Β·
Hacker News
Ask HN: Exploring spaces without
traversal
or feedback (500KB
prototype
)
Β
π
Bookmarking
news.ycombinator.com
Β·
1d
Β·
Hacker News
Telnyx
now offers
WhatsApp
Business Calling
Β
π¬
Newsletter Curation
telnyx.com
Β·
6h
Β·
Hacker News
Peter
Vogel
's personal
Fairlight
picture gallery
Β
π΅
Audio models
anerd.com
Β·
2d
Β·
Hacker News
Local-Run Graph-Based
Scalable
AGI
Β
π§
Workflow Automation
boggersthefish.com
Β·
4d
Β·
Hacker News
Shareholder
primacy
undermined
its own logic
Β
π²
Bayesian Cognition
seeingthesystem.com
Β·
2d
Β·
Hacker News
βThatβs how
floating
point errors and
triangle
numbers solved a mystery.β
Β
π²
Bayesian Cognition
unsung.aresluna.org
Β·
4d
Β·
Hacker News
Relay
0.4.1
Β
π‘
RSS
sub-pop.net
Β·
3d
OpenVPN
2.7 security audit: 18
findings
, one critical bug, and what made the difference
Β
π
Open Web
srlabs.de
Β·
3d
Β·
Hacker News
Criticism
is not
incitement
.
Β
π
Academia
x.com
Β·
3d
Β·
X
A Brain Dump of What I Worked on for Uncharted 4 |
Ming-Lun
"Allen"
Chou
Β
π»
Claude Code
allenchou.net
Β·
4d
Β·
Hacker News
Aihumanbench
Β
π§
Workflow Automation
news.ycombinator.com
Β·
1d
Β·
Hacker News
@
Acyn
It's not a joke, it's
insult
towards France !
Β
π
Link Aggregation
threadreaderapp.com
Β·
15h
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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