Feeds to Scour
SubscribedAll
Scoured 4074 posts in 184.1 ms
Proof-oriented Programming in F*
fstar-lang.org·16h·
Discuss: Lobsters
📐Formal Methods
Everyone Wants DeFi Yield. Almost Nobody Understands the Machine Making It
hackernoon.com·14h
💹Rust Finance
“Brainrot” and the Attention Economy Are Changing Time Gating in Free-to-Play Games
hackernoon.com·15h
🛡️Odin
7 Things The Simpsons Got Wrong About Nuclear
energy.gov·17h·
Discuss: Hacker News
📏Linear Types
Terms of Service
felix.dognebula.com·18h·
Discuss: Hacker News
📏Linear Types
Merge JPG Files Online Free - Combine JPG
pngtostl.xyz·17h·
Discuss: Hacker News
📊Apache Parquet
Looking at the world horizontally and vertically, what's the big difference? ——Interview with Hao Xiaoguang, the compiler of the vertical world map
blog.geogarage.com·17h·
Discuss: Hacker News
💻Programming languages
Merz calls on Germans to work more — and draws a withering backlash
politico.eu·17h·
Discuss: Hacker News
🔮Forecasting Models
Benchmarking 8 remote browser providers with 250 concurrent AI agents
research.aimultiple.com·18h·
Discuss: Hacker News
🌊Stream Processing
Here's why America’s most historic launch pad is getting yet another facelift
arstechnica.com·18h·
Discuss: Hacker News, r/space
🛠️Developer Experience
Tool Shaped Objects
minutes.substack.com·18h·
Discuss: Substack
🛠️Developer Experience
Transform your look with the power of AI
tryaibeauty.com·17h·
Discuss: Hacker News
⚡SIMD Optimization
Explain Your Rules
blog.sebastiansastre.co·17h·
Discuss: Hacker News
📐Architecture Diagrams
The Best Conversations Happen in Cars
oedmethod.substack.com·16h·
Discuss: Substack
👔Engineering Management
A local-first, WYSIWYG envelope printer for the browser
toenvelope.com·16h·
Discuss: Hacker News
💻Programming languages
Shell and Skills and Compaction: Tips for long-running agents that do real work
developers.openai.com·17h·
Discuss: Hacker News
🔀CQRS
Testing can be fun, actually
giacomocavalieri.me·6d·
Discuss: Lobsters, Hacker News
🔄Async Rust
Why is everyone talking about Section 230?
whatissection230.org·17h·
Discuss: Hacker News
📏Linear Types
Stela C
johncarlosbaez.wordpress.com·16h·
Discuss: Hacker News
🎲Bayesian Methods
I am happier writing code by hand
abhinavomprakash.com·5d·
Discuss: Lobsters, Hacker News
🛡️Odin

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