Rotten Windowsills: Repair or Replace?
popularmechanics.com·4h
🕵️Format Recovery
English vocabulary: difference between coast, shore, beach, and bank
grammaticus.blog·3d
📝Concrete Syntax
Machine Code Isn't Scary
jimmyhmiller.github.io·4d
🔤Character Encoding
A quick introduction to "gemtext" markup
geminiprotocol.net·2d
📟Terminal Typography
Making an ASCII Animation
pierce.dev·2d·
Discuss: Hacker News
📟Terminal Physics
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·2d·
Discuss: Hacker News
💻Programming languages
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·1d·
Discuss: Hacker News
🏛Digital humanities
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·16h·
Discuss: Hacker News
🧮SMT Solvers
Booting EDK2 (UEFI Reference Implmentation) on Hardkernel Odroid M2
blog.3mdeb.com·8h·
Discuss: Hacker News
🎯Emulator Accuracy
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·1d·
Discuss: DEV
🔄Language Evolution
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·2d
🌳Context free grammars
Unpacking Claude’s System Prompt
oreilly.com·3d
🎙️Whisper
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Improving Drug Identification in Overdose Death Surveillance using Large Language Models
arxiv.org·18h
🧠Machine Learning
Thoughts on External Memory for LLMs
medium.com·14h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Proof-theoretic Semantics for First-order Logic
arxiv.org·18h
🏗️Constructive Logic
How I Got 100/100 From GPT-4, Gemini, Grok, and More—Using Just a .txt File
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Language Models for Adult Service Website Text Analysis
arxiv.org·2d
📝Text Parsing
oapi-codegen v2.5.0 is out
github.com·3d·
Discuss: r/golang
📜Proof Carrying Code
A Beginner’s Guide to Prompt Engineering: Making GPT Models Do What You Want
dev.to·2d·
Discuss: DEV
🎙️Whisper