Understanding Brotli PDF Compression
pdfa.orgยท7h
๐ŸŒช๏ธBrotli
Prepare for non-human visitors!
techradar.comยท19m
๐ŸŒ€Brotli Internals
Coping with Complexity
slott56.github.ioยท5d
๐Ÿ”—Concatenative Programming
How Does Graph Theory Shape Our World?
quantamagazine.orgยท8hยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท1d
๐Ÿ“ŠGraph Databases
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.appยท1dยท
Discuss: Hacker News
โšกProof Automation
Exploring High Efficiency Web Analysis Results๏ผˆ1750876031390300๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.ukยท3d
๐Ÿ’ปProgramming languages
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Code Metrics
Stop Words Using Spacy - NLP
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Text Parsing
ProofBoard My Hackathon Journey with Bolt!
dev.toยท5hยท
Discuss: DEV
โšกProof Automation
My AI Workflow for Understanding Any Codebase
steipete.meยท1d
โšกProof Automation
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.orgยท18h
๐Ÿ”BitFunnel
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.orgยท2d
๐Ÿ“Code Metrics
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.orgยท2d
๐Ÿ”Type Inference
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.toยท2hยท
Discuss: DEV
๐Ÿ”BitFunnel
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.orgยท18h
๐Ÿ“ƒManuscript Tokenization
On Union-Closedness of Language Generation
arxiv.orgยท2d
๐Ÿ”—Monadic Parsing
Day 5/100: Working with Strings โ€” Basics to Formatting
dev.toยท16hยท
Discuss: DEV
๐Ÿ“Concrete Syntax