Feeds to Scour
SubscribedAll
Scoured 19410 posts in 411.0 ms
On Complete Categorical Semantics for Effect Handlers
arxiv.org·11h
✨Effect Handlers
Algebraic Effects for the Rest of Us
overreacted.io·21h
✨Effect Handlers
What are Effect System and Why Do We care?
idiomaticsoft.com·17h
✨Effect Handlers
Logic for Programmers New Release and Next Steps
buttondown.com·2h
⚙️Proof Engineering
How I Program with LLMs
blog.wesleyabbey.io·2h·
Discuss: Hacker News
⚔️Lean Tactics
The path to noncommutative function theory: a research story
noncommutativeanalysis.wordpress.com·1d
💻Programming languages
CAM: A Causality-based Analysis Framework for Multi-Agent Code Generation Systems
arxiv.org·1d
✨Effect Handlers
Engineering Beyond the Control Paradigm
dev.to·18h·
Discuss: DEV
⚙️systems theory
Differential Logic • Overview
inquiryintoinquiry.com·1d
📏Linear Logic
java sucks (2000)
jwz.org·22h·
Discuss: Lobsters
🔗Concatenative Programming
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·1d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Plan–Code–Execute: Designing Agents That Create Their Own Tools
towardsdatascience.com·4h
🔗Constraint Handling
AI agents are about to make access control obsolete
techradar.com
·5h
🔐Capability Systems
The Engineer's Guide to Elastic Detections as Code
elastic.co·16h
✅Archive Validation
Composition of attractor lattices
topos.institute·3d
🔲Cellular Automata
Code smells for AI agents: Q&A with Eno Reyes of Factory
stackoverflow.blog·1h
📏Code Metrics
Clean Coder: The Dark Path (2017)
blog.cleancoder.com·19m·
Discuss: Hacker News
📏Code Metrics
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·21h·
Discuss: Lobsters, Hacker News, r/golang
📝Compiler Design
Programming Language Implementation: In Theory, We Understand. In Practice, We Wish We Would.
stefan-marr.de·2d
🛠Language Design
AI and the Reconfiguration of the Counterintelligence Battlefield
tandfonline.com·5h
🔍Vector Forensics

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