📜 TEI Encoding

Text Encoding Initiative, Digital Manuscripts, Scholarly Markup, Medieval Documents

Apple's history is hiding in a Mac font
spacebar.news·7h·
Discuss: Hacker News
🖥️Vintage Macintosh
In the beginning was CAOS (1988)
web.archive.org·51m·
Discuss: Hacker News
🐚Shell Calculus
kilobyte/e: wrapper to handle "$EDITOR file:lineno"
github.com·3d
🐚Shell scripting
New NSA/CISA Report Again Urges the Use of Memory-Safe Programming Language
it.slashdot.org·4h
📜Proof Carrying Code
Statically checking Python dicts for completeness
lukeplant.me.uk·2d
✅Format Verification
The Museum of All Things: A Wikipedia You Can Visit
hackernoon.com·8h
🏺Computational Archaeology
Undertrained Tokens in DeepSeek R1
tokencontributions.substack.com·2d·
Discuss: Substack
✅Format Verification
Masochism: a bad rap from inception
languagelog.ldc.upenn.edu·1d
🏛️Philosophy
Programming as an Art - Table of Content
dev.to·1d·
Discuss: DEV
📝Compiler Design
JavaScript to Lowercase: A Developer’s Guide
dev.to·3d·
Discuss: DEV
🔤Unicode Normalization
Middleware Magic Advanced Request Processing（1751200933839400）
dev.to·12h·
Discuss: DEV
🌊Stream Processing
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·3d
✅Format Verification
How Code Feedback MCP Enhances AI-Generated Code Quality
blog.niradler.com·1d
⚡Proof Automation
Get user secrets for projects
dev.to·2h·
Discuss: DEV
📜Proof Carrying Code
Making JavaScript Simple Again
rugu.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
Student Learning Journey Framework（1751201949184500）
dev.to·11h·
Discuss: DEV
🗺️Competency Maps
Revetlla de Sant Joan
dev.to·5h·
Discuss: DEV
🏛Digital humanities
MURF AI Hackathon
dev.to·9h·
Discuss: DEV
🎙️Whisper
Help on my (FOSS) VSCode/Sublime Text Find/Replace-in-files++ tool
reddit.com·1d·
Discuss: r/linux
🐧FOSS
CODE ON JVM PROGRAM AT CONTENTSTACK
dev.to·7h·
Discuss: DEV
🌊Streaming Systems