🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
βœ… Formal Verification

Proof Assistants, Correctness Guarantees, Logic Systems, Specification

A Brief History of Graphs; My Journey Into Application Development
blogs.gnome.orgΒ·2dΒ·
Discuss: r/linux
πŸ¦€Rust
AI slop and fake reports are exhausting some security bug bounties
techcrunch.comΒ·2d
πŸ”„DevOps
Building a full stack website
reddit.comΒ·1dΒ·
Discuss: r/golang
πŸ¦€Rust
ViGuardβ„’ β€” Intelligent Vehicle Shielding System
dev.toΒ·8hΒ·
Discuss: DEV
🌐Network Security
PyDocs – A modern open-source site to learn Python from scratch.
dev.toΒ·2dΒ·
Discuss: DEV
πŸ—οΈLanguage Design
Why Is My nil Error Not nil in Go? Unpacking Nil Interfaces
dev.toΒ·2dΒ·
Discuss: DEV
πŸ¦€Rust
A Formal Model of the Economic Impacts of AI Openness Regulation
arxiv.orgΒ·5d
πŸ¦€Rust
The Migration That Mattered: Moving from Law Books to Code Bases
dev.toΒ·2dΒ·
Discuss: DEV
πŸ—οΈLanguage Design
Factors Impacting Faculty Adoption of Project-Based Learning in Computing Education: a Survey
arxiv.orgΒ·2d
πŸ”„DevOps
Major Quantum Computing Advance Made Obsolete by Teenager
quantamagazine.orgΒ·2dΒ·
Discuss: Hacker News
πŸ¦€Rust
Sequential Bayesian Design for Efficient Surrogate Construction in the Inversion of Darcy Flows
arxiv.orgΒ·3d
πŸ—οΈLanguage Design
CLAMP: Contrastive Learning with Adaptive Multi-loss and Progressive Fusion for Multimodal Aspect-Based Sentiment Analysis
arxiv.orgΒ·3d
🎨UX, UI
Beyond Binary Rewards: Training LMs to Reason About Their Uncertainty
arxiv.orgΒ·4d
πŸ—οΈLanguage Design
Using Data Engineering to Track Food Prices and Inflation in Kenya from 2006 to 2025
dev.toΒ·4dΒ·
Discuss: DEV
πŸ¦€Rust
SETOL: A Semi-Empirical Theory of (Deep) Learning
arxiv.orgΒ·2dΒ·
Discuss: Hacker News
πŸ—οΈLanguage Design
Boosting Ray Search Procedure of Hard-label Attacks with Transfer-based Priors
arxiv.orgΒ·3d
🌐Network Security
A tissue and cell-level annotated H&E and PD-L1 histopathology image dataset in non-small cell lung cancer
arxiv.orgΒ·3d
🎨UX, UI
Orka-Reasoning
dev.toΒ·3dΒ·
Discuss: DEV
🐳Container Orchestration
Generation of Synthetic Clinical Text: A Systematic Review
arxiv.orgΒ·2d
πŸ—οΈLanguage Design
Meta names Shengjia Zhao as chief scientist of AI superintelligence unit
techcrunch.comΒ·1dΒ·
Discuss: Hacker News
πŸ”„DevOps
Loading...Loading more...
AboutBlogChangelogRoadmap