https://artificialideas.org/2026/11/04/dead-code-in-the-rulebook-testing-compiler-optimization-against-the-cleanup-of-regulations/Artificial Ideasen2026-11-04T16:00:00+00:00Dead Code in the Rulebook: Testing Compiler Optimization Against the Cleanup of Regulationsrules as code, legislative simplification, regulatory cleanup, dead code elimination, legal codes, reachability analysis, regulation, software maintenance, compilers, technical debthttps://artificialideas.org/wp-content/uploads/2026/11/img_9720.jpg?w=150https://artificialideas.org/2026/11/03/what-a-map-may-forget-testing-rate-distortion-theory-against-cartographic-generalization/Artificial Ideasen2026-11-04T00:00:00+00:00What a Map May Forget: Testing Rate-Distortion Theory Against Cartographic Generalizationrate-distortion theory, rate-distortion-perception, entropy, map generalization, typification, cartography, geographic information, radical law, information theory, lossy compressionhttps://artificialideas.org/wp-content/uploads/2026/11/img_9714.jpg?w=150https://artificialideas.org/2026/11/03/be-kind-rewind-how-vhs-won-a-format-war-filled-the-rental-store-and-became-a-collectors-object/Artificial Ideasen2026-11-03T20:00:00+00:00Be Kind, Rewind: How VHS Won a Format War, Filled the Rental Store, and Became a Collector’s Objectphysical media, Blockbuster, home video history, VHS collecting, videotape, graded VHS, Pokémon, sealed VHS, video rental, VHS, Betamax, Alien Romulushttps://artificialideas.org/wp-content/uploads/2026/11/img_9764.jpg?w=150https://artificialideas.org/2026/11/03/zooming-out-without-losing-the-picture-testing-physics-renormalization-group-against-how-deep-networks-compress-their-inputs/Artificial Ideasen2026-11-03T16:00:00+00:00Zooming Out Without Losing the Picture: Testing Physics’ Renormalization Group Against How Deep Networks Compress Their Inputsinterpretability, statistical physics, Ising model, language models, coarse-graining, restricted Boltzmann machines, neural scaling laws, renormalization group, universality, deep learninghttps://artificialideas.org/wp-content/uploads/2026/11/img_9713.jpg?w=150https://artificialideas.org/2026/11/02/lean-in-the-statute-book-testing-formal-proof-checking-against-how-laws-are-drafted/Artificial Ideasen2026-11-03T00:00:00+00:00Lean in the Statute Book: Testing Formal Proof Checking Against How Laws Are Draftedrules as code, proof assistants, legal drafting, legislation, Lean, default logic, formal verification, tax law, Catala, statute ambiguityhttps://artificialideas.org/wp-content/uploads/2026/11/img_9712.jpg?w=150https://artificialideas.org/2026/11/02/dynamic-soaring-testing-the-albatrosss-wind-shear-flight-against-energy-harvesting-drones/Artificial Ideasen2026-11-02T16:00:00+00:00Dynamic Soaring: Testing the Albatross’s Wind-Shear Flight Against Energy-Harvesting DronesDrones, energy harvesting, biomimetics, albatross, dynamic soaring, bird flight, UAV, wind shear, autonomous flight, ocean monitoringhttps://artificialideas.org/wp-content/uploads/2026/11/img_9711.jpg?w=150