Feeds to Scour
SubscribedAll
Scoured 8538 posts in 353.8 ms
These Apple Wallet features helped me replace my physical wallet [Video]
9to5mac.com·30m
🍎Apple
The history of light
lesswrong.com·34m
🔤Typography
PDF Generation in Quarkus: Practical, Performant, and Native
the-main-thread.com·32m·
Discuss: r/programming
❄️NixOS
Chasing a Zig AVR Segfault Down to LLVM
sourcery.zone·4d·
Discuss: r/Zig
🐫Embedded OCaml
Agentic Coding and the Problem of Oracles
epkconsulting.substack.com·4d·
Discuss: r/programming
📐Hoare Logic
Python and Memory Management, Part 1: Objects
dev.to·4d·
Discuss: DEV
❓Existential Types
Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines
dev.to·4d·
Discuss: DEV
🧠Automated Reasoning
PBLean: Pseudo-Boolean Proof Certificates for Lean 4
arxiv.org·2d
🛡️seL4
A Theory for Probabilistic Polynomial-Time Reasoning
arxiv.org·1d
🧠Automated Reasoning
The Tension Between Technical and Less-Technical People Because of AI
newsletter.eng-leadership.com
·10m·
Discuss: Hacker News
🧠Automated Reasoning
Team develops smart synthetic material inspired by octopus skin
psu.edu·43m·
Discuss: Hacker News
🔲Cellular Automata
[SHORT POST] Things to change if the apocalypse comes
beatingthehydra.substack.com·33m·
Discuss: Substack
⬜Minimalism
Apple patches decade-old iOS zero-day, possibly exploited by commercial spyware
theregister.com·49m·
Discuss: Hacker News
🛡️macOS Security
AI safety leader says 'world is in peril' and quits to study poetry
bbc.co.uk·39m·
Discuss: Hacker News
📵Digital Minimalism
Introducing Markdown for Agents
blog.cloudflare.com·47m·
Discuss: Hacker News
🔤Language Design
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·4d·
Discuss: Hacker News, r/Compilers
🔧ppx
Your AI Strategy Has a Human-Shaped Hole
superiortech.io·39m·
Discuss: Hacker News
🔲Cellular Automata
What Bricks a Nintendo Switch 2?
news.ycombinator.com·37m·
Discuss: Hacker News
🍎Apple
Building a battle tested C compiler in a new language using Codex
moonbitlang.com·6d·
Discuss: Hacker News
⚙️Compiler Design
Jim Roskind on C Ambiguity
pdos.csail.mit.edu·6d·
Discuss: Hacker News
🔀Brzozowski Derivatives

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