Spacing Over Cards
smagin.fyi·2d·
Discuss: Hacker News, r/programming
📖Nordic Typography
Anti-patterns and patterns for achieving secure generation of code via AI
ghuntley.com·1h·
Discuss: Hacker News
⚔️Lean Tactics
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🔤Type Theory
Lessons from building an AI data analyst
pedronasc.com·1d·
Discuss: Hacker News
🌀Brotli Internals
3D QR Codes
erikdemaine.org·1d·
Discuss: Hacker News
📱QR Archaeology
Normality and the Turing Test
arxiv.org·1d
🎯Automata theory
A streamlined base editor engineering strategy to reduce bystander editing
nature.com·3d·
Discuss: Hacker News
🧬Copy Number Variants
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
✅Format Verification
Dynamic Bio-Digital Archive Reconstruction via Temporal Graph Neural Networks
dev.to·5h·
Discuss: DEV
⏳Time Capsule Networks
The Intersection of Poetry and Technology: A New Frontier for Writers By Odeta Rose, A Distinguished Poet and Writer
dev.to·1h·
Discuss: DEV
🏛Digital humanities
<div xmlns="http://www.w3.org/1999/xhtml"> Writing letters with <code>groff</code> and an old printer </div>
uninformativ.de·3d·
Discuss: Hacker News
🖋Typography
I Miss Using Em Dashes
bassi.li·17h·
Discuss: Hacker News
📄Text Segmentation
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·1d·
Discuss: Substack
🐚Shell Calculus
Quantifying Label-Induced Bias in Large Language Model Self- and Cross-Evaluations
arxiv.org·1d
🔍Information Retrieval
Richard Pryor Stole a Lot of Half Cents and Bought a Ferrari
news.alvaroduran.com·9h·
Discuss: Hacker News
🧮Algebraic Datatypes
Nix Vegas 2025 Retrospective
nix.vegas·22h·
Discuss: Lobsters
📻Homebrew Protocols
Spec-driven development with AI: Get started with a new open source toolkit
github.blog·59m
📏Code Metrics
A type system for RCL (2024)
ruudvanasseldonk.com·2d·
Discuss: Lobsters, Hacker News
💧Liquid Types
Creating a Twitter Sentiment Analysis NLP Model For Video Games
dev.to·9h·
Discuss: DEV
🤖Grammar Induction
Comparing MCP vs LangChain/ReAct for Chatbots
dev.to·4h·
Discuss: DEV
🌐Protocol Synthesis