Feeds to Scour
SubscribedAll
Scoured 5443 posts in 14.9 ms
Formal Verification: The Ultimate Fitness Function
lesswrong.com·11h
🔍Formal Verification
A Reduction Algorithm for Markovian Contextual Linear Bandits
arxiv.org·3d
⚖️Weighted Automata
Utterly useless yet fun sorting algorithms
github.com·2h·
Discuss: r/programming
⏱️Computational Complexity
A comprehensive database of categories and their properties
catdat.app·9h·
Discuss: Hacker News
➡️Category Theory
Infinitely many primes end in a 7
hidden-phenomena.com·2h·
Discuss: Hacker News
🔗Curry-Howard
Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
arxiv.org·2d
✓Automated Theorem Proving
An alternative derivation of Shannon entropy.
iczelia.net·12h·
Discuss: Hacker News
🧮Lambda Calculus
Data is Code (2016)
haskellforall.com·6h·
Discuss: Lobsters
🧮Lambda Calculus
Latent Reasoning Sprint #2: Token-Based Signals and Linear Probes
lesswrong.com·6h
📚Automata Learning
In search of falsehood – using Opus 4.6 to prove False
tristan.st·15h·
Discuss: Hacker News
📐Hoare Logic
Math in the AI Era
3quarksdaily.com·2d·
Discuss: Hacker News
⏱️Computational Complexity
Less-relevant results
Optimizing Models of Hybrid Quantum/Classical Computation [PDF] (2024)
repositorio-aberto.up.pt·2d·
Discuss: Lobsters
📐Linear Algebra
Study: Consumers Show No Impairment in Their Next-Day Driving Performance Despite Residual THC Blood Levels
norml.org·5h
🔧Microcontrollers
Optimization lessons from a Minecraft structure locator
purplesyringa.moe·1d·
Discuss: Hacker News
🔲Cellular Automata
DIY Reflow Plate Runs On USB Power Delivery
hackaday.com·8h
🖥️KVM
The Talk Show: ‘The Pogue Feature’
daringfireball.net·12h
📺Vintage Apple
Vector, the Journal of the British APL Association
web.archive.org·14h·
Discuss: Hacker News
🧮Lambda Calculus
Apple highlights 13 enhancements coming to iPhone with iOS 26.4
9to5mac.com·16h
🍎Apple
North Korea's 100,000-strong fake IT worker army rake in $500M a year for Kim Jong Un
theregister.com·10h
📦Unikernel Systems
How we optimized Dash's relevance judge with DSPy
dropbox.tech·1d·
Discuss: Hacker News
⏱️Computational Complexity

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
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