Feeds to Scour
SubscribedAll
Scoured 5465 posts in 36.9 ms
Revisiting the Expressiveness of Metric Temporal Logic : A tale of "Je t'aime, moi non plus."
arxiv.org·1d
⏳LTL
Data is Code (2016)
haskellforall.com·3h·
Discuss: Lobsters
🧮Lambda Calculus
Reachability Analysis for Design Optimization
arxiv.org·1d
📐Hoare Logic
Formal Verification: The Ultimate Fitness Function
lesswrong.com·8h
🔍Formal Verification
Show HN: Realism – A goal-execution interface that builds live apps from prompts
github.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
🦀 Statum: Zero-Boilerplate Compile-Time State Machines in Rust
reddit.com·1d·
Discuss: r/rust
🏗️Dune
Ask HN: I built a geometric reasoning engine
news.ycombinator.com·1d·
Discuss: Hacker News
🧩Separation Logic
How reactive streams could be rewritten using plain Java APIs
linkedin.com·14h·
Discuss: r/programming
💎Refinement Types
Vector, the Journal of the British APL Association
web.archive.org·11h·
Discuss: Hacker News
🧮Lambda Calculus
Which AI model is best for Laravel?
laravel.com·3h·
Discuss: Hacker News
🧮Lean4
Less-relevant results
From 8086 to Z80: Building a NASM-Inspired SDK for 8-Bit Retro Computing
hackaday.com·1d
💾Retro Computing
<h1>Rob Pike's 5 Rules of Programming</h1>
cs.unc.edu·21h·
Discuss: Lobsters, Hacker News
🧮Lean4
A Practical Exploration of Transactional Map Implementations
github.com·2d·
Discuss: r/programming
⚡Process Calculi
Latent Reasoning Sprint #2: Token-Based Signals and Linear Probes
lesswrong.com·3h
📚Automata Learning
EsoLang-Bench: Evaluating LLMs via Esoteric Programming Languages
esolang-bench.vercel.app·1d·
Discuss: Hacker News
⚙️Compiler Design
The joy of reading the code
pdole.ga·1d·
Discuss: Lobsters
🎯GADT
The Abstraction Ratchet
write.as·1d·
Discuss: Hacker News
🔬Static Analysis
The Talk Show: ‘The Pogue Feature’
daringfireball.net·9h
📺Vintage Apple
Optimizing Models of Hybrid Quantum/Classical Computation [PDF] (2024)
repositorio-aberto.up.pt·2d·
Discuss: Lobsters
📐Linear Algebra
PSA: Spotify investigating outage that’s kicking users off their plans
9to5mac.com·13h
🍎Apple

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