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
🔢 Philosophy of Mathematics
Foundations, Intuitionism, Constructivism, Mathematical Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5278
posts in
25.5
ms
Contextual Bohmian Quantum Field Theories: A
Hylomorphic
Approach to
QFT
link.springer.com
·
10h
·
Discuss:
Hacker News
🔍
Type Inference
Contraposition
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
≤
Order Theory
In search of
falsehood
– using
Opus
4.6 to prove False
tristan.st
·
6h
·
Discuss:
Hacker News
📐
Hoare Logic
Less-relevant results
Are
Dependent
Types in Set Theory
Feasible
?
arxiv.org
·
2d
🔠
Type-Level Programming
How to not do decision theory
backwards
lesswrong.com
·
1d
≤
Order Theory
Ask HN: I built a
geometric
reasoning
engine
news.ycombinator.com
·
20h
·
Discuss:
Hacker News
🧩
Separation Logic
Affine
Space
Types
videocortex.io
·
2d
·
Discuss:
Lobsters
🔢
Algebraic Data Types
The Talk Show: ‘The
Pogue
Feature’
daringfireball.net
·
3h
📺
Vintage Apple
FBI
is buying data that can be used to track people,
Patel
says
politico.com
·
4h
👁️
Observability
An Formal
Translational
Layer Connecting All
Faiths
churchofcoherence.org
·
2d
·
Discuss:
Hacker News
🧮
Lambda Calculus
Liquid Glass and long-standing bugs push Apple’s
grades
down in visual
accessibility
report card
9to5mac.com
·
4h
🍎
Apple
The Rise and Fall of Free
Dial
Up Internet
hackaday.com
·
11h
🖥️
Self-hosted Infrastructure
V.O.I.C.E.: A Data-Driven Risk
Taxonomy
for
Synthetic
Voice Generation
usenix.org
·
6h
📚
Automata Learning
Both
sides
of the largest gas field
struck
brief.gizmet.dev
·
4h
·
Discuss:
Hacker News
⎈
Kubernetes
Jony Ive on
Redesigning
the Christie’s
Rostrum
youtube.com
·
4h
📺
Vintage Apple
Researchers found that when patients know exactly what drug they are taking,
psychedelics
perform no better than standard
antidepressants
in tackling depression
technologynetworks.com
·
9h
📵
Digital Minimalism
omachala/diction
: iOS keyboard that transcribes speech to text in any app
github.com
·
9h
·
Discuss:
r/homelab
🍎
Apple
A
Sum
of
Errors
lyonhe.art
·
2d
·
Discuss:
Lobsters
🎯
GADT
How
reactive
streams could be
rewritten
using plain Java APIs
linkedin.com
·
8h
·
Discuss:
r/programming
💎
Refinement Types
Scaling
Btrfs
to
petabytes
in production: a 74% cost reduction story
thenewstack.io
·
13h
🔧
Unikernel Development
Loading...
Loading more...
Page 2 »
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