The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Show HN: Compare Word documents in the browser (client-side only)
compare2word.com·16h·
Discuss: Hacker News
🔗Document Similarity
Flag this post
From Raw to Refined: Data Pipeline Architecture at Scale
dev.to·10h·
Discuss: DEV
⚙️Batch Processing
Flag this post
OctoPDF: Free, Accurate, and Reliable PDF/A Validation for Everyone
pdfa.org·2d
📄PDF Archaeology
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
📄Text Chunking
Flag this post
Three New Organisations Join the Our Future Memory Movement
internetarchive.eu·1d
⚖️Archive Ethics
Flag this post
Markdown Is Holding You Back
newsletter.bphogan.com·10h·
Discuss: Hacker News
📋Document Grammar
Flag this post
Cyber Humanities for Heritage Security
cacm.acm.org·1d
🎭Cultural Informatics
Flag this post
pyaccdb: Python library for Microsoft Access .accdb files
yingtongli.me·18h
🔤EBCDIC Mining
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔐Cryptographic Archaeology
Flag this post
Meet the SWHID: The end of broken links, broken builds
softwareheritage.org·2d
🏺Format Archaeology
Flag this post
Show HN: RAG-chunk – A tool to choose optimal chunk sizes for RAG
medium.com·1d·
Discuss: Hacker News
📄Text Chunking
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
Format Validation
Flag this post
Outline for a European Books Data Commons
openfuture.eu·2d
📚MARC Archaeology
Flag this post
rpki-client seeks €300K in funding by 2026 to sustain development
discoverbsd.com·2d
🔌Operating system internals
Flag this post
A report from our 2025 conference on ‘Records at Risk’
britishrecordsassociation.org.uk·3d
📋records management
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·8h·
Discuss: Hacker News
📟Terminals
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post