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
🌳 Data Structures
Algorithms, Hash Maps, Trees, Graphs, Complexity Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80231
posts in
272.9
ms
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
8h
🦀
Rust
RECUR
: Resource
Exhaustion
Attack via Recursive-Entropy Guided Counterfactual Utilization and Reflection
arxiv.org
·
8h
🦀
Rust
Grokking
: Generalization Beyond
Overfitting
on Small Algorithmic Datasets
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust
Learn Python, Data
Viz
, Pandas & More |
Tutorials
kaggle.com
·
4d
🐍
Python
Eclipse
: A
Hexagonal
Strategy Game
hermandaniel.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
AI search
visibility
analysis software
open.forem.com
·
4d
·
Discuss:
DEV
🐍
Python
Tip of the Week #49:
Argument-Dependent
Lookup
abseil.io
·
2d
🦀
Rust
Matrices
and Magic
Squares
pballew.blogspot.com
·
5d
·
Discuss:
Blogger
🦀
Rust
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
4d
·
Discuss:
Hacker News
🦀
Rust
Speeding
Up
HTML
Generation by 2000%
bobrubbens.nl
·
4d
🦀
Rust
Categorical
systems
theory
danmackinlay.name
·
5d
🦀
Rust
**Abstract:** This paper explores a novel approach to enhancing key security in
Elliptic
Curve Cryptography (
ECC
) by leveraging insights from the geometric i...
freederia.com
·
4d
🦀
Rust
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🦀
Rust
Merkle
trees and build systems with
OSTree
and ninja
lwn.net
·
4d
·
Discuss:
Hacker News
🦀
Rust
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
🦀
Rust
Zero-Knowledge
Proofs
: Powering
Web3
Privacy and Trust
future.forem.com
·
6d
·
Discuss:
DEV
🐍
Python
Performance
Tip
of the Week #9:
Optimizations
past their prime
abseil.io
·
2d
🦀
Rust
Engineering
Ethereum
's Speed: How we made
Ethrex
20x faster
blog.lambdaclass.com
·
5d
🦀
Rust
GKcodebase/API
_Architecture: API designs in
jaca
github.com
·
4d
·
Discuss:
DEV
🦀
Rust
Loading...
Loading more...
« Page 12
•
Page 14 »
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