Codex Gigas: Who Drew the Devil in This Massive Medieval Bible?
atlasobscura.com·2d
🏰Manuscript Networks
GLAM hacking with userscripts
updates.timsherratt.org·22h
📄PostScript
Historical highlights?
logicmatters.net·2d
🔀Category Theory
Microsoft Names Threat Actors
learn.microsoft.com·8h·
Discuss: Hacker News
🎫Kerberos Exploitation
Malware in DNS
dti.domaintools.com·1d·
Discuss: Hacker News
🌐DNS Security
A literary history of fake texts in Apple's marketing materials
maxread.substack.com·1d·
Discuss: Substack
🍎Apple Computing
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Claude Code on Amazon Bedrock - Anthropic
docs.anthropic.com·27m
👑Isabelle
Why Aggregators Ate the Internet
every.to·17h·
Discuss: Hacker News
🌊Streaming Systems
Situated Software (2004)
web.archive.org·1d·
Discuss: Hacker News
🚀Indie Hacking
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·18h·
Discuss: Hacker News
✨Effect Handlers
Docscrib
dev.to·21h·
Discuss: DEV
📄Document Streaming
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.org·2h
🎯Performance Proofs
Introduction: AI Terminology
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·2h
🧠Machine Learning
Proof-theoretic Semantics for First-order Logic
arxiv.org·2h
🏗️Constructive Logic
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·2h
🧮Kolmogorov Complexity
Spatial ModernBERT: Spatial-Aware Transformer for Table and Key-Value Extraction in Financial Documents at Scale
arxiv.org·3d
📋Document Grammar
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·2d
✨Effect Handlers
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax