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
CEK, SECD, ZINC, Operational Semantics, Interpreters
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8581
posts in
437.9
ms
Python vs. a Modern BASIC
Interpreter
: When the “
Toy
Language” Actually Wins
dev.to
·
4d
·
Discuss:
DEV
⚙️
PL Implementation
On A
Parameterized
Theory of Dynamic Logic for
Operationally-based
Programs
arxiv.org
·
1d
✅
Model Checking
How I Built My Project in
Haskell
dev.to
·
4d
·
Discuss:
DEV
λ
Functional Programming
Notes on using AI tools for debugging, learning, and shipping software (as a
cautious
adopter
)
linkedin.com
·
1d
·
Discuss:
r/programming
👁️
System Observability
Simpler
Presentations
for Many
Fragments
of Quantum Circuits
arxiv.org
·
1d
🔍
CBMC
Monday AI
Radar
#12
lesswrong.com
·
2d
🔲
Cellular Automata
Hackable
Software
blog.abdellatif.io
·
1d
·
Discuss:
Hacker News
🔬
Reverse Engineering
Building a
semantic
search engine in ±250
lines
of Python
bart.degoe.de
·
2d
·
Discuss:
Hacker News
🔁
Fixed-Point Theory
🏆 100 Most
Watched
Java
Conference Talks Of 2025
techtalksweekly.io
·
1d
·
Discuss:
Hacker News
📦
Unikernel Systems
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
1d
·
Discuss:
Hacker News
❓
Existential Types
LocalGPT
: A local AI assistant with
persistent
memory in a single binary
localgpt.app
·
2d
·
Discuss:
Hacker News
🔬
Unikernels
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
4d
·
Discuss:
Hacker News
🔧
Unikernel Development
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
3d
·
Discuss:
Hacker News
🎮
Verification Games
The cost of a
function
call
lemire.me
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
λ
Functional Programming
an early-stage
experimental
programming
language
solnix-lang.org
·
4d
·
Discuss:
DEV
,
Hacker News
📝
Nix Language
six
thoughts
on
generating
c
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
Hands-Free
Claude Code with the Agent
SDK
yberreby.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Humanity
's last
programming
language
xeiaso.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔤
Language Design
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Python's Dynamic
Typing
Problem
whileforloop.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🔀
Brzozowski Derivatives
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