HDR‑Infused Emoji
https://sharpletters.net/2025/04/16/hdr-emoji/
#ReadItLater
About
Miscellaneous Mathematical Symbols
https://www.johndcook.com/blog/2025/04/14/miscellaneous-mathematical-symbols/
#ReadItLater
Show HN: Plandex v2 – open source AI coding agent for large projects and tasks
https://github.com/plandex-ai/plandex
#ReadItLater
Four Kinds of Optimisation
https://tratt.net/laurie/blog/2023/four_kinds_of_optimisation.html
#ReadItLater
OpenAI Codex CLI: Lightweight coding agent that runs in your terminal
https://github.com/openai/codex
#ReadItLater
eInk Mode: Making web pages easier to read
https://jackscogito.blogspot.com/2025/04/e-ink-mode-making-web-pages-easier-to.html
#ReadItLater
Show HN: K(r)ep - A high-performance string search utility
https://github.com/davidesantangelo/krep
#ReadItLater
Damn Vulnerable MCP Server
https://github.com/harishsg993010/damn-vulnerable-MCP-server
#ReadItLater
TLS certificate lifetimes will officially reduce to 47 days
https://www.digicert.com/blog/tls-certificate-lifetimes-will-officially-reduce-to-47-days
#ReadItLater
Bauplan – Git-for-data pipelines on object storage
https://docs.bauplanlabs.com/en/latest/
#ReadItLater