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
🪜 Scala
functional programming, f#, haskell
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
79952
posts in
641.3
ms
Expectation
and
Copysets
buttondown.com
·
16h
·
Discuss:
Hacker News
🔍
Static Analysis
ByteDance
Seed
seed.bytedance.com
·
1d
🔍
Symbolic Execution
Clojure
’s Persistent Data Structures:
Immutability
Without the Performance Hit
javacodegeeks.com
·
4d
🔄
Concurrency Models
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
2d
·
Discuss:
DEV
🔎
Semantic Analysis
Scheme-JS: A Scheme
Interpreter
with Transparent JavaScript
Interoperability
furious-ideas.blogspot.com
·
1d
🔍
Refinement Types
Vibe
Coding:
Lessons
Learned
michelenasti.com
·
19h
·
Discuss:
Hacker News
🔍
Static Analysis
The
Representational
Geometry
of Number
arxiv.org
·
1d
🔧
PLT
Fun
With
Dada
smallcultfollowing.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
💻
Claude
Grumpy
Julio
plays with CLI coding agents
jmmv.dev
·
18h
·
Discuss:
Lobsters
,
Hacker News
🤖
AI
tzcnt/TooManyCooks
: C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
github.com
·
1d
🔍
Refinement Types
Tip of the Week #176:
Prefer
Return Values to Output
Parameters
abseil.io
·
2d
🔍
Symbolic Execution
I built a “
deterministic
” LLM text
rephraser
with a validation pipeline - looking for architectural feedback
dev.to
·
1d
·
Discuss:
DEV
📐
formal specification
I made a
Wordle
variant
. Is it fun though?
casju0.bearblog.dev
·
1d
🐫
Ocaml
Read The Code (
Sometimes
)
build.ms
·
23h
🔍
Static Analysis
The
Prospero
Challenge
mattkeeter.com
·
20h
🔍
Symbolic Execution
Canzona
: A Unified, Asynchronous, and Load-Balanced Framework for Distributed Matrix-based
Optimizers
arxiv.org
·
1d
🔍
Symbolic Execution
Building a Scalable
URL
Shortener
github.com
·
35m
·
Discuss:
DEV
🔎
Semantic Analysis
Writing a
ledger-cli
Language Server
Protocol
with claude
frdmtoplay.com
·
1d
💻
Claude
Varparser
Reveals How LLM Log
Parsing
Benefits From Variable Data
quantumzeitgeist.com
·
22h
🔎
Semantic Analysis
What I am doing now
artima.com
·
2d
🔧
PLT
Loading...
Loading more...
« Page 6
•
Page 8 »
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