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
⚠️ Error Handling
Result Types, Monads, Exception Safety, Algebraic Effects
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
121192
posts in
2.03
s
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
18h
·
Discuss:
Lobsters
🐪
ocaml
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
2d
🔧
functional programming languages
Large Language Model
Reasoning
Failures
arxiv.org
·
17h
🔧
functional programming languages
I got
bored
and had Claude design and
implement
a programming language
github.com
·
2d
·
Discuss:
Hacker News
💻
programming
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
1d
·
Discuss:
Hacker News
🔧
functional programming languages
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
dev.to
·
16h
·
Discuss:
DEV
🦀
Rust
Proving
What's Possible
buttondown.com
·
16h
📐
Type Theory
Redefining
Go
Functions
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔧
functional programming languages
The
Univalence
Principle
golem.ph.utexas.edu
·
1d
📐
Type Theory
A
note
on
parameterized
testing
blog.gnoack.org
·
11h
🔧
functional programming languages
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
8h
·
Discuss:
Hacker News
🦀
Rust
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
2d
🦀
Rust
Functional
Optics
for Modern Java
blog.scottlogic.com
·
3d
🔧
functional programming languages
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Common
Mistakes
[0]
ilya-sher.org
·
3d
🦀
Rust
Showcase: "act" - A lightweight Go library for
cleaner
error
handling
- my take on the Go error
handling
discussion
reddit.com
·
4d
·
Discuss:
r/golang
🦀
Rust
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
3h
·
Discuss:
Hacker News
🦀
Rust
Go vet can't go: How
PVS-Studio
analyzes
Go projects
dev.to
·
21h
·
Discuss:
DEV
🔧
functional programming languages
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
2d
·
Discuss:
r/LocalLLaMA
💻
programming
AI Code’s Logic Can Now Be
Checked
From Within,
Bypassing
External Tests
quantumzeitgeist.com
·
21h
🦀
Rust
Loading...
Loading more...
« Page 1
•
Page 3 »
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