🐿️ 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

The Surprisal Calculator WM±7
surprisal.onrender.com·9h·
Discuss: Hacker News
📟Terminal Typography
Show HN: Mapping the Network Behind "The Network State"
evai.ai·11h·
Discuss: Hacker News
📡BGP Archaeology
Shapes and Shadows – CSS
codepen.io·19h·
Discuss: Hacker News
🖋Typography
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·1d
🔌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
An Encryption Algorithm
dev.to·4d·
Discuss: DEV
🔐Homomorphic Encryption
Helping fluxcd redeploy helmrelease when configmaps/secrets change
reddit.com·1d·
Discuss: r/kubernetes
🧊Arctic Storage
Improving ARDS Diagnosis Through Context-Aware Concept Bottleneck Models
arxiv.org·1d
🎵Audio ML
Long-Term Client Selection for Federated Learning with Non-IID Data: A Truthful Auction Approach
arxiv.org·1d
🧠Machine Learning
Targeted Nanobody-Cytokine Fusion Proteins for Enhanced T-Cell Modulation: A Bio-Algorithmic Optimization Approach
dev.to·15h·
Discuss: DEV
⧗Information Bottleneck
Exploring Content and Social Connections of Fake News with Explainable Text and Graph Learning
arxiv.org·1h
📰Content Curation
Building Four Dog Paws: the story, the code, the challenges, and the roadmap
dev.to·23h·
Discuss: DEV
📊Feed Optimization
Automated Geochemical Anomaly Detection in Martian Regolith Using Bayesian Hierarchical Modeling
dev.to·13h·
Discuss: DEV
📄Document Digitization
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
Automated Fault Injection Pattern Recognition via Multi-Modal Hypernetwork Analysis
dev.to·4d·
Discuss: DEV
🔍Concolic Testing
I moved my server out of my attic!
reddit.com·12h·
Discuss: r/homelab
🏠HomeLab
Building AI agents made easy with Goose and Docker
docker.com·2d·
Discuss: Hacker News
🏠Homelab Orchestration
Loading...Loading more...
AboutBlogChangelogRoadmap