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
💻 CS
computer science, automata, theory, computation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9694
posts in
658.1
ms
CodeGuard
: Improving LLM
Guardrails
in CS Education
arxiv.org
·
4h
🎮
Verification Games
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Black Box Made Less
Opaque
(part 2)
lesswrong.com
·
5h
🔢
Algebraic Data Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
Heartbeat
of Tetris 🟥🟥🟥🟥: What a
1x1
Pixel Taught Me About Concurrency
qianarthurwang.substack.com
·
16h
·
Discuss:
r/programming
🔲
Cellular Automata
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Complexity Bound for
Determinisation
of Min-Plus Weighted
Automata
arxiv.org
·
1d
🔀
Brzozowski Derivatives
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
Advantages
of C Language in Today’s
Programming
World
dev.to
·
18h
·
Discuss:
DEV
🔨
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
java
sucks
(2000)
jwz.org
·
15h
·
Discuss:
Lobsters
📝
Nix Language
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Ysgrifennu
Côd
yn Gymraeg (Writing Code in Welsh)
hackaday.com
·
14h
⚙️
Compiler Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
DavidLevi1998/programming-foundations-python
: A structured exploration of programming fundamentals in Python, focused on mental models, state, control flow, and
abstraction
.
github.com
·
1h
·
Discuss:
Hacker News
🔤
Language Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN: 32KB
deductive
engine that catches LLM
hallucinations
news.ycombinator.com
·
18m
·
Discuss:
Hacker News
🧮
Z3
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Recent
Advances
in LLMs for
Mathematics
youtube.com
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
# A New AI Architecture Without Prior
Distributions
: Stream-Based AI and
Compositional
Inference
dev.to
·
1d
·
Discuss:
DEV
📚
Automata Learning
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
14h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🐫
Embedded OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
21h
·
Discuss:
Lobsters
,
Hacker News
🏃
Escape Analysis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN: C discrete event SIM w
stackful
coroutines runs 45x faster than
SimPy
github.com
·
17h
·
Discuss:
Hacker News
🔀
OCaml Multicore
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
I built a free
ML
practice
platform - would love your feedback [P]
reddit.com
·
1h
·
Discuss:
r/MachineLearning
🧮
Z3 Solver
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How
Computers
Work: Explained from First
Principles
sushantdhiman.substack.com
·
2d
·
Discuss:
r/compsci
,
r/programming
🧩
Separation Logic
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Lambda
cube
en.wikipedia.org
·
2d
·
Discuss:
Lobsters
🧮
Lambda Calculus
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN: I'm 16 and built EU AI Act
compliance
software
audit.omensystems.com
·
3h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Mekara
:
Workflows
as Code Proof-of-Concept
meksys-dev.github.io
·
5h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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