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

Bitnami Deprecation
raesene.github.ioยท16hยท
Discuss: Lobsters, Hacker News
๐Ÿ“ฆContainer Security
LibreOffice 25.8: Faster, leaner, and finally speaks PDF 2.0
theregister.comยท10h
๐Ÿ”„Language Evolution
"The Lottery," by Shirley Jackson
newyorker.comยท16hยท
Discuss: Hacker News
๐Ÿ’ปLocal first
Elon Musk's XAI Exposed Grok Conversations to Google
computing.co.ukยท14hยท
Discuss: Hacker News
๐Ÿ“ฐRSS Archaeology
Evidence from Neolithic burial pits reveals gruesome war practices
phys.orgยท12h
๐ŸŒWARC Mining
English tourist in critical condition after assault in Dublin
the-independent.comยท18h
๐Ÿ›ฃ๏ธBGP Hijacking
Freeway stop in Pleasanton ends with driver arrested on suspicion of retail theft
mercurynews.comยท1d
๐Ÿดโ€โ˜ ๏ธPiracy
Ravi Kotapati Transforms PAM for 800,000+ Privileged Accounts w/ Zero Trust & Cloud-Native Security
hackernoon.comยท14h
๐Ÿ”—Data Provenance
DPRK, China Suspected in South Korean Embassy Attacks
darkreading.comยท1d
๐Ÿ›กCybersecurity
Foldable SuperNets: Scalable Merging of Transformers with Different Initializations and Tasks
arxiv.orgยท3d
๐Ÿ”—Monadic Parsing
Pair Programming: When Explanations Go Too Far
hackernoon.comยท4d
โœจEffect Handlers
Slow, steady tissue forces may be as important as genes and biochemistry in shaping developing organs
phys.orgยท8h
๐Ÿ”ฒCellular Automata
Swarm-in-Blocks: Simplifying Drone Swarm Programming with Block-Based Language
arxiv.orgยท3d
๐ŸคConsensus Protocols
Real-Time Elastographic Imaging Reconstruction via Adaptive Sparse-Sensing and Deep Convolutional Networks
dev.toยท17hยท
Discuss: DEV
๐ŸŒŠDigital Signal Processing
A Comparative Study of Decoding Strategies in Medical Text Generation
arxiv.orgยท1d
โš™๏ธCompression Benchmarking
Backdooring Self-Supervised Contrastive Learning by Noisy Alignment
arxiv.orgยท1d
๐Ÿง Machine Learning
Treasurer and PM get on the same page as Butler blindsides
abc.net.auยท1d
๐ŸŽฏGradual Typing
Assessing Pedestrian Behavior Around Autonomous Cleaning Robots in Public Spaces: Findings from a Field Observation
arxiv.orgยท1d
๐Ÿ”ถVoronoi Diagrams
From Code Struggles to AI-SymDev: Why I'm Redefining What It Means to Be a Developer in 2025
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Language Evolution
Attacks on N-able N-central ongoing, more than 1000 systems unpatched
heise.deยท2d
๐Ÿ”“Hacking
Loading...Loading more...
AboutBlogChangelogRoadmap