Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Computer Science
💻 Computer Science
algorithms, computing, CS theory, programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
310
posts in
6.2
ms
Discovering
Data
Structures
: Nearest Neighbor Search and Beyond
🔢
Algorithms
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Discovering Data Structures: Nearest Neighbor Search and Beyond
Notes on
Algorithms
🔢
Algorithms
lesswrong.com
·
23h
23 hours ago
Actions for Notes on Algorithms
Why
Compiler
Engineers Rarely Use Strassen's
Algorithm
for Fast Matrix Multiplications
⚙️
Compilers
Content type:
News
Content type:
Blog
leetarxiv.substack.com
·
3d
3 days ago
·
Substack
,
r/programming
Actions for Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
AWS Nitro Isolation Engine:
Formally
verifying the hypervisor in the AWS Nitro System
🦀
Rust
Content type:
Blog
aws.amazon.com
·
1h
1 hour ago
Actions for AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System
Redis 8.8: New array
data
structure
, rate limiter, performance improvements
🗄️
Databases
Content type:
Discussion
news.ycombinator.com
·
2d
2 days ago
·
Hacker News
Actions for Redis 8.8: New array data structure, rate limiter, performance improvements
coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting
formal
verification
. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and
data
. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.
🦀
Rust
Content type:
Code
github.com
·
7h
7 hours ago
·
Hacker News
Actions for coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.
Are Neural Networks Collision Resistant?
🔢
Algorithms
link.aps.org
·
6d
6 days ago
Actions for Are Neural Networks Collision Resistant?
Authenticated
Data
Structures
for Dynamic Workloads
🔢
Algorithms
eprint.iacr.org
·
1d
1 day ago
Actions for Authenticated Data Structures for Dynamic Workloads
Formal
Verification
in Spec-Driven Development — Enterprise Level
⚙️
Compilers
Content type:
Blog
medium.com
·
14h
14 hours ago
Actions for Formal Verification in Spec-Driven Development — Enterprise Level
Comp.compilers
: An Empirical Comparison of General Context-Free Parsers
🛠️
Software Engineering
compilers.iecc.com
·
2d
2 days ago
Actions for Comp.compilers: An Empirical Comparison of General Context-Free Parsers
Redis 8.8: major update with array
data
structure
& performance boosts
🦀
Rust
alternativeto.net
·
6d
6 days ago
Actions for Redis 8.8: major update with array data structure & performance boosts
Linked List Cycle Detection
🔢
Algorithms
leetcode.com
·
9h
9 hours ago
·
DEV
Actions for Linked List Cycle Detection
Learning Regular Languages with the TTT
Algorithm
🛠️
Software Engineering
rahul.gopinath.org
·
2d
2 days ago
·
Lobsters
,
Hacker News
Actions for Learning Regular Languages with the TTT Algorithm
Best Python AI Frameworks in 2026 | The PyCharm Blog
⚙️
Compilers
Content type:
Blog
blog.jetbrains.com
·
23h
23 hours ago
Actions for Best Python AI Frameworks in 2026 | The PyCharm Blog
a topos-oriented language with a content-addressed lattice heap
⚙️
Compilers
yon-lang.org
·
6d
6 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Samuel Mimram — CSC_51051_EP --
Computational
logic: from Artificial intelligence to Zero bugs
🛠️
Software Engineering
lix.polytechnique.fr
·
1d
1 day ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
SagaMind:
Formal
Verification
, Transactional Rollback, and Cognitive Memory for LLM Agents
🦀
Rust
Content type:
Blog
kesablyanharut.medium.com
·
10h
10 hours ago
Actions for SagaMind: Formal Verification, Transactional Rollback, and Cognitive Memory for LLM Agents
Implementing Customer Segmentation in Python: From Transactions to Actionable Customer Groups
🔢
Algorithms
Content type:
Blog
medium.com
·
6d
6 days ago
Actions for Implementing Customer Segmentation in Python: From Transactions to Actionable Customer Groups
Python Morsels: Stacks and queues in Python
🔢
Algorithms
pythonmorsels.com
·
1d
1 day ago
Actions for Python Morsels: Stacks and queues in Python
"Encrypted spaces"
🔢
Algorithms
microsoft.com
·
7h
7 hours ago
·
r/crypto
Actions for "Encrypted spaces"
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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