Feeds to Scour
SubscribedAll
Scoured 8082 posts in 123.5 ms
A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
arxiv.org·1d
✅Model Checking
Proving What's Possible
buttondown.com·1d
🔍Formal Verification
Bounded Modal Logic
arxiv.org·2d
⏳LTL
How I Built My Project in Haskell
dev.to·5d·
Discuss: DEV
λFunctional Programming
A Conceptual Framework for Exploration Hacking
lesswrong.com·1d
🐫OCaml
Technical "whitepaper" for afl-fuzz
lcamtuf.coredump.cx·1d·
Discuss: Lobsters
🔧Unikernel Development
You get about.... how many words exactly?
lesswrong.com·23h
📵Digital Minimalism
The calculus tutorial just shipped!
minireference.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Architectural and Mathematical Foundations of Machine Learning: A Rigorous Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io·2d·
Discuss: Hacker News
📐Linear Algebra
Struggling Towards an Algebraic Theory of Music
reasonablypolymorphic.com·3d·
Discuss: Hacker News
➡️Category Theory
Category Theory, AI and Jobs
deadneurons.substack.com·3h·
Discuss: Substack
➡️Category Theory
Sheaves Ready To Play A Bigger Role In Linux 7.0
phoronix.com·4h·
Discuss: Hacker News
🏗️Dune
The Redundancy Paradox
mihirdeshpande.com·1d·
Discuss: Hacker News
👁️System Observability
Scripting on the JVM with Java, Scala, and Kotlin
mill-build.org·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
BalatroBench Benchmarks Large Language Models Playing Balatro
balatrobench.com·6h·
Discuss: Hacker News
🐫OCaml
An async HTTP server in ~80 lines of modern C++ (coroutines)
vixcpp.com·1d·
Discuss: Hacker News
🌐Network Protocols
Chuck Moore's Wonderful colorForth Programming Language and Operating System
colorforth.github.io·6h·
Discuss: Hacker News
⚙️Compiler Design
AI uncovers solutions to Erdős problems, moving closer to transforming math
scientificamerican.com
·20h·
Discuss: Hacker News
🎯Complexity Classes
Show HN: Bitcoin, GEB, and Bach's fugues share the same structural move
falsework.dev·2d·
Discuss: Hacker News
🧠Automated Reasoning
Lessons from Zig
vinniefalco.com·1d·
Discuss: Hacker News
🐫Embedded OCaml

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