How to Prove That An Email Was Received
metaspike.com·9h
📄Document Digitization
Golang and Let's Encrypt: a free software story
dotat.at·3h
🌳Archive Merkle Trees
Travels, 10
cameroncounts.wordpress.com·14h
🎯Performance Proofs
Show HN: Requests-Based Google Maps Scraper
apify.com·8h·
Discuss: Hacker News
🔍BitFunnel
Networking for Systems Administrators
mwl.io·16h·
Discuss: Hacker News
🌐DNS over QUIC
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
The collective waste caused by poor documentation
shanrauf.com·1d·
Discuss: Hacker News
📦Deflate
Dual-Hierarchy Labelling: Scaling Up Distance Queries on Dynamic Road Networks
arxiv.org·2d
📏Range Queries
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
arxiv.org·2d
🧮Kolmogorov Complexity
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
On Union-Closedness of Language Generation
arxiv.org·2d
🔗Monadic Parsing
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·1d
🔍Type Inference
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
Understanding Sorting Algorithms: From Basics to Advanced Concepts
dev.to·1d·
Discuss: DEV
🌳Trie Structures
Use OpenAI Whisper for Automated Transcriptions
towardsdatascience.com·4h
🎙️Whisper
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics
Explicit Constructions of Sum-Rank Metric Codes from Quadratic Kummer Extensions
arxiv.org·2d
🔢Reed-Solomon Math
Building a Real-World Context-Aware Movie Chatbot Using Amazon Bedrock - Nova Pro
dev.to·9h·
Discuss: DEV
🎙️Whisper
Which AI is the strongest at writing code?
dev.to·19h·
Discuss: DEV
⚡Proof Automation
Hypercubical manifolds in homotopy type theory
arxiv.org·1d
🔶Cubical Type Theory