๐Ÿฟ๏ธ 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

Who lives in a tree house like this . . . ?
newenglishreview.orgยท1d
๐ŸŒฒParse Trees
The Genius of Survival
dothemath.ucsd.eduยท1d
๐Ÿ”ฒCellular Automata
Parts of Europe are suspending postal shipments to the US — and your order may not arrive
businessinsider.comยท7h
โš™๏ธSwedish Assembly
iOS/iPadOS/macOS updates fix actively exploited ImageIO memory corruption
support.apple.comยท9hยท
Discuss: Hacker News
๐ŸŽApple Archive
Announcing the Data Wrangler powered Notebook Results Table
devblogs.microsoft.comยท1d
๐Ÿฆ€Rusty Databases
How to Start Making Games in JavaScript with No Experience
jslegenddev.substack.comยท2dยท
Discuss: Substack
๐ŸŽจSwedish Demoscene
OpenCXD: An Open Real-Device-Guided Hybrid Evaluation Framework for CXL-SSDs
arxiv.orgยท3d
๐Ÿ’พMemory Mapping
Temporal Network Analysis of Microservice Architectural Degradation
arxiv.orgยท3d
๐Ÿ“ŠDependency Graphs
Combining Nonlinear FETI-DP Methods and Quasi-Newton Methods using an SQP Approach
arxiv.orgยท3d
๐Ÿ”ฌLean
SHLIME: Foiling adversarial attacks fooling SHAP and LIME
arxiv.orgยท3d
๐Ÿ”Vector Forensics
CoMoNM: A Cost Modeling Framework for Compute-Near-Memory Systems
arxiv.orgยท3d
โšกCPU Microarchitecture
Multispectral Fine-Grained Classification of Blackgrass in Wheat and Barley Crops
arxiv.orgยท2d
๐Ÿง Machine Learning
A Hybrid Surrogate for Electric Vehicle Parameter Estimation and Power Consumption via Physics-Informed Neural Operators
arxiv.orgยท2d
๐Ÿง Machine Learning
Automated Strain Relief Optimization in Robotic Cable Assemblies using Reinforcement Learning
dev.toยท2dยท
Discuss: DEV
๐Ÿค–Tape Automation
MPCAR: Multi-Perspective Contextual Augmentation for Enhanced Visual Reasoning in Large Vision-Language Models
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
The Cost and Benefits of Developing an AI-Powered Smart Personal Assistant App
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Day 2: Enterprise Testing Infrastructure with TestContainers - 30-Day AI Observability Challenge
dev.toยท5dยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Analyzing evolution of the PipeMagic malware
securityaffairs.comยท1d
๐Ÿ”“Hacking
How Infosys built a generative AI solution to process oil and gas drilling data with Amazon Bedrock
aws.amazon.comยท1d
๐Ÿ“ฐRSS Archaeology
Neuro-inspired Ensemble-to-Ensemble Communication Primitives for Sparse and Efficient ANNs
arxiv.orgยท2h
๐Ÿง Neural Codecs
Loading...Loading more...
AboutBlogChangelogRoadmap