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
Effect Systems, Handlers, Continuation, Delimited Control
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
120792
posts in
1.75
s
remote
locks
and
distributed
locks
tautik.me
·
20h
🦀
Borrow Checker
Proof-oriented
Programming in F*
fstar-lang.org
·
7h
·
Discuss:
Lobsters
🔄
Functional Programming
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
2d
·
Discuss:
r/LocalLLaMA
📊
Incremental Computation
Part 1 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
20h
·
Discuss:
Hacker News
📊
Incremental Computation
A
note
on
parameterized
testing
blog.gnoack.org
·
12h
🦀
Borrow Checker
Structured
Prompting
for LLMs: From Raw Text to
XML
pub.towardsai.net
·
8h
🔧
programming language design
FinovateEurope
2026: From AI
Hype
To Bank‑Ready Execution
forrester.com
·
1h
🧰
software development practices
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
20h
·
Discuss:
Hacker News
📊
Incremental Computation
Discrete-time, discrete-state
multistate
Markov models from the perspective of
algebraic
statistics
arxiv.org
·
1d
🔧
programming language design
Differential
Logic
• 5
inquiryintoinquiry.com
·
2d
🔄
Functional Programming
Show HN: A
header-only
C++ benchmark for predictive models on raw
binary
streams
github.com
·
3h
·
Discuss:
Hacker News
📊
Incremental Computation
Ai’s ‘
steering
’ Made Far More
Precise
With New Fine-Tuning Technique
quantumzeitgeist.com
·
2d
📊
Incremental Computation
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
2d
·
Discuss:
Hacker News
🔄
Functional Programming
D
Programming
Language
dlang.org
·
6h
·
Discuss:
Hacker News
🔧
programming language design
The
Diagnostic
Value of
Perspectival
Gaps
cafebedouin.org
·
1d
📊
Incremental Computation
Can you disable
multithreaded
calculations
for avoidance logic?
forrestthewoods.com
·
1h
·
Discuss:
r/godot
📊
Incremental Computation
Perfect Recall Is a
Trap
: Why AI Needs
Consequences
, Not More Memory
hackernoon.com
·
7h
📊
Incremental Computation
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
13h
·
Discuss:
Hacker News
📊
Incremental Computation
Bringing a
jewel-encrusted
warhammer to a knife fight
reorchestrate.com
·
15h
·
Discuss:
Hacker News
,
r/rust
🔄
Functional Programming
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
4h
🔧
programming language design
Loading...
Loading more...
« Page 2
•
Page 4 »
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