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
80315
posts in
1.71
s
SupChain-Bench
: Benchmarking Large Language Models for Real-World Supply Chain Management
arxiv.org
·
8h
🔎
Semantic Analysis
Practical
Refinement
Session Type Inference (
Extended
Version)
arxiv.org
·
1d
🔍
Refinement Types
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
1d
·
Discuss:
DEV
🔍
Symbolic Execution
Refactoring
038
dev.to
·
4d
·
Discuss:
DEV
🔍
Static Analysis
The
Auth
Platform Native to Go. Built for Any
Stack
.
go-better-auth.vercel.app
·
2d
·
Discuss:
r/golang
📐
formal specification
EarlyBinder
and
instantiating
parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org
·
5d
·
Discuss:
Lobsters
,
Hacker News
🔍
Static Analysis
To
Consume
or
Reference
in Rust
meejah.ca
·
4d
🦀
Rust
Compile
and Run Your First Program
emojicode.org
·
4d
·
Discuss:
Hacker News
🔎
Semantic Analysis
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
4d
·
Discuss:
Hacker News
🔎
Semantic Analysis
Dynamic Reports: Natural Language
Queries
with
On-the-Fly
Code Generation
angulararchitects.io
·
4d
🔍
Symbolic Execution
Tip of the Week #158:
Abseil
Associative
containers and contains()
abseil.io
·
2d
🔎
Semantic Analysis
Cooperative
Visitor
: A Template Technique for
Visitor
Creation
artima.com
·
2d
🔍
Symbolic Execution
Tip of the Week #140:
Constants
: Safe
Idioms
abseil.io
·
2d
🔧
PLT
The New
Stem
blog.gorewood.games
·
2d
🔍
Refinement Types
What do you guys think of my
microservice
template
?
github.com
·
2d
·
Discuss:
r/node
🔍
Symbolic Execution
Stocking
Stuffers
yamlscript.org
·
3d
🔍
Symbolic Execution
The Adventures of a
Pythonista
in
Schemeland/28
artima.com
·
2d
🔧
PLT
C++
Implementing
a Chaos Game
simulator
solarianprogrammer.com
·
2d
🔧
PLT
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔍
Refinement Types
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
3d
🔍
Symbolic Execution
Loading...
Loading more...
« Page 15
•
Page 17 »
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