🐿️ 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

CRLite: Fast, private, and comprehensive certificate revocation checking in Firefox
hacks.mozilla.org·6d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🛡️Security
Election Management System (EMS) – Secure Web-Based Digital Voting Platform
dev.to·5d·
Discuss: DEV
🦀Rust
Delimitation in India: A Game Changer or a Power Grab?
dev.to·1d·
Discuss: DEV
🎨UX, UI
You can apparently forge QR Codes into Damascus Steel and my mind’s absolutely blown
yankodesign.com·4d
🎨UX, UI
Harvard dropouts to launch ‘always on’ AI smart glasses that listen and record every conversation
techcrunch.com·5d·
Discuss: Hacker News, r/privacy, r/technews
🌐Network Security
Getting Customer Calls on a $0 Budget: Lessons From a Tutoring Startup
hackernoon.com·6d
🦀Rust
Classifying Clinical Outcome of Epilepsy Patients with Ictal Chirp Embeddings
arxiv.org·6d
🦀Rust
How Discord Marketing Services Can Skyrocket Your Brand’s Engagement
dev.to·4d·
Discuss: DEV
🎨UX, UI
BingX ChainSpot 2.0 Goes Live With 15,000 USDT Reward Event
hackernoon.com·5d
🐳Container Orchestration
Linux for a general use - it's ready
reddit.com·5d·
Discuss: r/linux
💻Operating System, OS
Bank Forced To Rehire Workers After Lying About Chatbot Productivity, Union Says
slashdot.org·4d
🦀Rust
Achieving Centralized Business Intelligence Through Integration
dev.to·5d·
Discuss: DEV
🔄DevOps
Dynamic Acoustic Elastography for Early-Stage Tissue Characterization via Adaptive Wavelet Decomposition
dev.to·6d·
Discuss: DEV
🦀Rust
Airtell Router Scans, and Mislabeled usernames, (Wed, Aug 20th)
isc.sans.edu·5d
🌐Network Security
I Gave My AI a Conscience in 3 Lines of Code: The Sacred Pause Pattern
dev.to·6d·
Discuss: DEV
🦀Rust
Cointel Raises $7.4M In Strategic Round Led By Avalanche And Sugafam Inc.
hackernoon.com·5d
🌐Network Security
Harvard Dropouts To Launch 'Always On' AI Smart Glasses That Listen, Record Every Conversation
hardware.slashdot.org·5d
🌐Network Security
3D Printing brings Magic Spun chair to life
yankodesign.com·1d
🎨UX, UI
5 Best Sites to Buy Gmail Accounts in Bulk (PVA & Aged)
dev.to·4d·
Discuss: DEV
🛡️Security
Regional quality estimation for echocardiography using deep learning
arxiv.org·6d
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap