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

Show HN: Mapping the Network Behind "The Network State"
evai.ai·15h·
Discuss: Hacker News
📡BGP Archaeology
Name Matching in Sanctions Screening
senzing.com·2d·
Discuss: Hacker News
🔤Unicode Normalization
Reverse Engineering Pokémon Go Plus (2018)
tinyhack.com·1d·
Discuss: Hacker News
🔐Cryptographic Archaeology
Django Weblog: Building better APIs: from Django to client libraries with OpenAPI
djangoproject.com·1d
🔌Archive APIs
Building Developer-First Identity Solutions with Brian Pontarelli [audio]
packetpushers.net·21h·
Discuss: Hacker News
🧲RISC-V Archaeology
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
Norway confirms dam intrusion by Pro-Russian hackers
securityaffairs.com·15h
🛡Cybersecurity
Shadow: How AI Coding Agents are Transforming DevOps Workflows
devops.com·1d
❄️Nix Adoption
Exploring Content and Social Connections of Fake News with Explainable Text and Graph Learning
arxiv.org·5h
📰Content Curation
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·4d·
Discuss: DEV
🔍Concolic Testing
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
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
Loading...Loading more...
AboutBlogChangelogRoadmap