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
🔄 Finite State Machines
Statecharts, Visual Programming, State Transitions, Temporal Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
19564
posts in
173.0
ms
Capture the Flags: Family-Based Evaluation of Agentic LLMs via
Semantics-Preserving
Transformations
arxiv.org
·
21h
💻
Local LLMs
Learning Nonlinear Continuous-Time Systems for Formal Uncertainty
Propagation
and
Probabilistic
Evaluation
arxiv.org
·
21h
🧠
Machine Learning
Building
Complex
Process Models with
Plugboard
and AI
dev.to
·
2d
·
Discuss:
DEV
⚡
Effectful Programming
Managing Agent Context Using
Summarization
Middleware
Agent
hackernoon.com
·
4d
📄
Text Chunking
Russ
Olsen
deprogrammaticaipsum.com
·
4d
🔒
Linear Types
3D-Printed
Slices
and
Traces
of Functions of Two Variables
divisbyzero.com
·
5d
📐
Mathematical Art
Flavours
of
Reflection
semantics.bernardteo.me
·
4d
·
Discuss:
Lobsters
,
r/cpp
📝
Concrete Syntax
Pijul
: A
DVCS
based on a theory of asynchronous work (Git alternative)
pijul.org
·
4d
·
Discuss:
Hacker News
△
Delta Compression
akshat666/ephemeral-first-security-framework
: Security through
transience
, not just encryption
github.com
·
3d
·
Discuss:
Hacker News
🌳
Archive Merkle Trees
Some
Libraries
funcall.blogspot.com
·
5d
·
Discuss:
Blogger
🧠
Lisp Dialects
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
3d
·
Discuss:
Hacker News
🌀
Brotli Internals
My Experience with
Vibe
Coding
haskellforall.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
Generative UI for Agents,
explained
visually
blog.dailydoseofds.com
·
4d
·
Discuss:
Hacker News
🖥️
Terminal Renaissance
Durable
Execution: Build reliable software in an
unreliable
world
thenewstack.io
·
4d
·
Discuss:
Hacker News
💾
Persistence Strategies
Simple Made Easy (2011)
infoq.com
·
4d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Programming
with AI, Without the
Hype
albertovarela.net
·
3d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Programming
Principles
in the Age of AI:
DRY
kirilltolmachev.dev
·
5d
·
Discuss:
Lobsters
🏗️
Compiler Archaeology
The Hot
Mess
of AI: How Does
Misalignment
Scale with Model Intelligence and Task Complexity?
alignment.anthropic.com
·
4d
·
Discuss:
Hacker News
🧠
Intelligence Compression
Writing an
Async
Runtime
in Rust
michaelhelvey.dev
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔒
Linear Types
Lambda
cube
en.wikipedia.org
·
4d
·
Discuss:
Lobsters
λ
Lambda Formalization
Loading...
Loading more...
« Page 9
•
Page 11 »
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