๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“œ Proof Carrying Code

Program Verification, Certified Compilation, Type Safety, Mobile Code

Threat Bulletin: Fire in the Woods โ€“ A New Variant of FireWood
intezer.comยท3d
๐ŸŒณArchive Merkle Trees
Home Page - MeasureThat.net
measurethat.netยท3d
๐Ÿ“ŠCount-Min Sketch
PostgreSQL 17.6, 16.10, 15.14, 14.19, 13.22, and 18 Beta 3 Released!
postgresql.orgยท3dยท
Discuss: Hacker News
๐Ÿ—„๏ธPostgreSQL WAL
Scaling Agentic AI โ€“ Akka Leads the Way
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
AI and Faster Attack Analysis [Guest Diary], (Wed, Aug 13th)
isc.sans.eduยท3d
โšกProof Automation
Wine-Staging 10.13 Adds Patch For 13 Year Old Bug
phoronix.comยท1d
๐Ÿ”“Open Source Software
NAS case for framework desktop mainboard
reddit.comยท11hยท
Discuss: r/homelab
๐Ÿ”ŒOperating system internals
Claude Code turned a 3-week project into a 2-day task — but nearly broke it
businessinsider.comยท1d
๐ŸŒณIncremental Parsing
Bugcrowd CTF 2025
infosecwriteups.comยท5d
โšกProof Automation
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.orgยท3d
๐Ÿ”—Combinatory Logic
REFN: A Reinforcement-Learning-From-Network Framework against 1-day/n-day Exploitations
arxiv.orgยท2d
๐Ÿ”BitFunnel
Automated Validation of iPSC Differentiation Trajectories via Multi-Modal Fusion & Bayesian Optimization
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Vector Forensics
Automated Cell-Level Gene Editing Fidelity Assessment via Deep Convolutional Feature Fusion
dev.toยท1dยท
Discuss: DEV
๐Ÿ“„Document Digitization
SOI is the Root of All Evil: Quantifying and Breaking Similar Object Interference in Single Object Tracking
arxiv.orgยท3d
๐Ÿ‘๏ธPerceptual Hashing
The Top AI Tool for Devs Isnโ€™t GitHub Copilot, New Report Finds
thenewstack.ioยท1d
๐Ÿ‘๏ธSystem Observability
Day 28: GraphQL in System Design โ€“ A Beginner-Friendly Guide
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ŠGraph Databases
Automated Geochemical Anomaly Detection in Martian Regolith Using Bayesian Hierarchical Modeling
dev.toยท2dยท
Discuss: DEV
๐Ÿ“„Document Digitization
Ask HN: After 5 years, why is nobody using VSCode LiveShare?
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿ Personal Archives
Automated Scientific Literature Validation via Hyperdimensional Semantic Fingerprinting and Causal Reasoning
dev.toยท2dยท
Discuss: DEV
๐Ÿ“œDigital Philology
Hypersonic Flight Body Aerodynamic Tailoring via Adaptive Morphing Structures & Reinforcement Learning
dev.toยท2dยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap