🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ formal methods
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Beyond Compliance to Securing Advantage Under EU Digital Regulation
whybyproduct.substack.com
·
10h
·
Discuss:
Substack
⚙️
systems programming
Show HN: Guardian Protocol – Open-Source Ethereum Security Framework
github.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
In Order Traversal in Haskell and Rust
mmhaskell.com
·
2d
·
Discuss:
Hacker News
🐫
ocaml
Computational Music Synthesis
cs.gmu.edu
·
3d
·
Discuss:
Hacker News
🔄
compilers
Condition Systems in an Exceptional Language by Chris Houser
gist.github.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
The unexpected joy of Claude Code on your iPhone
clay.fyi
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Should We Never Use Non-Logical Properties?
meiert.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
The Imminent Deprecation of memory_order:consume
people.kernel.org
·
1d
·
Discuss:
Hacker News
🔄
compilers
Dolthub/go-MySQL-server: A MySQL-compatible database, in pure Go
github.com
·
7h
·
Discuss:
Hacker News
🗄️
databases
Idea-Driven Ideas
vitalik.eth.limo
·
1d
·
Discuss:
Hacker News
🗄️
databases
The Problem with AI Benchmarks
melder.io
·
5h
·
Discuss:
Hacker News
🗄️
databases
Why Metropolis–Hastings Works
gregorygundersen.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚡
query optimization
Best Vibe Coding Tools in 2025
observer.bearblog.dev
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Recto – A Truly 2D Language
masatohagiwara.net
·
1d
·
Discuss:
Hacker News
🐫
ocaml
Inline Caching (2021)
bernsteinbear.com
·
18h
·
Discuss:
Hacker News
⚙️
systems programming
Getting Good Results from Claude Code
dzombak.com
·
5d
·
Discuss:
Hacker News
🔄
compilers
Writing an LLM from scratch, part 17 – the feed-forward network
gilesthomas.com
·
1d
·
Discuss:
Hacker News
🐫
ocaml
The Equality Delete Problem in Apache Iceberg
blog.dataengineerthings.org
·
1d
·
Discuss:
Hacker News
⚡
query optimization
Go 1.25 Release Notes
go.dev
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
⚙️
systems programming
LLMs are not like you and me—and never will be.
garymarcus.substack.com
·
1d
·
Discuss:
Substack
⚙️
systems programming
Loading...
Loading more...
« Page 5
•
Page 7 »