Energy Driven Development
blog.waleson.com·16m·
Discuss: blog.waleson.com
🔩Systems Programming
From Prompt Engineering to Context Engineering
adaline.ai·1d·
Discuss: Hacker News
🔗Constraint Handling
Writing experience: My decade with Org
lmno.lol·2d
🦋Format Metamorphosis
Systematic AI Development: A Demo Project Breakdown
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·21h·
Discuss: Hacker News
🦀Rust Macros
Bloom's Digital Taxonomy Verbs
pivot.umbc.edu·23h·
Discuss: Hacker News
🏛Digital humanities
(Weak) Factorization Systems
bartoszmilewski.com·23h·
Discuss: Hacker News
🔀Category Theory
Joy & Curiosity #47
registerspill.thorstenball.com·4h
🌀Brotli Internals
Fine-Tuning in Sentence Transformers 3 – Aurelio AI
aurelio.ai·4d·
Discuss: Hacker News
📝Text Embeddings
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·2d
🧮Algebraic Archives
Benchmarking Amazon Nova: A comprehensive analysis through MT-Bench and Arena-Hard-Auto
aws.amazon.com·2d
🎙️Whisper
Show HN: Resume as Code
alexcwatt.com·12h·
Discuss: Hacker News
🦋Format Metamorphosis
Show HN: LogMerge – View multiple log files in a merged view
github.com·1d·
Discuss: Hacker News
📝Log Parsing
XSLT: A Precision Tool for the Future of Structured Transformation
xml.com·6d·
Discuss: Hacker News
📋Document Grammars
Three HTTP versions later, forms are still a mess
yorickpeterse.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🌐Web Standards
I am a SOTA 0-shot classifier of your slop
christopherkrapu.com·22h·
Discuss: Hacker News
⚡Proof Automation
Understanding LangChain, LangGraph, and LangSmith
dev.to·3d·
Discuss: DEV
🌳Context free grammars
Your personal Blockchain tutor powered by AssemblyAI
dev.to·9h·
Discuss: DEV
🎙️Whisper
ContextSphere 8B: A New AI Paradigm
dixonary.co.uk·3d·
Discuss: Hacker News
🔢Denotational Semantics
Never write your own Date Parsing Library
zachleat.com·2d·
Discuss: Hacker News
✅Format Verification