Feeds to Scour
SubscribedAll
Scoured 8723 posts in 236.4 ms
Proof-oriented Programming in F*
fstar-lang.org·1h·
Discuss: Lobsters
🔗Curry-Howard
NUASM — Neuro‑Universal‑ASM: The World's First Native Multi‑Language Assembler
dev.to·4d·
Discuss: DEV
⚙️Compiler Design
Cruel AI Marketing: Why the Latest HX 370 is Still No Match for a 5-Year-Old 2060 Super
dev.to·6d·
Discuss: DEV
💻QEMU
The Quantumly Fast and the Classically Forrious
arxiv.org·2d
⏱️Computational Complexity
Equilibria: Fair Multi-Tenant CXL Memory Tiering At Scale
arxiv.org·2d
⚙️Operating System Design
7 Things The Simpsons Got Wrong About Nuclear
energy.gov·2h·
Discuss: Hacker News
🩹Self-Healing Systems
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·2h·
Discuss: Hacker News
🕸️Graph Theory
Why is everyone talking about Section 230?
whatissection230.org·2h·
Discuss: Hacker News
🛡️macOS Security
Merge JPG Files Online Free - Combine JPG
pngtostl.xyz·2h·
Discuss: Hacker News
🔤Kleene Algebra
The Best Conversations Happen in Cars
oedmethod.substack.com·1h·
Discuss: Substack
🎮Verification Games
Transform your look with the power of AI
tryaibeauty.com·2h·
Discuss: Hacker News
🔲Cellular Automata
A local-first, WYSIWYG envelope printer for the browser
toenvelope.com·1h·
Discuss: Hacker News
🔤Typography
Show HN: OctoStore = Leader election as a service (single binary, self-hostable)
octostore.io·2h·
Discuss: Hacker News
❄️NixOS
GLM-5 | Zhipu AI's Next-Generation Large Language Model
glm5.net·1h·
Discuss: Hacker News
🐫OCaml
Memsearch,an agent memory with md as source of truth(inspired by OpenClaw)
zilliztech.github.io·2h·
Discuss: Hacker News
🔧Unikernel Development
OSS Contributions Welcome
vibesdiy.substack.com·5d·
Discuss: Substack
🔬Unikernels
Dear Agent: Prove it.
rijnard.com·1h·
Discuss: Hacker News
🔍Formal Verification
I used Xcode 26.3 to build an iOS app with my voice in just two days
zdnet.com·5d·
Discuss: Hacker News
🍏Darwin
Skills in OpenAI API
developers.openai.com·1h·
Discuss: Hacker News
💻CLI Tools
Reflections on Using Claude Code
ternarysearch.blogspot.com·1h·
Discuss: Hacker News
🏃Escape Analysis

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