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
🔗 Constraint Handling
CHR, Logic Programming, Rule Systems, Constraint Propagation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22978
posts in
385.0
ms
Learning Python
iam.mt
·
2d
λ
Lambda Formalization
(a → a) → a
kivikakk.ee
·
4d
🌳
Context free grammars
Microsoft
boffins
figured
out how to break LLM safety guardrails with one simple prompt
theregister.com
·
2d
🧪
Protocol Fuzzing
Unlocking
Knowledge
with AI
zappable.com
·
3d
🤖
AI Curation
My Claude Code
workflow
invertedpassion.com
·
2d
⚡
Proof Automation
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
5d
📋
Document Grammar
Best-Part Python Program: Smart To-Do List (
Beginner
Pro
Friendly
)
dev.to
·
4d
·
Discuss:
DEV
🔗
Concatenative Programming
🧠 AI Architecture for
Beginners
: What Goes Where (No
Buzzwords
)
dev.to
·
5d
·
Discuss:
DEV
🌀
Brotli Internals
What's up with
Haskell
's do
notation
?
slightknack.dev
·
2d
🧬
Functional Programming
Reasoning
aligns
language models to human
cognition
arxiv.org
·
2d
🧠
Computational Logic
Toward
Formalizing
LLM-Based Agent
Designs
through Structural Context Modeling and Semantic Dynamics Analysis
arxiv.org
·
2d
✅
Formal Methods
Introducing
Composer
1.5
cursor.com
·
2d
·
Discuss:
Hacker News
🎧
Learned Audio
When Models Examine Themselves: Vocabulary-Activation
Correspondence
in
Self-Referential
Processing
zenodo.org
·
2d
·
Discuss:
Hacker News
💾
Floppy Imaging
The
Quest
for
Simplicity
prokeimenon.org
·
2d
·
Discuss:
Hacker News
🎨
Swedish Design Philosophy
Heuristics
for lab
robotics
, and where its future may go
owlposting.com
·
2d
·
Discuss:
Hacker News
🤖
Tape Automation
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
3d
·
Discuss:
Hacker News
🛠
Language Design
Rise of the
Cowboy
Coder
jollycoder.com
·
2d
·
Discuss:
Hacker News
📏
Code Metrics
Humanity
's last
programming
language
xeiaso.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
📝
Concrete Syntax
Turn any
codebase
into interactive, multi-level
documentation
revibe.codes
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
The future of coding agents is
vertical
integration (and why
ACP
matters)
tidewave.ai
·
2d
·
Discuss:
Hacker News
🔌
Interface Evolution
Loading...
Loading more...
« Page 14
•
Page 16 »
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