๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ›ก๏ธ Proof-Carrying Archives

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs

How to prepare for a Mac device security audit
jamf.comยท1h
๐Ÿ”—Data Provenance
Building software teams that manage mistakes rather than rejecting them
testdouble.comยท15h
๐Ÿ”„Reproducible Builds
DeepMind and OpenAI claim gold in International Mathematical Olympiad
newscientist.comยท1d
๐Ÿง Intelligence Compression
The Promised LAN
tpl.houseยท22hยท
Discuss: Lobsters, Hacker News
๐Ÿ Homelab Federation
Analyzing Sharepoint Exploits (CVE-2025-53770, CVE-2025-53771), (Wed, Jul 23rd)
isc.sans.eduยท19h
๐ŸŒWASI
systemd 258-rc1 Is A Massive Feature Release With New Tools, More Than 260 Changes
phoronix.comยท21hยท
Discuss: Lobsters, Hacker News
๐Ÿ”ŒOperating system internals
Build a Parking sensor with ESP32 board, LEDs and Ultrasonic distance sensor
poeticoding.comยท1hยท
Discuss: Hacker News
๐Ÿ”ŒSingle Board PC
Postgres schema changes without downtime? pgroll hits 5k stars
xata.ioยท2dยท
Discuss: Hacker News
๐Ÿ”„Schema Evolution
Understanding NoSQL Databases: A Flexible Approach to Data Storage day 13 of learning system Design
dev.toยท1hยท
Discuss: DEV
๐Ÿ“ŠGraph Databases
We Built An Entire Newsroom with LLMs โ€“ Then We Showed The Print To the Real One
medium.comยท2dยท
Discuss: Hacker News
๐Ÿ“‹Document Layout
VisionTrap: Unanswerable Questions On Visual Data
arxiv.orgยท11h
๐Ÿ“ธTIFF Archaeology
Dual Turing Test: A Framework for Detecting and Mitigating Undetectable AI
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Compose Editing Evolved: Schema-Driven and Context-Aware
docker.comยท2d
๐Ÿฆ€Rust Macros
DL580 Gen9 - My new (to me) number cruncher!
reddit.comยท3hยท
Discuss: r/homelab
๐Ÿ–ฅ๏ธTerminal Renaissance
Just completed AWS AI & ML challenge.
dev.toยท2dยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Integrating Newton's Laws with deep learning for enhanced physics-informed compound flood modelling
arxiv.orgยท2d
๐Ÿง Learned Compression
Local Dev Environment Is a Product. Treat It Like One
medium.comยท11hยท
Discuss: Hacker News
๐ŸšNordic Shell
Machine Learning Fundamentals: federated learning with python
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Pingy: Building with Bolt - WLH Challenge
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Fluid Antenna-enabled Near-Field Integrated Sensing, Computing and Semantic Communication for Emerging Applications
arxiv.orgยท2d
๐Ÿ“กInformation theory
Loading...Loading more...
AboutBlogChangelogRoadmap