๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“œ Smart Contracts

Solidity, Auditing, Formal Verification, DeFi Protocols

the core of rust
jyn.devยท1dยท
Discuss: Lobsters, Hacker News, r/rust
โš™๏ธProgramming
Design and Optimization of a Hybrid VLC/THz Infrastructure-to-Vehicle Communication System for Intelligent Transportation
arxiv.orgยท1d
๐Ÿ”„Protocol Design
Rewriting Modulo Traced Comonoid Structure
arxiv.orgยท1d
โœ…Formal Verification
The AI-Fraud Diamond: A Novel Lens for Auditing Algorithmic Deception
arxiv.orgยท2d
๐ŸงฎHomomorphic Encryption
Personalized Counterfactual Framework: Generating Potential Outcomes from Wearable Data
arxiv.orgยท1d
๐Ÿ›ก๏ธAI Safety
PB-IAD: Utilizing multimodal foundation models for semantic industrial anomaly detection in dynamic manufacturing environments
arxiv.orgยท1d
๐Ÿค–AI
Beyond the Hype: Why We Chose Redis Streams Over Kafka for Our Microservices
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Protocol Design
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.orgยท2d
โœ…Formal Verification
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.orgยท1d
๐Ÿค–AI
Self-Hosted Hoppscotch Desktop App in Docker: My Production Setup
github.comยท1dยท
Discuss: r/selfhosted
๐Ÿ”—Crypto
openSUSE Security Advisory - openSUSE-SU-2025:15462-1
packetstorm.newsยท2d
๐Ÿ”’Hardware Security
openSUSE Security Advisory - openSUSE-SU-2025:15462-1
packetstorm.newsยท2d
๐Ÿ”’Hardware Security
openSUSE Security Advisory - openSUSE-SU-2025:15462-1
packetstorm.newsยท2d
๐Ÿ”’Hardware Security
openSUSE Security Advisory - openSUSE-SU-2025:15462-1
packetstorm.newsยท2d
๐Ÿ”’Hardware Security
openSUSE Security Advisory - openSUSE-SU-2025:15462-1
packetstorm.newsยท2d
๐Ÿ”’Hardware Security
openSUSE Security Advisory - openSUSE-SU-2025:15462-1
packetstorm.newsยท2d
๐Ÿ”’Hardware Security
openSUSE Security Advisory - openSUSE-SU-2025:15462-1
packetstorm.newsยท2d
๐Ÿ”’Hardware Security
openSUSE Security Advisory - openSUSE-SU-2025:15462-1
packetstorm.newsยท2d
๐Ÿ”’Hardware Security
openSUSE Security Advisory - openSUSE-SU-2025:15462-1
packetstorm.newsยท2d
๐Ÿ”’Hardware Security
7 Best Inventory Software Solutions for Retail Shops
smallbiztrends.comยท14h
๐Ÿ”’Hardware Security
Loading...Loading more...
AboutBlogChangelogRoadmap