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
80625
posts in
1.42
s
QuantaAlpha
: An
Evolutionary
Framework for LLM-Driven Alpha Mining
arxiv.org
·
11h
🔧
PLT
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
11h
🔍
Symbolic Execution
CRML: CRML is a
declaritive
language for writing
cyberrisk
as code
producthunt.com
·
1d
🔍
Static Analysis
Impressions on the Book “
Tidy
First? A Personal Exercise in Empirical Software Design” by Kent
Beck
dev.to
·
15h
·
Discuss:
DEV
🔍
Static Analysis
What
Bleeds
Through
futurisold.github.io
·
2d
·
Discuss:
Hacker News
🔎
Semantic Analysis
Forge
Stack: A Full
Ecosystem
for Modern Web Applications
dev.to
·
21h
·
Discuss:
DEV
💻
Claude
ValkDB/postgresparser
: ANTLR-based PostgreSQL query parser for Go. Extracts tables, columns, joins, CTEs, parameters, DDL actions, and full column-usage metadata from SQL into a structured IR.
github.com
·
1d
·
Discuss:
Hacker News
,
r/devops
,
r/golang
🔎
Semantic Analysis
A Neighborhood of Infinity: You Could Have
Invented
Monads
! (And Maybe You Already Have.)
blog.sigfpe.com
·
3d
🔧
PLT
Show HN:
AetherLang
– A
DSL
for building AI workflows with visual debugging
github.com
·
15h
·
Discuss:
Hacker News
📐
formal specification
Home
eventhorizonarchitecture.org
·
1d
🔍
Symbolic Execution
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
2d
·
Discuss:
Hacker News
🔍
Symbolic Execution
I
Write
Games in C (
yes
, C)
jonathanwhiting.com
·
2d
·
Discuss:
Hacker News
🔍
Static Analysis
Four
Godot
+Rust
tricks
blog.lokkij.com
·
2d
🦀
Rust
On
variability
surfingcomplexity.blog
·
2d
🔍
Static Analysis
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
1d
💻
Claude
Why Large Language Models Make Terrible
Compilers
— And Why the Industry Keeps Trying
Anyway
webpronews.com
·
3d
🔍
Refinement Types
C and
Undefined
Behaviour
lelanthran.com
·
2d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🔍
Static Analysis
Some
thoughts
on LLM coding
blog.dave.tf
·
1d
·
Discuss:
Hacker News
🔍
Static Analysis
We Build Software for
Humans
— Not for
Machines
. And That’s a Problem.
medium.com
·
1d
·
Discuss:
r/programming
🔍
Static Analysis
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
6d
·
Discuss:
Substack
🔍
Static Analysis
Loading...
Loading more...
« Page 10
•
Page 12 »
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