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 theory
types, dependent types, linear types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
4175
posts in
53.5
ms
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
路
18h
路
Discuss:
Hacker News
,
r/compsci
馃
llms
The
prehistory
of generative grammar and聽
Chomsky
鈥檚 debt to Emil Post
benjamins.com
路
1d
路
Discuss:
Hacker News
馃
llms
fltk-rs/flemish
: An
elmish
architecture for
fltk-rs
github.com
路
11h
路
Discuss:
Lobsters
,
Hacker News
馃
llms
Informational
Inequivalence
of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law
zenodo.org
路
18h
路
Discuss:
Hacker News
馃
llms
Verizon
makes customers wait 35 days to
unlock
fully paid-off phones
arstechnica.com
路
53m
馃
llms
Announcing
TypeScript
6.0 Beta
devblogs.microsoft.com
路
2d
路
Discuss:
Hacker News
,
r/javascript
,
r/programming
,
r/typescript
馃
llms
Apple says 74% of iPhones
launched
in the last four years and 66% of all iPhones are running iOS 26; 68% of iPhones were running iOS 18 as of
Jan
. 21, 2025 (Joe...
techmeme.com
路
2h
馃
llms
keplertech/kepler-formal
:
LEC
- Logic Equivalence Checking - Formal Verification
github.com
路
11h
路
Discuss:
Hacker News
馃
llms
Ring cancels
Flock
deal after
dystopian
Super Bowl ad prompts mass outrage
arstechnica.com
路
1h
馃
llms
Building an Embedding API with Rust, Arm, and
EmbeddingGemma
on AWS
Lambda
sobolev.substack.com
路
12h
路
Discuss:
Substack
馃
llms
Blockchain-based lending company Figure confirms a data breach;
ShinyHunters
hacking group published 2.5GB of data, saying Figure refused to pay a ransom (
Loren
...
techmeme.com
路
1h
馃
llms
The
Timeless
Way of
Programming
(2022)
tomasp.net
路
1d
路
Discuss:
Lobsters
,
Hacker News
馃
llms
Mathematicians
disagree
on the essential structure of the complex numbers
infinitelymore.xyz
路
3d
路
Discuss:
Hacker News
馃
llms
The
Quiet
World (1998)
poetryfoundation.org
路
2h
路
Discuss:
Hacker News
馃
llms
The New Way to
Predict
Your Risk of a
Heart
Attack
time.com
路
1h
路
Discuss:
Hacker News
馃
llms
A Climate
Supercomputer
Is Getting New
Bosses
. It鈥檚 Not Clear Who.
nytimes.com
路
2h
路
Discuss:
Hacker News
馃
llms
Make your website
discoverable
by AI agents
inlay.dev
路
2h
路
Discuss:
Hacker News
馃
llms
OCV
鈥檚 new source available license is a simple alternative to closed-source
licenses
opencoreventures.com
路
2h
路
Discuss:
Hacker News
馃
llms
Don't
interrupt
everyone
noathere.org
路
2h
路
Discuss:
Hacker News
馃
llms
Resurrected
nitrogenases
recapitulate
N-isotope biosignatures over 2B years
pmc.ncbi.nlm.nih.gov
路
2h
路
Discuss:
Hacker News
馃
llms
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