๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Crystal Palace suffer huge Europa League blow as Lyon relegation overturned
the-independent.comยท6h
๐ŸงฎArchive Algebra
Building digital public goods: Reflections from UN Open Source Week 2025
opensource.orgยท1d
๐Ÿ”“Open Source Software
Hackers weaponize Shellter red teaming tool to spread infostealers
securityaffairs.comยท12h
๐Ÿ”“Hacking
What's new in biology: summer 2025
worksinprogress.newsยท4hยท
Discuss: Hacker News
๐ŸงฌCopy Number Variants
vCluster Fridays - Flux Edition : What is Flux, how does it work, can we get it working with vCluster OSS (spoiler - yes) - Friday, July 11th @ 8AM Pacific
youtube.comยท5h
๐Ÿ”ฉSystems Programming
Microsoft SecureBoot time-bomb ticks at its own pace
support.microsoft.comยท7hยท
Discuss: Hacker News
๐Ÿ”’Secure Boot
Patchday: Adobe protects After Effects & Co. from possible attacks
heise.deยท8h
๐Ÿ’ฃZIP Vulnerabilities
Quimera: Feedback-driven exploit generation for smart contracts using LLMs
gustavo-grieco.github.ioยท5dยท
Discuss: Hacker News
โš”๏ธLean Tactics
Show HN: Publish IPFS webapps which require user consent to update
github.comยท4hยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
OpenID Connect RP Metadata Choices is an Implementerโ€™s Draft
self-issued.infoยท3h
๐Ÿ“‹Format Specification
Practically-a-Book Review: Byrnes on Trance
astralcodexten.comยท24mยท
Discuss: Hacker News
๐Ÿ›๏ธPhilosophy
Thousand-Brains Systems: Sensorimotor Intelligence for Rapid, Robust Learning and Inference
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Tempo-R0: A Video-MLLM for Temporal Video Grounding through Efficient Temporal Sensing Reinforcement Learning
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
ISLES'24 -- A Real-World Longitudinal Multimodal Stroke Dataset
arxiv.orgยท1d
๐ŸŒ€Differential Geometry
Affective-ROPTester: Capability and Bias Analysis of LLMs in Predicting Retinopathy of Prematurity
arxiv.orgยท17h
๐Ÿ”Information Retrieval
Hereโ€™s a Free GitHub Resource I Built for AI-102 Exam Practice
dev.toยท9hยท
Discuss: DEV
๐Ÿ“Proof Assistants
Non-Intrusive Binaural Speech Intelligibility Prediction Using Mamba for Hearing-Impaired Listeners
arxiv.orgยท17h
๐Ÿ‘‚Psychoacoustic Models
Entropy stable conservative flux form neural networks
arxiv.orgยท17h
๐Ÿ”ฒCellular Automata
OpenWorldSAM: Extending SAM2 for Universal Image Segmentation with Language Prompts
arxiv.orgยท17h
๐Ÿ“„Semantic Chunking
On the Effectiveness of Methods and Metrics for Explainable AI in Remote Sensing Image Scene Classification
arxiv.orgยท17h
๐Ÿ“ŠLearned Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap