๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿฆ€ Rust Verification

Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification

Single Sign On for Furries
cendyne.devยท31m
๐Ÿ Homelab Federation
Moving SatDump Towards V2.0.0
rtl-sdr.comยท8h
๐Ÿ“ปHomebrew Protocols
3 tips for refactoring code with AI agents
kylenazario.comยท3d
๐Ÿ”ŒInterface Evolution
Understanding Python Namespace Packages
pythonkoans.substack.comยท2dยท
Discuss: Substack
๐Ÿ“ฆPackage Managers
The Surprisal Calculator WMยฑ7
surprisal.onrender.comยท16hยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Typography
Name Matching in Sanctions Screening
senzing.comยท2dยท
Discuss: Hacker News
๐Ÿ”คUnicode Normalization
Show HN: Building a web search engine from scratch with 3B neural embeddings
blog.wilsonl.inยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Semantic Search
DARPA announces $4M winner of AI code review competition at DEF CON
therecord.mediaยท3dยท
Discuss: Hacker News
โš™๏ธProof Engineering
I wanted to take more pictures, so I vibecoded a portfolio
blog.etra0.clยท14hยท
Discuss: Hacker News
๐Ÿ›Digital humanities
Copado Extends AI Reach to Surface Relationships Between Salesforce Code
devops.comยท40m
๐Ÿ”—Supply Chain
Enhanced Air Electrode Optimization via Adaptive Multi-Scale Porosity Modeling
dev.toยท1dยท
Discuss: DEV
โšกIncremental Computation
Fine-Tuning LLaMA in 5 Minutes with Unsloth - Unrivaled Speed & Simplicity
dev.toยท2dยท
Discuss: DEV
โšกPerformance Mythology
Integrating Clinical Knowledge Graphs and Gradient-Based Neural Systems for Enhanced Melanoma Diagnosis via the 7-Point Checklist
arxiv.orgยท1d
๐Ÿ•ธ๏ธAlgebraic Topology
Optimal Representation for Right-to-Left Parallel Scalar Point Multiplication
arxiv.orgยท3d
๐ŸงฎAlgebraic Datatypes
Predictive Routing Optimization via Dynamic Multi-Agent Reinforcement Learning (D-MARL)
dev.toยท1dยท
Discuss: DEV
โšกIncremental Computation
Automated Fault Injection Pattern Recognition via Multi-Modal Hypernetwork Analysis
dev.toยท5dยท
Discuss: DEV
๐Ÿ”Concolic Testing
Building AI agents made easy with Goose and Docker
docker.comยท2dยท
Discuss: Hacker News
๐Ÿ Homelab Orchestration
Cisco fixed maximum-severity security flaw in Secure Firewall Management Center
securityaffairs.comยท4h
๐ŸŒDNS Security
Exploring the Challenges and Opportunities of AI-assisted Codebase Generation
arxiv.orgยท3d
๐Ÿ—๏ธCompiler Archaeology
Subsampling Factorization Machine Annealing
arxiv.orgยท2d
๐ŸŒŠStreaming Algorithms
Loading...Loading more...
AboutBlogChangelogRoadmap