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
Broad
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
72
posts in
13.1
ms
Passive Learning of Symbolic
Automata
over Monotonic Algebras
🗣️
Large Language Models
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Passive Learning of Symbolic Automata over Monotonic Algebras
Why Compiler Engineers Rarely Use Strassen's
Algorithm
for Fast Matrix Multiplications
📊
Optimization
Content type:
News
Content type:
Blog
leetarxiv.substack.com
·
2d
2 days ago
·
Substack
,
r/programming
Actions for Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
A Proof on the
Computational
Complexity
of the Traveling Salesman Problem: Why P ≠ NP
🎯
Optimization Theory
zenodo.org
·
19h
19 hours ago
·
Hacker News
Actions for A Proof on the Computational Complexity of the Traveling Salesman Problem: Why P ≠ NP
Subversion-Resistance for Free from
Formal
Verification
🔢
Mathematics
lesswrong.com
·
1d
1 day ago
Actions for Subversion-Resistance for Free from Formal Verification
Ask HN: What has been the fate of code review?
🗣️
Large Language Models
Content type:
Discussion
news.ycombinator.com
·
4h
4 hours ago
·
Hacker News
Actions for Ask HN: What has been the fate of code review?
TiruArt/Pedigree-Polytopes-Lean4: Lean 4
machine-verified
proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
🎯
Optimization Theory
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
Turing universal neural networks do not require global clocks
🤖
Transformers
Content type:
Academic
nature.com
·
5d
5 days ago
·
Hacker News
Actions for Turing universal neural networks do not require global clocks
Turning Cloudflare’s threat indicators into real-time WAF rules
🔥
PyTorch
Content type:
Blog
blog.cloudflare.com
·
2d
2 days ago
·
Hacker News
Actions for Turning Cloudflare’s threat indicators into real-time WAF rules
The Orchard Bug and the Unfolding Cybersecurity Reckoning
🌐
Distributed Systems
Content type:
News
Content type:
Blog
bengoertzel.substack.com
·
5d
5 days ago
·
Substack
Actions for The Orchard Bug and the Unfolding Cybersecurity Reckoning
🔬Scaling Past Informal AI - Carina Hong, Axiom Math
🔢
Mathematics
latent.space
·
6d
6 days ago
·
Hacker News
Actions for 🔬Scaling Past Informal AI - Carina Hong, Axiom Math
CS107 Assignment 1: Reassemble
📐
Linear Algebra
web.archive.org
·
4d
4 days ago
·
Hacker News
Actions for CS107 Assignment 1: Reassemble
Complexity
and
Algorithms
for Unary Translocation Distance
🎯
Optimization Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Complexity and Algorithms for Unary Translocation Distance
Where the f*ck is the Excalidraw markup table?
🤖
AI
Content type:
News
Content type:
Blog
larkmatter.substack.com
·
3d
3 days ago
·
Substack
Actions for Where the f*ck is the Excalidraw markup table?
SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
📡
Information Theory
universetoday.com
·
4d
4 days ago
·
Hacker News
Actions for SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems
⛰️
Convex Analysis
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems
Rayforce
📐
Linear Algebra
Content type:
Code
github.com
·
4d
4 days ago
·
Lobsters
,
Hacker News
Actions for Rayforce
Multilevel Stochastic Gradient Descent for Risk-Averse PDE-Constrained Optimization
📊
Optimization
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Multilevel Stochastic Gradient Descent for Risk-Averse PDE-Constrained Optimization
An Empirical Comparison of General Context-Free Parsers
🗣️
Large Language Models
Content type:
Academic
arxiv.org
·
1d
1 day ago
·
Hacker News
Actions for An Empirical Comparison of General Context-Free Parsers
Earliest query answering over streamed trees
🗣️
Large Language Models
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Earliest query answering over streamed trees
rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to
come
🗣️
Large Language Models
Content type:
Code
github.com
·
3d
3 days ago
·
Hacker News
Actions for rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come
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