๐ฟ๏ธ 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
Why does /etc/resolv.conf point at 127.0.0.53?
unix.stackexchange.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Distributed systems
Show HN: On-device photo library cleanup and Optimisation
mypixie.app
ยท
1d
ยท
Discuss:
Hacker News
๐น
Apache Arrow
Prominent medical journal refuses RFK's call to retract a vaccine study
livescience.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Timeseries
Fitness Landscape
baku89.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Distributed systems
Marc Andreessen's 'Cold War' Warning: U.S. Must AI Race
sovereignnations.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Distributed systems
Simple is a scam
nocomplexity.com
ยท
6d
ยท
Discuss:
Hacker News
๐
Security Patterns
Chrysalis: Designing a Generation Ship
centauri-dreams.org
ยท
2d
ยท
Discuss:
Hacker News
๐
Distributed systems
The Social Media Good, Bad, and Ugly
huijzer.xyz
ยท
2d
ยท
Discuss:
Hacker News
๐
Security Patterns
The Great American Fitness Boom
derekthompson.org
ยท
16h
ยท
Discuss:
Hacker News
๐
Timeseries
A Deeper Dive into Apache Iceberg V3
opensource.googleblog.com
ยท
6d
ยท
Discuss:
Hacker News
,
Hacker News
,
r/opensource
๐๏ธ
Database Internals
Debian 13 "Trixie" Released: Whatโs New in the Latest Version?
news.itsfoss.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Distributed systems
Meta appoints anti-DEI and anti-LGBTQ+ conspiracy theorist Robby Starbuck as AI bias advisor
advocate.com
ยท
14h
ยท
Discuss:
Hacker News
๐ฆ
DuckDB
I built a Python tool to spot legal risks in AI responses under the EU AI Act
medium.com
ยท
6d
ยท
Discuss:
Hacker News
๐ป
Programming languages
I just unlocked a hidden lever in ChatGPT's "Saved Memory"
news.ycombinator.com
ยท
18h
ยท
Discuss:
Hacker News
๐น
Apache Arrow
Why do we even need SIMD instructions ?
lemire.me
ยท
5d
ยท
Discuss:
Lobsters
,
Hacker News
,
r/programming
๐ป
Programming languages
Swimming Naked: Why Safety Nets Kill Startups
wizenheimer.dev
ยท
4d
ยท
Discuss:
Hacker News
๐งฉ
Microservices
The AI boyfriend ticking time bomb
garbageday.email
ยท
3d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Here is the complete list of Microsoft products being killed off in 2025
neowin.net
ยท
3d
ยท
Discuss:
Hacker News
๐
Distributed systems
AI Eroded Doctorsโ Ability to Spot Cancer Within Months in Study
bloomberg.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Time Series ML
Manpower discloses data breach affecting nearly 145,000 people
bleepingcomputer.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Time Series ML
Loading...
Loading more...
« Page 63
โข
Page 65 »