When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgΒ·1d
πŸ“Mathematical Art
ksmbd - Exploiting CVE-2025-37947 (3/3)
blog.doyensec.comΒ·3d
πŸ“¦Container Security
Replacing the Type Checker for the Swift Compiler
forums.swift.orgΒ·2dΒ·
Discuss: Hacker News
πŸ’§Liquid Types
If you use Claude Code with Codex or Cursor: ln -s AGENTS.md CLAUDE.md
coding-with-ai.devΒ·2dΒ·
Discuss: Hacker News
🦠Parasitic Archives
Thinking on upgrade my "microlab"
preview.redd.itΒ·2dΒ·
Discuss: r/homelab
πŸ–₯Home Lab Setup
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.orgΒ·1dΒ·
Discuss: Hacker News
πŸ“ŸTerminal Typography
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.toΒ·5hΒ·
Discuss: DEV
πŸ“ŠSpectral Analysis
digital-asset/cn-quickstart
github.comΒ·3d
πŸ”„Sync Engine
βš™οΈ Mastering Python Context Managers: Beyond with open()
dev.toΒ·1dΒ·
Discuss: DEV
πŸͺŸAwesome windows command-line
An /intro to Python 3.14’s New Features
blog.pythonlibrary.orgΒ·2d
🌳Incremental Parsing
The Mondrian introduction to functional optics
marcosh.github.ioΒ·4dΒ·
⟷Bidirectional Programming
Lobsters Interview with Zdsmith
lobste.rsΒ·1dΒ·
Discuss: Lobsters
πŸ”—Concatenative Programming
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.devΒ·4dΒ·
Discuss: Hacker News
🌳Incremental Parsing
The Day I Hacked XCTrack
blog.syrac.orgΒ·1dΒ·
Discuss: Hacker News
πŸ”PKI Archaeology
Why Nix Will Win (and What's Stopping It): A 3-Year Production Story
ryanrasti.comΒ·2dΒ·
Discuss: Hacker News
❄️Nix Adoption
Programmer in Wonderland
binaryigor.comΒ·2dΒ·
Discuss: Hacker News
πŸ”©Systems Programming
Experimenting with ACL2 and Claude Code
mikedodds.orgΒ·1dΒ·
Discuss: Hacker News
πŸ‘‘Isabelle
New HuggingFace LeRobot plugin hardware drivers
huggingface.coΒ·2dΒ·
Discuss: Hacker News
πŸ€–Tape Automation
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogΒ·1dΒ·
βœ…Format Verification