Inside the Unified Log 4: Log entries
eclecticlight.coยท2h
๐Ÿ“Log Parsing
Doodling icons in a grid
sachachua.comยท4d
๐Ÿ–‹Typography
Estimated tokens to merge (ETM) & other notes
gmays.comยท13h
๐ŸŒ€Brotli Internals
Generalizing the central dogma as a cross-hierarchical principle of biology
royalsocietypublishing.orgยท23hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Three Meanings of "To Know"
madhadron.comยท19hยท
Discuss: Hacker News
๐Ÿ”Archive Semantics
Show HN: Was pissed about Google Docs, So I made an Text Editor myself
sourcepilot.coยท2dยท
Discuss: Hacker News
๐ŸŒฑPersonal Wikis
Show HN: Is-Kit โ€“ Lightweight TypeScript Guard and Validator Toolkit
github.comยท20hยท
Discuss: Hacker News
โšกDependent Rust
Why do LLMs freak out over the seahorse emoji?
vgel.meยท6hยท
Discuss: Hacker News
๐Ÿ—œ๏ธLZW Variants
SoK: Kicking CAN Down the Road. Systematizing CAN Security Knowledge
arxiv.orgยท4h
๐Ÿ”Capability Systems
Language Agnostic Programming: Why you may still need code
joaquimrocha.comยท17hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
lukas-blecher/LaTeX-OCR
github.comยท4d
๐Ÿ‘๏ธConstructive OCR
WebGPU Fundamentals
webgpufundamentals.orgยท21hยท
Discuss: Hacker News
๐ŸŽฌWebCodecs
Show HN: Scout QA โ€“ Vibe testing for vibe coding
scoutqa.aiยท17hยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.comยท18hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธKnowledge Graphs
Building a Command-Line Quiz Application in R
towardsdatascience.comยท18h
๐ŸšShell Calculus
Prompting Techniques for Specialised LLMs
dev.toยท16hยท
Discuss: DEV
๐Ÿ”—Constraint Handling
An experiment generating a protocol spec from natural language source with LLM
gist.github.comยท2dยท
Discuss: Hacker News
๐ŸงชCBOR Fuzzing
Atomic and Saturated Models
functor.networkยท2dยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.orgยท2dยท
๐Ÿ”คType Theory