Feeds to Scour
SubscribedAll
Scoured 200514 posts in 32.3 ms
Eliminating reversals from cubical type theories 聽馃搻Category Theory
arxiv.org路4d
TypeScript Cheat Sheet by TMS Outsource 聽馃彮Code Generation
tms-outsource.com路18h路r/typescript
Moving Beyond Type Systems 聽馃彮Code Generation
news.ycombinator.com路2d路Hacker News
RUSTSEC-2026-0146: anchor-lang: `InterfaceAccount` allows account substitution between unexpected types 聽馃ザCold Start Problem
rustsec.org路1h
Note on the Individuation of Biological Traits 聽馃挰Philosophy of Language
philsci-archive.pitt.edu路1d
A shallow dive into formal verification 聽馃Consensus Protocols
vitalik.eth.limo路13h路Hacker News, Hacker News
Show HN: Formal Verification with Lean 聽馃搻Category Theory
daniellowengrub.com路6d路Hacker News, Hacker News
Python Built-in Functions: A Complete Guide 聽馃敘NumPy
realpython.com路16h
Proof-reading, with a bit of help from LLMs 聽馃LLM Reasoning
logicmatters.net路1d
Vitalik Buterin says AI-assisted "formal verification" could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws ... 聽馃AI Ethics
techmeme.com路5h
K脥NAI NYELV虐 H脥REK : M1 : May 18, 2026 11:30pm-11:36pm CEST : Free Borrow & Streaming 聽馃敘Kolmogorov Complexity
archive.org路9h
The Lobster Programming Language 聽馃彮Code Generation
strlen.com路5d
.pyi vs beartype vs typeguard: 43% Runtime Overhead 聽馃ザCold Start Problem
tildalice.io路2d
Noisy information about the environment: A source of individual differences within and across generations 聽馃Information Foraging
biorxiv.org路23h
RedToasty/llama.cpp_qts: Fixing --split-mode tensor, with different KV cache quantization types. 聽馃Local LLMs
github.com路1d路r/LocalLLaMA
Categorical Programming Language Tutorial 聽馃搻Category Theory
msakai.github.io路5d路Lobsters
Scientists think they鈥檝e cracked the mystery of human right-handedness 聽馃攧Systems Thinking
sciencedaily.com路22h
You can put a Softmax in front of CrossEntropyLoss. PyTorch won鈥檛 stop you. Here are 16 other architecture bugs it won鈥檛 catch. 聽馃Local LLMs
gaox.substack.com路1d路Substack
ATA Learning: Protect Sensitive Data with Microsoft Purview DLP Policies 聽馃捇Technology Policy
adamtheautomator.com路16h
Why Category Theory Matters 聽馃搻Category Theory
rs.io路5d

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help