๐ฟ๏ธ 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
Meme Coldplay Generator โ Create a Coldplay Meme Instantly
memecoldplay.com
ยท
10h
ยท
Discuss:
Hacker News
๐
Stream Processing
Show HN: DocGoblin โ A Super Fast Desktop Search Engine for Your PDFs
docgoblin.com
ยท
1d
ยท
Discuss:
Hacker News
๐น
Apache Arrow
Ethical imperatives in the commercialization of brain-computer interfaces
papers.ssrn.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Distributed systems
H2, the Java SQL Database
h2database.com
ยท
1d
ยท
Discuss:
Hacker News
๐๏ธ
Database Internals
Developed the First Quantum Metabolic Avatar, Digital Twin of Human
newswise.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Timeseries
Safer Drivers, Stronger Devices
techcommunity.microsoft.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Why outsourcing cybersecurity is rising in the Adriatic region
helpnetsecurity.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Stream Processing
Generative AI models love to cite Reuters and Axios, study finds
niemanlab.org
ยท
2d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
From Envoy to Consul chasing a latency spike across a globally distributed stack
koyeb.com
ยท
2d
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Downloading arbitrary Apple Podcast episode transcripts
blog.alexbeals.com
ยท
3d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
How to expose Kubernetes OIDC JWKS endpoints
gawsoft.com
ยท
12h
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Fast(er)API: Optimizing Processing Time
fabridamicelli.github.io
ยท
5d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Erase Your Darlings
grahamc.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Distributed systems
Cline Feels Like an Upgrade
koaning.io
ยท
6d
ยท
Discuss:
Hacker News
๐ป
Programming languages
AI could soon think in ways we don't even understand โ evading our efforts to keep it aligned โ top AI scientists warn
livescience.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Distributed systems
Unique, mathematical shortcuts language models use to predict dynamic scenarios
eecs.mit.edu
ยท
5d
ยท
Discuss:
Hacker News
๐ป
Programming languages
The magic wand that solves agent memory
news.ycombinator.com
ยท
2d
ยท
Discuss:
Hacker News
๐ง
Memory Management
The First Large Visual Memory Model
memories.ai
ยท
2d
ยท
Discuss:
Hacker News
๐
Query Engines
The Many Faces of Agentic Identities
cyata.ai
ยท
3d
ยท
Discuss:
Hacker News
๐
Security Patterns
Dollo's Law of Irreversibility
en.wikipedia.org
ยท
16h
ยท
Discuss:
Hacker News
๐
Timeseries
Loading...
Loading more...
« Page 27
โข
Page 29 »