Feeds to Scour
SubscribedAll
Scoured 5433 posts in 14.0 ms

No high-quality results found.

Less-relevant results
From Torsors to Topoi: An Introduction with a View Toward $\Sigma$-Protocols in Cryptography
arxiv.org·1d
🔗Curry-Howard
Vector, the Journal of the British APL Association
web.archive.org·10h·
Discuss: Hacker News
❓Existential Types
Formal Verification: The Ultimate Fitness Function
lesswrong.com·6h
🔍Formal Verification
DIY Reflow Plate Runs On USB Power Delivery
hackaday.com·3h
🖥️KVM
Powell: Job creation is near zero
finance.yahoo.com·6h·
Discuss: Hacker News
🔲Cellular Automata
New randomized, double-blind, placebo-controlled trial suggests CBD (cannabidiol) oil could improve certain social behaviors and lower anxiety in autistic child...
psypost.org·7h
🔠Type-Level Programming
The Talk Show: ‘The Pogue Feature’
daringfireball.net·7h
📺Vintage Apple
watchOS 26.4 fixes a major Apple Watch Workout app complaint
9to5mac.com·9h
🍎Apple
A comprehensive database of categories and their properties
catdat.app·5h·
Discuss: Hacker News
➡️Category Theory
An Exponential Separation between Deterministic CDCL and DPLL Solvers
arxiv.org·1d
🧩SAT Solvers
Nvidia greenboost: transparently extend GPU VRAM using system RAM/NVMe
gitlab.com·6h·
Discuss: Lobsters
💻QEMU
North Korea's 100,000-strong fake IT worker army rake in $500M a year for Kim Jong Un
theregister.com·6h
📦Unikernel Systems
The greatest joy in app development comes before launch
insidestack.it·5h·
Discuss: r/programming
🔧DevOps
open-compress/claw-compactor: 🦞 LLM Token Compression & Reduction Tool — Cut AI agent token costs by up to 97%. 6-layer deterministic context compression for AI agent workspaces. No LLM required. Prompt compression, context window optimization & cost reduction for any LLM pipeline.
github.com·21h·
Discuss: Hacker News
💎Refinement Types
Mapping the Privacy Workforce in the AI Era
usenix.org·10h
🛡️Privacy Engineering
How to Identify Your Apple Keyboard Layout by Country or Region
support.apple.com·8h
🍎Apple
Austin’s Surge of New Housing Construction Drove Down Rents
pew.org·12h·
Discuss: Hacker News
📚Automata Learning
Affine Space Types
videocortex.io·2d·
Discuss: Lobsters
🔢Algebraic Data Types
The Rise and Fall of Free Dial Up Internet
hackaday.com·15h
🖥️Self-hosted Infrastructure
NYC High School Student Freed After 10 Months in ICE Detention
nytimes.com
·12h·
Discuss: Hacker News
💻CS

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