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
101
posts in
5.2
ms
Formal
Methods
and the Future of Programming
🏗️
Software Architecture
Content type:
Blog
blog.janestreet.com
·
9h
9 hours ago
·
Hacker News
·
Cited by 1 article
Actions for Formal Methods and the Future of Programming
Samuel Mimram — CSC_51051_EP --
Computational
logic: from Artificial intelligence to Zero bugs
💎
C# Development
lix.polytechnique.fr
·
4d
4 days ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Workshop on Local
Algorithms
💻
Programming
cstheory-events.org
·
2d
2 days ago
Actions for Workshop on Local Algorithms
Token
Complexity
Theory
for AI-Augmented
Computing
💎
C# Development
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Token Complexity Theory for AI-Augmented Computing
New comment by boltzmann-brain in "Ask HN: Who wants to be hired? (June 2026)"
🏗️
Software Architecture
Content type:
Discussion
news.ycombinator.com
·
23h
23 hours ago
·
Hacker News
Actions for New comment by boltzmann-brain in "Ask HN: Who wants to be hired? (June 2026)"
Amazon partnership establishes Cornell AI security initiative
🔓
Hacking
Content type:
News
Content type:
Academic
news.cornell.edu
·
4d
4 days ago
Actions for Amazon partnership establishes Cornell AI security initiative
Announcing WoLA 2026 in Boston
💻
Programming
ptreview.sublinear.info
·
1d
1 day ago
Actions for Announcing WoLA 2026 in Boston
Wikipedia:Vital articles/Level
5/Technology/Computing
and communication
🔓
Hacking
en.wikipedia.org
·
6d
6 days ago
Actions for Wikipedia:Vital articles/Level 5/Technology/Computing and communication
Our MongoDB TLA+ Workshop
🏗️
Software Architecture
Content type:
Blog
muratbuffalo.blogspot.com
·
1d
1 day ago
·
Blogger
Actions for Our MongoDB TLA+ Workshop
Co-Creator
of Haskell: Functional Programming, Thinking in
Types
, Useless Languages | Simon Jones
💻
Programming
Content type:
News
developing.dev
·
6d
6 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
The Consensus Weekly, June 13, 2026
🐧
Linux
theconsensus.dev
·
1d
1 day ago
Actions for The Consensus Weekly, June 13, 2026
Book note: The Open Logic FOL texts
💎
C# Development
Content type:
Blog
logicmatters.net
·
3d
3 days ago
Actions for Book note: The Open Logic FOL texts
Proof System Timelines
🏗️
Software Architecture
Content type:
Blog
klatz.co
·
6d
6 days ago
Actions for Proof System Timelines
Banning Mythos represents a basic misunderstanding of AI cybersecurity
🔓
Hacking
Content type:
News
Content type:
Blog
joshuasaxe181906.substack.com
·
1d
1 day ago
·
Substack
Actions for Banning Mythos represents a basic misunderstanding of AI cybersecurity
AI Does
Mathy
Stuff and Mathematicians Are Annoyed
💻
Programming
arnoldit.com
·
3d
3 days ago
Actions for AI Does Mathy Stuff and Mathematicians Are Annoyed
A Proof on the
Computational
Complexity
of the Traveling Salesman Problem: Why P ≠ NP
💻
Programming
zenodo.org
·
4d
4 days ago
·
Hacker News
Actions for A Proof on the Computational Complexity of the Traveling Salesman Problem: Why P ≠ NP
On McDiarmid's Inequality under Dependence via Approximate Tensorization of Entropy
🔧
Reverse Engineering
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for On McDiarmid's Inequality under Dependence via Approximate Tensorization of Entropy
Programming Languages Course Reboot, 2026
🏗️
Software Architecture
Content type:
Reference
docs.google.com
·
5d
5 days ago
·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
Programming Languages Software Award
💻
Programming
sigplan.org
·
4d
4 days ago
Actions for Programming Languages Software Award
The Birth of ‘Artificial Intelligence’
💻
Programming
dartmouthalumnimagazine.com
·
5d
5 days ago
Actions for The Birth of ‘Artificial Intelligence’
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