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
✅ formal methods
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3754
posts in
86.7
ms
The
Observer
Lemma
zenodo.org
·
23h
·
Discuss:
Hacker News
⚙️
systems programming
Multi-Dimensional
Computational
Library for Physics-Aware AI
splitfxm.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Digitizing
the "
Shokunin
": How we encoded a Master's hammer strike into AI
yusukekaizen.substack.com
·
16h
·
Discuss:
Substack
🐫
ocaml
Agent
Identities
– Everything you need to know
mrinal.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
20h
·
Discuss:
Hacker News
🐫
ocaml
TileIR
ianbarber.blog
·
19h
·
Discuss:
Hacker News
⚙️
systems programming
Show HN:
Clap.Net
– Source generated CLI
Parsing
for .NET (Inspired by
Clap-Rs
)
github.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Microgpt.py
gist.github.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
⚙️
systems programming
We have
outgrown
the
Process
model
sidhion.com
·
10h
·
Discuss:
Hacker News
⚙️
systems programming
Software as a tool, not an end in itself: A
plea
for more domain
expertise
heise.de
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Programming
Aphorisms
matklad.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
⚙️
systems programming
The Potential of
RLMs
dbreunig.com
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Manufacturing
QMS
Software
samrian.com
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Outcome
Engineering
cory.news
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
🔄
compilers
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
2d
·
Discuss:
Hacker News
🐫
ocaml
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
The Future of Software Engineering
poberezkin.com
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Lines of
Markdown
, a Claude Code
Sensation
tildeweb.nl
·
15h
·
Discuss:
Hacker News
🔄
compilers
Loading...
Loading more...
« Page 1
•
Page 3 »
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