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

The Pathologies of Big "Messy" Data in Telco โ€ข Jay Fenton โ€ข YOW! 2015
youtube.comยท1d
๐Ÿ”„DevOps
Quiz: Build a Scalable Flask Web Project From Scratch
realpython.comยท1d
๐Ÿฆ€Rust
I developed an AI visual novel maker, not for visual novel fans
reddit.comยท1dยท
Discuss: r/artificial
๐Ÿฆ€Rust
Prompt Engineering for Generative AI โ€ข James Phoenix, Mike Taylor & Phil Winder
youtube.comยท4d
๐Ÿ—๏ธLanguage Design
Data Bias in Human Mobility is a Universal Phenomenon but is Highly Location-specific
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Exploring the Feasibility of Deep Learning Techniques for Accurate Gender Classification from Eye Images
arxiv.orgยท1d
๐Ÿฆ€Rust
Separated-Variable Spectral Neural Networks: A Physics-Informed Learning Approach for High-Frequency PDEs
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Novia AI: Your AI-Powered Education Revolution
dev.toยท1dยท
Discuss: DEV
๐ŸŽจUX, UI
Efficient Chambolle-Pock based algorithms for Convoltional sparse representation
arxiv.orgยท16h
๐Ÿ—๏ธLanguage Design
Machine Learning Fundamentals: loss function tutorial
dev.toยท3dยท
Discuss: DEV
๐ŸณContainer Orchestration
Accessibility and Social Inclusivity: A Literature Review of Music Technology for Blind and Low Vision People
arxiv.orgยท16h
๐ŸŽจUX, UI
Made a back-endless open source visual graphing IDE using Go and WebAssembly.
reddit.comยท2dยท
Discuss: r/golang
๐Ÿฆ€Rust
The Teams Most Skilled at Automating Workflows Are the Ones Triple-Checking Our AI's Purchase Orders
dev.toยท13hยท
Discuss: DEV
๐Ÿ”„DevOps
UnsafeChain: Enhancing Reasoning Model Safety via Hard Cases
arxiv.orgยท6d
๐Ÿฆ€Rust
Top AI Agent Development Companies in 2025
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„DevOps
Smartplay: Building with Bolt - WLH Challenge
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust
I Built a SaaS That Runs Itself While I Sleep
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„DevOps
PesudoCLI - your AI man pages.
dev.toยท3dยท
Discuss: DEV
๐Ÿฆ€Rust
LesiOnTime -- Joint Temporal and Clinical Modeling for Small Breast Lesion Segmentation in Longitudinal DCE-MRI
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
LO-Aware Adaptive Modulation for Rydberg Atomic Receivers
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Loading...Loading more...
AboutBlogChangelogRoadmap