Feeds to Scour
SubscribedAll
Scoured 13754 posts in 1.69 s
Reversible Computation as a software construction paradigm
news.ycombinator.com·7h·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post
Automated Theorem Proving for Prolog Verification
arxiv.org·3d
🧮Theorem Proving
Preview
Report Post
Halting Problem
en.wikipedia.org·17h·
Discuss: Hacker News
🔍Type Inference
Preview
Report Post
Investigating Record-Based Domain Models
coding-mischief.com·2h·
Discuss: Hacker News
🔢Denotational Semantics
Preview
Report Post
A Unique Performance Optimization for a 3D Geometry Language
cprimozic.net·11h·
Discuss: Lobsters, Hacker News
⬆️Lambda Lifting
Preview
Report Post
**8 Python Concurrency Techniques That Transform Slow Code Into High-Performance Applications**
dev.to·17h·
Discuss: DEV
🌊Stream Processing
Preview
Report Post
Developers are Solving The Wrong Problem
caseysoftware.com·1d
📏Code Metrics
Preview
Report Post
Program Reduction: A Win for Recursion Schemes
newartisans.com·5d
🔗Functional Compilers
Preview
Report Post
BASIC Programming With No Strings Attached
hackaday.com·1d
🔗Concatenative Programming
Preview
Report Post
Khorikov Unit Testing Guide
binaryphile.com·3d
🧪Property-Based Testing
Preview
Report Post
An Interface Is a Set of Functions
codestyleandtaste.com·1d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Preview
Report Post
Exploring the Type System
gibbok.github.io·4h
🔤Type Theory
Preview
Report Post
Will LLMs Help or Hurt New Programming Languages?
blog.flix.dev·1h·
Discuss: Hacker News
✨Effect Handlers
Preview
Report Post
Designing a Design Contract for AI
askcodi.substack.com·55m·
Discuss: Substack
⚡SMT Integration
Preview
Report Post
Functional Optics for Modern Java
blog.scottlogic.com·2d
⟷Bidirectional Programming
Preview
Report Post
Chronology as a Consistency Invariant in Composable Information Systems
arxiv.org·3d
🔄Lens Laws
Preview
Report Post
Limited Math: Aligning Mathematical Semantics with Finite Computation
arxiv.org·2d
λLambda Encodings
Preview
Report Post
optimizations
goperf.dev·4d
🧮Compute Optimization
Preview
Report Post
Subagents, Commands and Skills Are Converging
vivekhaldar.com·9h·
Discuss: Hacker News
🔐Capability Systems
Preview
Report Post
Introduction to Formal Methods – Part 1
vikramsg.github.io·5d·
Discuss: Hacker News
✅Formal Methods
Preview
Report Post

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