🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🦀 Rust Verification

Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification

Marketplace: my first attempt at training without backprop on GPU efficiently
fangpenlin.com·3d
🔍Vector Forensics
Can do: the rise of tinnification
theguardian.com·3h
☕Coffee
Chrome intends to remove XSLT from the HTML spec
github.com·2d·
Discuss: Hacker News
🔀XSLT
Top AWS chip designer reportedly defects to Arm as it weighs push into silicon
theregister.com·1d
🖥️Hardware Architecture
ECUre: The AI-Powered Guardian Securing Your Car's Electronic Control Units from Malware
hackernoon.com·2d
🦀Embedded Rust
Maize plants use a volatile gas to fight off pests in densely crowded fields
phys.org·2d
☕Coffee Chemistry
Massive Orange Belgium data breach may have hit over 850,000 customers - here's what we know
techradar.com·5h
🔓Hacking
Four Remarkable Stories from the History of Math Behind Bars
scientificamerican.com·1d
📚Archive Mathematics
Botanical time machines: AI is unlocking a treasure trove of data held in herbarium collections
phys.org·1d
📄Document Digitization
Ask HN: Do you rely on ChatGPT when the system fails you?
news.ycombinator.com·1d·
Discuss: Hacker News
🧮Constraint SMT
Researchers glimpse the inner workings of protein language models
news.mit.edu·2d
🔢Denotational Semantics
Anthropic is adding Claude Code to business plans - so now all your workers can enjoy a major AI boost
techradar.com·5h
🖥️Modern Terminals
Air gap security: why disconnected doesn't mean defenseless
runzero.com·2d
🏠Homelab Security
OneUptime – open-source observability platform
github.com·3d·
Discuss: Hacker News
🌊Streaming Systems
Social Debiasing for Fair Multi-modal LLMs
arxiv.org·11h
🎛️Feed Filtering
ETTRL: Balancing Exploration and Exploitation in LLM Test-Time Reinforcement Learning Via Entropy Mechanism
arxiv.org·3d
🔍Concolic Testing
DORA: six months into a resilience revolution
techradar.com·2d
🎯Threat Hunting
Automated Verification of Model-Based Design Transformations via Formal Methods and Deep Learning
dev.to·6d·
Discuss: DEV
⚙️Proof Engineering
The Hidden Dangers of AI-Driven Automation: What We’re Overlooking
dev.to·1d·
Discuss: DEV
🤖AI Curation
Systematic FAIRness Assessment of Open Voice Biomarker Datasets for Mental Health and Neurodegenerative Diseases
arxiv.org·11h
👂Audio Evidence
Loading...Loading more...
AboutBlogChangelogRoadmap