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
馃攧 Salsa
Incremental Computation, Query System, Reactive, Rust
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
76523
posts in
700.6
ms
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
路
52m
馃敟
DataFusion
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
路
1d
馃
Rust
Refactoring
038
dev.to
路
23h
路
Discuss:
DEV
位
Functional Programming
Agentic
Proof-Oriented
Programming
risemsr.github.io
路
1d
路
Discuss:
Lobsters
,
Hacker News
位
Functional Programming
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
路
21h
路
Discuss:
Hacker News
馃摝
Serde
Zinc
Language Design
ziggit.dev
路
1h
馃
Rust
Build a
Compiler
in Five Projects
kmicinski.com
路
52m
馃敤
Compilers
Linting
intra-task concurrency and
FutureLock
farnoy.dev
路
2d
路
Discuss:
r/rust
馃
Rust Async
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
路
14h
馃敟
DataFusion
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
路
2d
馃攧
Concurrency
stdlib
v7.2
erlang.org
路
21h
路
Discuss:
Hacker News
馃浄
Sled
Naughty
is
Nice
!
yamlscript.org
路
5h
馃敤
Compiler Design
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
路
12h
馃嵄
Nom
CodeXero
Earns a 348 Proof of Usefulness Score by Building a Vibe Coding Engine for Web3
dApps
hackernoon.com
路
23h
馃摝
Trunk
Deterministic AI:
Reclaiming
Predictable Latency with Rust and Zero-Cost
Abstractions
dev.to
路
21h
路
Discuss:
DEV
馃
Rayon
**Abstract:** This paper proposes a novel framework for the automated discovery and validation of previously unknown
fractal-based
geometric
sequences
within...
freederia.com
路
12h
馃帹
ART Trees
Railway
Oriented
Programming
fsharpforfunandprofit.com
路
19h
路
Discuss:
Hacker News
位
Functional Programming
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
路
18h
路
Discuss:
r/golang
馃攳
Linux BPF
RUSTSEC-2025-0146
: Vulnerability in
sha-rust
rustsec.org
路
22h
鈿狅笍
Rust Unsafe
Yet Another Blog Post About
Programming
With AI
amykhar.bearblog.dev
路
21h
馃幁
Program Synthesis
Loading...
Loading more...
Page 2 »
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