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
🤖 Abstract Machines
CESK Machine, WAM, Evaluation Models, Operational Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81781
posts in
787.0
ms
Linear
Realisability
and
Implicative
Algebras
arxiv.org
·
14h
∀
Quantified Types
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
14h
📋
Souffle Datalog
Automatic
WS2812
Characterization
cpldcpu.com
·
1d
🔧
WASI
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
2d
📊
Pratt Parsers
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
18h
·
Discuss:
r/LocalLLaMA
🎭
Erlang OTP
Writing a
ONNX
Neural Network Inference Engine from Scratch in C to run image classification with
MobileNetV2
flexw.github.io
·
1d
·
Discuss:
r/C_Programming
🗺️
Region Inference
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
1d
·
Discuss:
Hacker News
📏
Linear Memory
VSORA
Board Chair Sandra
Rivera
on Solutions for AI Inference and LLM Processing
semiwiki.com
·
5h
🎭
Program Synthesis
AdviceNXT/sbp
:
Stigmergic
Blackboard Protocol: Environment-based coordination for AI agents
github.com
·
1d
·
Discuss:
DEV
✨
Gleam
The Return of
Algol
68
jxself.org
·
22h
📚
Forth Compilers
Understanding the Go
Runtime
: The
Bootstrap
internals-for-interns.com
·
12h
·
Discuss:
Hacker News
,
r/golang
🐹
Go Internals
A Request for Comment on the
Connex
AGI
Architecture
dev.to
·
1h
·
Discuss:
DEV
📋
Task Queues
Grumpy
Julio
plays with CLI coding agents
blogsystem5.substack.com
·
1h
·
Discuss:
Substack
⚡
Live Coding
A Simple
Method
for
Commonsense
Reasoning
dev.to
·
1d
·
Discuss:
DEV
🌱
Minimal ML
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
3d
💓
Live Variable Analysis
The control
layer
for AI
blog.dottxt.ai
·
2d
·
Discuss:
Hacker News
🔀
Control Structures
How Agentic Memory
Enables
Durable
, Reliable AI Agents Across Millions of Enterprise Users
engineering.salesforce.com
·
40m
🧠
Memory Ordering
Differential
Logic
• 4
inquiryintoinquiry.com
·
1d
∫
Mathematical DSLs
Performance Tip of the Week #83:
Reducing
memory
indirections
abseil.io
·
1d
💾
Cache Algorithms
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
5h
🚂
Error Monads
Loading...
Loading more...
« Page 2
•
Page 4 »
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