🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

Why we need better software identification
softwareheritage.org·2d
🔗Binary Similarity
Teacher’s fraction grading shocks internet
mindyourdecisions.com·2d
🎯Arithmetic Coding Theory
OpenAI prepares to launch GPT-5, but big leaps are unlikely
the-decoder.com·12h
🔲Cellular Automata
I Configure BorgBackup and Borgmatic
justus.pw·1d·
Discuss: Hacker News
🍎Apple Archive
ETH Surges Past $3K as Glassnode Flags Rare Flip in Futures Volume over Bitcoin
coindesk.com·11h·
Discuss: Hacker News
🔍BitFunnel
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·1d·
Discuss: Hacker News
📡Network Protocol Design
Show HN: I Made LocalStorage Better
npmjs.com·6h·
Discuss: Hacker News
🎯Dependent Preservation
Benchmarking MicroPython
blog.miguelgrinberg.com·2d·
Discuss: Hacker News, r/programming
🎯Emulator Accuracy
LivinGrimoire VS Standalone LLM
dev.to·21h·
Discuss: DEV
🔄Archival Workflows
StepFun Built an Efficient and Cost-Effective LLM Storage Platform with JuiceFS
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Revolutionize Your AI Workflow with Prompt Optimizer!
dev.to·1d·
Discuss: DEV
🤖Archive Automation
What is Python Any Type
dev.to·5d·
Discuss: DEV
🎯Gradual Typing
Tensor-based reduction of linear parameter-varying state-space models
arxiv.org·1d
📐Linear Algebra
Improving annotator selection in Active Learning using a mood and fatigue-aware Recommender System
arxiv.org·1d
🎛️Feed Filtering
Pied Piper a AI Dorker v3.0 - Advanced OSINT Tool for AI Service Security Research
dev.to·1d·
Discuss: DEV
🏺Kerberos Archaeology
VibeTDD Experiment 3: When Human Takes the Lead
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Federated Distributionally Robust Optimization with Non-Convex Objectives: Algorithm and Analysis
arxiv.org·2d
🌐Edge Preservation
Vibe Coding a CRM AI Agent in 12 Minutes
dev.to·10h·
Discuss: DEV
🗄️Database Internals
A Developer’s Guide to Go’s Garbage Collection: Mastering the Tri-Color Algorithm
dev.to·3d·
Discuss: DEV
🧠Memory Allocators
A Scalable Pipeline for Estimating Verb Frame Frequencies Using Large Language Models
arxiv.org·2d
🔗Monadic Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap