PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·2d
📝Concrete Syntax
Flag this post
Inspiration (2024)
🎯Content Recommendation
Flag this post
Stop vibe coding your unit tests
🐛Fuzzing
Flag this post
are-dependent-types-actually-erased
🎯Dependent Types
Flag this post
Technocalvinism
🔲Cellular Automata
Flag this post
Undefined Tasks
thedailywtf.com·2d
💾Persistence Strategies
Flag this post
Print-and-Clamp: Rubber Band PCB Stand Slides into Duty
hackaday.com·2d
⚙️DIY Electronics
Flag this post
I built sbsh: persistent terminal sessions and shareable profiles for kubectl, Terraform, and more
📦Container Security
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
🧬PostgreSQL Forensics
Flag this post
The PlayStation Portal is still flawed, but I’ve learned to love it as a new dad
engadget.com·1d
🏺Gaming Archaeology
Flag this post
InfoSec News Nuggets 11/04/2025
aboutdfir.com·2d
🔓Hacking
Flag this post
Two FAST-discovered pulsars: Follow-up observations determine their fundamental parameters
phys.org·2d
⏰Time Crystals
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·1d
📏Linear Logic
Flag this post
Skip The Bubble And Collect ~14% Dividend With IWMI
seekingalpha.com·1d
🔍BitFunnel
Flag this post
Loading...Loading more...