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
81822
posts in
794.1
ms
Linear
Realisability
and
Implicative
Algebras
arxiv.org
·
17h
∀
Quantified Types
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
17h
📋
Souffle Datalog
Drifting
models
breno.bearblog.dev
·
11h
🔄
Loop Optimization
Build a
Compiler
in Five Projects
kmicinski.com
·
2d
🎭
Racket Modules
The
Prospero
Challenge
mattkeeter.com
·
6h
🔬
Nanopasses
25W06
. Learning a language with the machine
z1nz0l1n.com
·
1d
🌱
Minimal ML
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
22h
·
Discuss:
Hacker News
💬
Interactive REPLs
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
3h
·
Discuss:
Hacker News
🎨
Domain-Specific Languages
The
Illusion
of
AGI
, or What Language Models Can Do Without Thought
techpolicy.press
·
7h
🎯
Finite Automata
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
21h
·
Discuss:
r/LocalLLaMA
🎭
Erlang OTP
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
2d
📊
Pratt Parsers
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
2h
✅
Type Checking
Building Multi-Agent AI Systems: Architecture
Patterns
and Best
Practices
dev.to
·
16h
·
Discuss:
DEV
🎭
Erlang OTP
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
1d
·
Discuss:
Hacker News
📏
Linear Memory
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
plrg-bristol/advanced-haskell-2026
: Resources for the 2026 Advanced Haskell
seminar
series at Bristol
github.com
·
1h
👑
Dependent Haskell
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
35m
🌐
WASM Runtimes
VSORA
Board Chair Sandra
Rivera
on Solutions for AI Inference and LLM Processing
semiwiki.com
·
8h
🎭
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
·
1d
📚
Forth Compilers
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