Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚡ Algebraic Effects
Control Flow, Handler Systems, Effect Polymorphism, Koka
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
122656
posts in
1.27
s
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
·
3h
⚡
Partial Evaluation
Functional
Optics
for Modern Java
blog.scottlogic.com
·
15h
✨
Gleam
Java
Inheritance
dev.to
·
3h
·
Discuss:
DEV
🔗
Graph Rewriting
Task 17:
Implement
property-based
invariant
tests · Issue #30
github.com
·
3h
🎲
Property Testing
Deep C
Dives
:
Undefined
Behavior
i-programmer.info
·
1d
📚
Stack Allocation
Polycontrolled
PROPs for Qudit Circuits: A Uniform Complete
Equational
Theory For Arbitrary Finite Dimension
arxiv.org
·
1d
⚡
Control Synthesis
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
13h
·
Discuss:
Hacker News
🔮
Clojure
Go -
Unit
&
Integration
Testing
linkedin.com
·
18h
·
Discuss:
r/programming
🧪
Zig Testing
12
OOP
Concepts
EVERY Developer Should Know
blog.algomaster.io
·
11h
🔧
API Design
Proof-oriented
Programming in F*
fstar-lang.org
·
11h
·
Discuss:
Lobsters
⚡
functional programming
Reactive
state management with
JavaScript
Signals
infoworld.com
·
6h
🌊
Reactive Languages
Omni-Safety
under
Cross-Modality
Conflict: Vulnerabilities, Dynamics Mechanisms and Efficient Alignment
arxiv.org
·
10h
🏰
Capability Machines
AI Code’s Logic Can Now Be
Checked
From Within,
Bypassing
External Tests
quantumzeitgeist.com
·
1d
🎭
Program Synthesis
EduC
++
Documentation
educplusplus.com
·
2h
·
Discuss:
r/cpp
🎓
Teaching Compilers
Claude Code
Tutorial
#3 - Context
youtube.com
·
42m
💬
Interactive REPLs
Explain
Your Rules
blog.sebastiansastre.co
·
12h
·
Discuss:
Hacker News
💫
Effect Systems
Mastering
AppSync
:
Unions
and Interfaces
dev.to
·
2h
·
Discuss:
DEV
🔧
API Design
D
Programming
Language
dlang.org
·
10h
·
Discuss:
Hacker News
∫
Mathematical DSLs
Embedded
Agency
(full-text version)
lesswrong.com
·
1d
🎨
Domain-Specific Languages
Generics
docs.modular.com
·
1d
🔗
Go Generics
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help