๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ›ก๏ธ Proof-Carrying Data

Verified Preservation, Formal Guarantees, Type Safety, Archive Correctness

Kali Vagrant Rebuilt: Out With Packer, In With DebOS
kali.orgยท1d
๐Ÿ“ฆContainer Security
Cobra & Viper Fortify Security as Part of GitHub Secure Open Source Fund
spf13.comยท3d
๐Ÿ”“Open Source Software
The Delusion Machine
hedgehogreview.comยท1d
๐Ÿ”ฒProof Irrelevance
Are daily dreams future insights or past reflections?
aidreamscope.comยท44mยท
Discuss: Hacker News
๐Ÿ“Log Parsing
Injection-proof SQL builders in Go
oblique.securityยท3dยท
Discuss: r/golang
โœ…Format Verification
How Parents Can Help Kids Use AI Responsibly for Homework
mezha.netยท1dยท
Discuss: Hacker News
๐Ÿค–AI Curation
Introducing Pivotal Token Search (PTS): Targeting Critical Decision Points in LLM Training
huggingface.coยท4dยท
Discuss: Hacker News, r/LLM, r/programming
๐ŸŽฏInteractive Provers
Why are people excited about the GPT-5 router?
theahura.substack.comยท1dยท
Discuss: Substack
๐Ÿ“žWebRTC
A kernel compression method for distributed-order fractional partial differential equations
arxiv.orgยท2d
๐Ÿ“ˆTime Series
SOC Analysts: How to Future-Proof Your Career in the Age of AI
dev.toยท2hยท
Discuss: DEV
๐ŸŽฏThreat Hunting
(Part 4) Build a Simple Chat Character Gallery: Adding Searchbar & Filter
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
The Weirdest Syntax in Programming Languages (And Why It Exists)
dev.toยท3dยท
Discuss: DEV
๐Ÿ’ปProgramming languages
Building Octint Solutions: the story of creating a modern tech website using Python and C++
dev.toยท3dยท
Discuss: DEV
๐Ÿ“Code Metrics
Robust Data Fusion via Subsampling
arxiv.orgยท3d
๐Ÿง Machine Learning
DeCoT: Decomposing Complex Instructions for Enhanced Text-to-Image Generation with Large Language Models
arxiv.orgยท3d
๐Ÿš€SIMD Text Processing
Automated Anomaly Detection in Carboxylic Acid Polymer Degradation via Spectral Deconvolution and Bayesian Inference
dev.toยท1dยท
Discuss: DEV
๐ŸŒˆSpectroscopy
Categorical Policies: Multimodal Policy Learning and Exploration in Continuous Control
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Automated Multi-Modal Protein Expression Analysis via Dynamic Federated Learning
dev.toยท5dยท
Discuss: DEV
๐Ÿ”Vector Forensics
Groundwater: How scientists explore the mysteries of ancient aquifers
phys.orgยท18h
๐Ÿ“ฐRSS Archaeology
Grounding Rule-Based Argumentation Using Datalog
arxiv.orgยท4d
๐Ÿง Computational Logic
Loading...Loading more...
AboutBlogChangelogRoadmap