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
🔢 Denotational Semantics
Domain Theory, Mathematical Models, Program Meaning, Scott Domains
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23682
posts in
329.3
ms
Snippets
With Regular
Expressions
irreal.org
·
2d
🌳
Incremental Parsing
Cooler
Analytics
sethmlarson.dev
·
1d
🔍
BitFunnel
When is a
bug
not a
bug
?
blog.zarfhome.com
·
1d
🧪
Binary Fuzzing
Function
Calling
& Tool
Schemas
dev.to
·
4d
·
Discuss:
DEV
🦀
Rust Macros
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
2d
⚙️
TLA+
Object
permanence
doctorow.medium.com
·
1d
🌡️
Preservation Physics
Differential
Logic
• 4
inquiryintoinquiry.com
·
4d
⚔️
Lean Theorem
Testing a Component System Like Infrastructure: Contract Tests, Visual
Regression
, and
Accessibility
Gates
hackernoon.com
·
1d
🔍
Concolic Testing
Can AI
Truly
Discover
New Science?
hackernoon.com
·
1d
🔲
Cellular Automata
RFC
9920:
RFC
Editor
Model (Version 3)
rfc-editor.org
·
1d
📝
ABNF Parsing
Wider
systems for linear logic with fixed points: proof theory and
complexity
arxiv.org
·
17h
📏
Linear Logic
A
Human-Centric
Framework for Data
Attribution
in Large Language Models
arxiv.org
·
17h
📊
Learned Metrics
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
3d
⚡
Hardware Transactional Memory
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
2d
🧪
Binary Fuzzing
Database
Schema
as Code Intelligence
dev.to
·
4d
·
Discuss:
DEV
🗄️
Database Internals
Geometrically
Allocated
Ads in AI Conversations
june.kim
·
2d
·
Discuss:
Hacker News
🧮
Kolmogorov Bounds
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
4d
·
Discuss:
Hacker News
🛠
Language Design
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
3d
·
Discuss:
Hacker News
🔗
Functional Compilers
Show HN:
Self-healing
data pipeline for F1
telemetry
(Python and Type Inference)
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🎯
Gradual Typing
Shell
and Skills and
Compaction
: Tips for long-running agents that do real work
developers.openai.com
·
19h
·
Discuss:
Hacker News
🐚
Nordic Shell
Loading...
Loading more...
« Page 6
•
Page 8 »
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