๐ฟ๏ธ 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
ยท
13h
ยท
Discuss:
Hacker News
๐
Stream Processing
Ethical imperatives in the commercialization of brain-computer interfaces
papers.ssrn.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Distributed systems
Evergreen Funding
corporatefinanceinstitute.com
ยท
2h
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Show HN: DocGoblin โ A Super Fast Desktop Search Engine for Your PDFs
docgoblin.com
ยท
1d
ยท
Discuss:
Hacker News
๐น
Apache Arrow
Safer Drivers, Stronger Devices
techcommunity.microsoft.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Another Linux utility is being rewritten in Rust
neowin.net
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Why outsourcing cybersecurity is rising in the Adriatic region
helpnetsecurity.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Stream Processing
Make ChatGPT Less Human
chromamine.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Tom Lehrer, Musical Satirist with a Dark Streak, Dies at 97
nytimes.com
ยท
2h
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Generative AI models love to cite Reuters and Axios, study finds
niemanlab.org
ยท
3d
ยท
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
The Satya of Satyaโs Layoff Memo
om.co
ยท
1d
ยท
Discuss:
Hacker News
๐
Distributed systems
Downloading arbitrary Apple Podcast episode transcripts
blog.alexbeals.com
ยท
3d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
How to expose Kubernetes OIDC JWKS endpoints
gawsoft.com
ยท
15h
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Fast(er)API: Optimizing Processing Time
fabridamicelli.github.io
ยท
5d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Smart Routing Saved Exa 90% on LLM Costs
inference.net
ยท
4d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Lying Increases Trust in Science
link.springer.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Security Patterns
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
ยท
6d
ยท
Discuss:
Hacker News
๐ป
Programming languages
The First Large Visual Memory Model
memories.ai
ยท
2d
ยท
Discuss:
Hacker News
๐
Query Engines
Loading...
Loading more...
« Page 28
โข
Page 30 »