Feeds to Scour
SubscribedAll
Scoured 19434 posts in 496.5 ms
Logic for Programmers New Release and Next Steps
buttondown.com·5h
⚙️Proof Engineering
A Quick Introduction to OxCaml
noelwelsh.com·7h·
Discuss: Hacker News
💧Liquid Types
Announcing Command Book: A home for long-running terminal commands
commandbookapp.com·46m·
Discuss: Hacker News
🪟Awesome windows command-line
Differential Logic • Overview
inquiryintoinquiry.com·1d
📏Linear Logic
Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
arxiv.org·1d
🧠Program Logic
How I Built an Automated Operational Analytics Pipeline from a Queue Management System
dev.to·19h·
Discuss: DEV
🌊Stream Processing
How I'm writing code in 2026
coryzue.com·1d·
Discuss: Hacker News
⚡Proof Automation
Towards Weak Stratification for Logics of Definitions
arxiv.org·14h
🔢Denotational Semantics
Functional Programming Bits in Python
martynassubonis.substack.com·1d·
Discuss: Substack, r/programming, r/webdev
🔗Functional Compilers
The path to noncommutative function theory: a research story
noncommutativeanalysis.wordpress.com·1d
💻Programming languages
The Mastering Emacs book
masteringemacs.org·2h
🧩Shell Metaprogramming
Staying secure and simple in a complex world
tailscale.com·1d
🔐Capability Systems
How not to program in Dyalog APL
toolofthought.com·8h·
Discuss: Lobsters, Hacker News
✅Format Verification
Programming Language Implementation: In Theory, We Understand. In Practice, We Wish We Would.
stefan-marr.de·2d
🛠Language Design
DaguangZhou/TitanShell: 🦾 Advanced tactical desktop client for OpenClaw — Secure, fast, and beautiful
github.com·11h·
Discuss: Hacker News
🐚Nordic Shell
Stop Torturing Your Data: How to Automate Rigor With AI
hackernoon.com·21h
⚡Proof Automation
Untangling Literate Programming
quotenil.com·2d
🔗Concatenative Programming
My Take on Vibe Coding
cedardb.com·19h
🔗Concatenative Programming
How I Program with LLMs
blog.wesleyabbey.io·5h·
Discuss: Hacker News
⚔️Lean Tactics
Algebraic Effects for the Rest of Us
overreacted.io·23h
✨Algebraic Effects

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