๐ฟ๏ธ 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
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
A deep dive into deeply recursive Go
mattermost.com
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Ask HN: How are Kafka or event-driven systems used in LLM infrastructure?
news.ycombinator.com
ยท
2h
ยท
Discuss:
Hacker News
๐
Stream Processing
jank is C++
jank-lang.org
ยท
1d
ยท
Discuss:
Lobsters
,
Hacker News
,
r/programming
๐ป
Programming languages
Show HN: Authorization in LLM Applications
osohq.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
LLMs and Algorithmic Trading
architect.co
ยท
1d
ยท
Discuss:
Hacker News
๐
Timeseries
LLMs for coding (+ free workflow templates)
blog.n8n.io
ยท
21h
ยท
Discuss:
Hacker News
๐ป
Programming languages
HMQ: Principal Type Inference Under a Prefix
microsoft.com
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Are Developers Out of a Job?
argmin.net
ยท
4h
ยท
Discuss:
Hacker News
๐
Performance Profiling
C++: Maps on Chains
bannalia.blogspot.com
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Python and Make in 2025
onebadbit.com
ยท
3h
ยท
Discuss:
Hacker News
๐ป
Programming languages
LLMs show cultural theory was right about the death of the author
programmablemutter.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev
ยท
4d
ยท
Discuss:
Lobsters
,
Hacker News
,
r/programming
๐ป
Programming languages
2025 Essay Competition: Focus on Quantum Biology
qspace.fqxi.org
ยท
1h
ยท
Discuss:
Hacker News
๐
Distributed systems
Using Clouds for too long might have made you incompetent
loudwhisper.me
ยท
2h
ยท
Discuss:
Hacker News
๐
Distributed systems
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com
ยท
1d
ยท
Discuss:
Substack
๐๏ธ
Database Internals
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org
ยท
5d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Types are Transforming Python
spin.atomicobject.com
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
It's bye for now, and so here are my final thoughts on technology
yukinu.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Distributed systems
A Mental Model for C++ Coroutine
uvdn7.github.io
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Book review: A New Kind of Science (2005)
bactra.org
ยท
3d
ยท
Discuss:
Hacker News
๐
Query Engines
Loading...
Loading more...
« Page 1
โข
Page 3 »