🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
βœ… Formal Verification

Proof Assistants, Correctness Guarantees, Logic Systems, Specification

US retail giants raise prices and seek new import sources due to tariffs
english.elpais.comΒ·3dΒ·
Discuss: Hacker News, r/Economics
🎨UX, UI
Waymo Granted First Permit To Being Testing Autonomous Vehicles In NYC
tech.slashdot.orgΒ·5d
πŸ¦€Rust
FreeRDP 3.17 Released With Fullchain Support
phoronix.comΒ·6d
πŸ¦€Rust
A German ISP tampered with their DNS – specifically to sabotage my website
lina.shΒ·4dΒ·
Discuss: Lobsters, Hacker News
🌐Network Security
I can't even with these company names...
youtube.comΒ·5d
🌐Network Security
Meta Set To Unveil First Consumer-Ready Smart Glasses With a Display, Wristband
hardware.slashdot.orgΒ·5d
🎨UX, UI
bluetuith - A TUI based Bluetooth manager v0.2.5-rc1 is released
github.comΒ·4dΒ·
Discuss: r/linux
🐳Container Orchestration
Justice Jackson Correctly Defines The John Roberts Supreme Court As The Calvinball Court
techdirt.comΒ·6d
πŸ¦€Rust
Fusing Structural Phenotypes with Functional Data for Early Prediction of Primary Angle Closure Glaucoma Progression
arxiv.orgΒ·6d
πŸ—οΈLanguage Design
Linux Primed For Significant Performance Gains With Kernel Swap Code Rework
phoronix.comΒ·5dΒ·
Discuss: Hacker News, r/linux
πŸ¦€Rust
The Digital Life of Parisian Parks: Multifunctionality and Urban Context Uncovered by Mobile Application Traffic
arxiv.orgΒ·6d
🎨UX, UI
AI maps tangled DNA knots in seconds (could reshape how we see disease)
reddit.comΒ·5dΒ·
Discuss: r/artificial
πŸ—οΈLanguage Design
Amid Service Disruption, Colt Telecom Confirms 'Criminal Group' Accessed Their Data, As Ransomware Gang Threatens to Sell It
it.slashdot.orgΒ·5d
πŸ›‘οΈSecurity
LEGO Meets Clash Royale: This detailed 2,908-brick build captures the entire β€˜Goblin Stadium’
yankodesign.comΒ·6d
πŸ¦€Rust
High-Capacity and Low-PAPR BICM-OFDM Systems Using Non-Equiprobable and Non-Uniform Constellation Shaping With Clipping and Filtering
arxiv.orgΒ·6d
πŸ—οΈLanguage Design
Scientists Discovered Bats Group Hugging and It’s Adorable
404media.coΒ·5d
πŸ—οΈLanguage Design
Amul’s Next Mission: From the Milk Revolution to Tackling Protein Deficiency!
dev.toΒ·3dΒ·
Discuss: DEV
🎨UX, UI
This Week In Techdirt History: August 17th – 23rd
techdirt.comΒ·4d
πŸ¦€Rust
Google says it dropped the energy cost of AI queries by 33x in one year
arstechnica.comΒ·5dΒ·
Discuss: Hacker News
πŸ—οΈLanguage Design
Is AI Really Taking Over Jobs, or Is It All Hype?
reddit.comΒ·6dΒ·
Discuss: r/artificial
πŸ—οΈLanguage Design
Loading...Loading more...
AboutBlogChangelogRoadmap