🐿️ 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·2h
🏠Homelab Federation
3 tips for refactoring code with AI agents
kylenazario.com·3d
🔌Interface Evolution
Name Matching in Sanctions Screening
senzing.com·2d·
Discuss: Hacker News
🔤Unicode Normalization
Django Weblog: Building better APIs: from Django to client libraries with OpenAPI
djangoproject.com·2d
🔌Archive APIs
Show HN: Building a web search engine from scratch with 3B neural embeddings
blog.wilsonl.in·2d·
Discuss: Lobsters, Hacker News
🔍Semantic Search
[$] Possible paths for signing BPF programs
lwn.net·2d
🛡️eBPF Security
Copado Extends AI Reach to Surface Relationships Between Salesforce Code
devops.com·2h
🔗Supply Chain
Helping fluxcd redeploy helmrelease when configmaps/secrets change
reddit.com·2d·
Discuss: r/kubernetes
🧊Arctic Storage
Optimal Representation for Right-to-Left Parallel Scalar Point Multiplication
arxiv.org·3d
🧮Algebraic Datatypes
Automated Fault Injection Pattern Recognition via Multi-Modal Hypernetwork Analysis
dev.to·5d·
Discuss: DEV
🔍Concolic Testing
I moved my server out of my attic!
reddit.com·22h·
Discuss: r/homelab
🏠HomeLab
Building AI agents made easy with Goose and Docker
docker.com·2d·
Discuss: Hacker News
🏠Homelab Orchestration
Exploring the Challenges and Opportunities of AI-assisted Codebase Generation
arxiv.org·3d
🏗️Compiler Archaeology
Subsampling Factorization Machine Annealing
arxiv.org·2d
🌊Streaming Algorithms
Predictive Routing Optimization via Dynamic Multi-Agent Reinforcement Learning (D-MARL)
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Hallucination vs interpretation: rethinking accuracy and precision in AI-assisted data extraction for knowledge synthesis
arxiv.org·1d
🧠Intelligence Compression
Collective dynamics of strategic classification
arxiv.org·1d
🔲Cellular Automata
Kinetic Isotope Effects in Enzyme-Catalyzed Michaelis-Menten Reactions: A Multi-Scale Modeling Approach
dev.to·13h·
Discuss: DEV
🧮Algorithmic Cooking
Cisco fixed maximum-severity security flaw in Secure Firewall Management Center
securityaffairs.com·7h
🌐DNS Security
FOBNN: Fast Oblivious Inference via Binarized Neural Networks
arxiv.org·3d
🔢Binary Embeddings
Loading...Loading more...
AboutBlogChangelogRoadmap