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

Atomic Design Certification Course
css-tricks.comยท10h
๐ŸŽจUX, UI
Show HN: The Magic of Code โ€“ book about the wonders and weirdness of computation
themagicofcode.comยท2dยท
Discuss: Hacker News
๐Ÿ—๏ธLanguage Design
Python Morsels: Don't call dunder methods
pythonmorsels.comยท2d
๐Ÿฆ€Rust
How to Build Custom Logging for AWS Applications with Slack Integration
hackernoon.comยท1d
๐Ÿฆ€Rust
The Hacker's Edge: Why Mindset Beats Tools in Cybersecurity (Every Time)
dev.toยท23hยท
Discuss: DEV
๐ŸŒNetwork Security
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
arxiv.orgยท2d
๐Ÿฆ€Rust
Enhance generative AI solutions using Amazon Q index with Model Context Protocol โ€“ Part 1
aws.amazon.comยท1d
๐Ÿ”„DevOps
Exploring the Potential of LLMs for Serendipity Evaluation in Recommender Systems
arxiv.orgยท22h
๐ŸŽจUX, UI
Weekly Challenge: The last word is my buddy
dev.toยท2dยท
Discuss: DEV
๐Ÿ—๏ธLanguage Design
We tried to make a silly goose famous and fought bolt in the process
dev.toยท8hยท
Discuss: DEV
๐Ÿฆ€Rust
Humanoid Robot Whole-body Geometric Calibration with Embedded Sensors and a Single Plane
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Building Sentient Space(a social media platform): A Story of AI Speed, Human Grit, and a Bug That Wouldn't Die
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust
ToFe: Lagged Token Freezing and Reusing for Efficient Vision Transformer Inference
arxiv.orgยท1d
๐Ÿฆ€Rust
AwakNow: Building with Bolt - WLH Challenge
dev.toยท11hยท
Discuss: DEV
๐ŸŽจUX, UI
Rethinking Memorization Measures and their Implications in Large Language Models
arxiv.orgยท2d
๐Ÿ—๏ธLanguage Design
A leave-one-out approach to approximate message passing
arxiv.orgยท2d
๐Ÿ—๏ธLanguage Design
Human-Machine Shared Control Approach for the Takeover of Cooperative Adaptive Cruise Control
arxiv.orgยท1d
๐Ÿฆ€Rust
Spintronic Bayesian Hardware Driven by Stochastic Magnetic Domain Wall Dynamics
arxiv.orgยท22h
๐Ÿ—๏ธLanguage Design
ScSAM: Debiasing Morphology and Distributional Variability in Subcellular Semantic Segmentation
arxiv.orgยท22h
๐Ÿ—๏ธLanguage Design
Development and Deployment of Hybrid ML Models for Critical Heat Flux Prediction in Annulus Geometries
arxiv.orgยท2d
๐Ÿ—๏ธLanguage Design
Loading...Loading more...
AboutBlogChangelogRoadmap