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
📚 Automata Learning
Grammatical Inference, TTT, L#, automata learning
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9142
posts in
228.7
ms
VS Code
becomes
multi-agent
command
center for developers
thenewstack.io
·
4h
🔧
DevOps
Basic
Logic
Behind AI
dev.to
·
6d
·
Discuss:
DEV
🧠
Automated Reasoning
AI in Web Development: Beyond Just
Writing
Code
dev.to
·
4d
·
Discuss:
DEV
🔤
Language Design
How Secret Loyalty
Differs
from Standard
Backdoor
Threats
lesswrong.com
·
4h
🔒
Protocol Verification
What We
Learned
from Briefing 140+
Lawmakers
on the Threat from AI
lesswrong.com
·
3h
🧠
Automated Reasoning
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
18h
✅
Model Checking
When to
Memorize
and When to Stop:
Gated
Recurrent Memory for Long-Context Reasoning
arxiv.org
·
18h
🎮
Verification Games
I let my 6-year-old shape a space shooter and
implemented
it.
Phaser
and Next.js
astroavocado.com
·
4h
·
Discuss:
Hacker News
🔲
Cellular Automata
Seattle-based
Highspot
is merging with rival
Seismic
in major sales software deal
geekwire.com
·
4h
·
Discuss:
Hacker News
🌐
ActivityPub
What's the
difference
between a "
disc
" and a "disk"?
support.apple.com
·
3h
·
Discuss:
Hacker News
📵
Digital Minimalism
HDRify
: True HDR image
viewer
, and tool set in pure JavaScript
hdrify.benhouston3d.com
·
4h
·
Discuss:
Hacker News
💾
Retro Computing
iOS
accessibility
static analysis (25
WCAG
rules)
accesslint.app
·
4h
·
Discuss:
Hacker News
⚙️
Compiler Design
Spotify says its best developers
haven
't
written
a line of code since December, thanks to AI
techcrunch.com
·
4h
·
Discuss:
Hacker News
🍎
Apple
The alignment tax: What product
managers
and systems
engineers
have in common
evercurrent.ai
·
4h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Multi-Channel
AI Sales Agent for
Outreach
& Lead Generation
optareach.com
·
4h
·
Discuss:
Hacker News
🌐
ActivityPub
Why
agile
development is hard in
hardware
evercurrent.substack.com
·
4h
·
Discuss:
Substack
🔧
DevOps
FORTH
? Really!?
rescrv.net
·
6d
·
Discuss:
Hacker News
🧩
Parser Combinators
DashClaw
: Open-Source Dashboard and
Toolkit
for Agents
dash-claw.vercel.app
·
4h
·
Discuss:
Hacker News
🌐
ActivityPub
Alarm bells just
rang
at San Francisco's 2
buzziest
tech companies
sfgate.com
·
2h
·
Discuss:
Hacker News
🍎
Apple
15
lessons
learned
building ChatGPT Apps
developers.openai.com
·
3h
·
Discuss:
Hacker News
🌐
Network Protocols
Loading...
Loading more...
« Page 19
•
Page 21 »
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