🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

Why does /etc/resolv.conf point at 127.0.0.53?
unix.stackexchange.com·1d·
Discuss: Hacker News
🌐Distributed systems
The expanding world of genetic testing for your embryos
jordanagraifman.substack.com·2d·
Discuss: Substack
🚀Query Engines
Choosing the Right Wireless Module for Your Framework Desktop
boilingsteam.com·2d·
Discuss: Hacker News
🌐Distributed systems
Show HN: On-device photo library cleanup and Optimisation
mypixie.app·1d·
Discuss: Hacker News
🏹Apache Arrow
Introducing rr Chaos Mode (2016)
robert.ocallahan.org·4d·
Discuss: Lobsters, Hacker News
📮Message Queues
Marc Andreessen's 'Cold War' Warning: U.S. Must AI Race
sovereignnations.com·1d·
Discuss: Hacker News
🌐Distributed systems
The World’s First Podcaster?
hackaday.com·1d·
Discuss: Hacker News
📮Message Queues
The SSD write cliff in real life (2012)
storagemojo.com·3d·
Discuss: Hacker News
📊Performance Profiling
We are all mercantilists now
bridgewater.com·3d·
Discuss: Hacker News
📈Time Series ML
Simple is a scam
nocomplexity.com·6d·
Discuss: Hacker News
🔐Security Patterns
Chrysalis: Designing a Generation Ship
centauri-dreams.org·1d·
Discuss: Hacker News
🌐Distributed systems
Grafana Cloud Metrics memory corruption issue resolved
grafana.com·4d·
Discuss: Hacker News
📦Data Serialization
The Social Media Good, Bad, and Ugly
huijzer.xyz·1d·
Discuss: Hacker News
🔐Security Patterns
A Deeper Dive into Apache Iceberg V3
opensource.googleblog.com·5d·
Discuss: Hacker News, Hacker News, r/opensource
🗃️Database Internals
Not My Torment Nexus
scottkosman.com·2d·
Discuss: Hacker News
📮Message Queues
Debian 13 "Trixie" Released: What’s New in the Latest Version?
news.itsfoss.com·3d·
Discuss: Hacker News
🌐Distributed systems
Manpower discloses data breach affecting nearly 145,000 people
bleepingcomputer.com·2d·
Discuss: Hacker News
📈Time Series ML
The ‘godfather of AI’ reveals the only way humanity can survive superintelligent AI
cnn.com·1d·
Discuss: Hacker News
📈Time Series ML
Leveraging SAP Manufacturing Integration and Intelligence for Operational Excellence
hackernoon.com·5d
🌐Distributed systems
Kishore's Leadership in STIBO MDM & Strategic AI Implementation at a Major Healthcare Organization
hackernoon.com·5d
🌊Stream Processing
Loading...Loading more...
AboutBlogChangelogRoadmap