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
📐 Language Theory
Type Systems, Formal Methods, Lambda Calculus, Category Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
7436
posts in
9.0
ms
A Foundation for
Differentiable
Logics
using Dependent Type Theory
arxiv.org
·
1d
⚙️
Compilers
Lil' Fun
Langs
'
Guts
taylor.town
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🧩
programming
G\"odel-McKinsey-Tarski and (not quite)
Blok-Esakia
for
Heyting-Lewis
Implication
arxiv.org
·
1d
🧩
programming
Vibecoding
Challenge 2: The Five
Feathers
(Spring 2026)
gist.github.com
·
18h
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compilers
The
185-Microsecond
Type
Hint
blog.sturdystatistics.com
·
12h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
Compilers
Reconstructing
OPL
: Joseph
Weizenbaum
's Online Programming Language
timereshared.com
·
2d
·
Discuss:
Hacker News
🧩
programming
I Built a
Scheme
Compiler
with AI in 4 Days
matthewphillips.info
·
1d
·
Discuss:
Hacker News
🧩
programming
Show HN:
Sabela
– A
Reactive
Notebook for Haskell
datahaskell.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧩
programming
Israeli Forces Advance in Lebanon and Seize Land, as
Hezbollah
’s Fight
Escalates
nytimes.com
·
29m
🔱
plan 9
US fighter jet
accidentally
shot down by
Kuwait
, says US military
france24.com
·
35m
🔱
plan 9
North Little Rock man
sentenced
to 16 years for selling
fentanyl
arkansasonline.com
·
41m
🔱
plan 9
‘Peak
Greggs
’?
Bakery
chain’s profits slump and sales slow
theguardian.com
·
47m
📡
RSS
Video: Top
Democrat
says there was no
imminent
threat to the US from Iran
aljazeera.com
·
1h
🔱
plan 9
sharon van
overmeiren
carves monolithic ceramic bathtubs for studio
LOHO
designboom.com
·
2h
🔱
plan 9
Middle Eastern airlines start to fly
stranded
passengers
out of Gulf
ft.com
·
1h
🔱
plan 9
How to change the
Duolingo
app
icon
jamesg.blog
·
1h
🖥️
operating systems
EDITORIAL
: Election Day
endorsement
roundup
arkansasonline.com
·
43m
📡
RSS
I'm struggling to think for which online services I'd be
willing
to
verify
my identity or age
neilzone.co.uk
·
1h
🖥️
operating systems
Councils
’ temporary housing costs to more than double by 2029-30, says
LGA
theguardian.com
·
1h
🔱
plan 9
Dave
's book review for The Art of Doing Science and Engineering
ratfactor.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
🌐
Network Protocols
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