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

Base58 versus Base85 encoding
johndcook.com·2h
🔤Character Encoding
Brent Yorgey: Competitive programming in Haskell: sparse tables
byorgey.github.io·5d
🧮Algebraic Datatypes
Database Migration Wartime Stories
news.alvaroduran.com·7h·
Discuss: Hacker News
🗄️Database Internals
Foreword for Fuzz Testing Book
pages.cs.wisc.edu·1d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
Tactical Trust (1 of 2): Platform Crypto for Developers
tiemoko.com·4d·
Discuss: Hacker News
🌳Archive Merkle Trees
Make Your Agent Listen: Tactics for Obedience
blog.pamba.app·40m·
Discuss: Hacker News
⚔️Lean Tactics
Canonical Representations of Markovian Structural Causal Models: A Framework for Counterfactual Reasoning
arxiv.org·12h
✨Effect Handlers
Test-Time-Matching: Decouple Personality, Memory, and Linguistic Style in LLM-based Role-Playing Language Agent
arxiv.org·12h
🧠Intelligence Compression
The Risk in AI Products: Fragmented Enterprise Knowledge
medium.com·25m·
Discuss: Hacker News
🌀Brotli Internals
Automating Away Claude's Bad Habits with Hooks | Write-Ahead (b)Log
writeaheadblogg.ing·1d·
Discuss: Lobsters, Hacker News
✨Effect Handlers
Radiological and Biological Dictionary of Radiomics Features: Addressing Understandable AI Issues in Personalized Breast Cancer; Dictionary Version BM1.0
arxiv.org·12h
🧠Machine Learning
The Reason Your AI Code Becomes Unmaintainable (and How to Fix It)
blog.daviddodda.com·16h·
Discuss: Hacker News
🔄Language Evolution
Tiny language models
arxiv.org·1d
🎙️Whisper
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
arxiv.org·2d
🎯Performance Proofs
Intuitionistic monotone modal logic via translation
arxiv.org·2d
🏗️Constructive Mathematics
Explainable Collaborative Problem Solving Diagnosis with BERT using SHAP and its Implications for Teacher Adoption
arxiv.org·1d
🔍Type Inference
RefCritic: Training Long Chain-of-Thought Critic Models with Refinement Feedback
arxiv.org·1d
✨Effect Handlers
Polynomial argmin for recovery and approximation of multivariate discontinuous functions
arxiv.org·1d
📐Error Bounds
From Rules to Relationships: How Machines Are Learning to Understand Each Other
towardsdatascience.com·15h
🧠Machine Learning
CHIMERA: Compressed Hybrid Intelligence for Twin-Model Enhanced Multi-Agent Deep Reinforcement Learning for Multi-Functional RIS-Assisted Space-Air-Ground Integ...
arxiv.org·12h
🧠Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap