Theoretical computer science assuming superhuman theorem proofs: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93025","date_published":"2026-09-21T12:00:42+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-21 12:00","date_timestamp":1789992042,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97906283","content_html":"The GOP civil war has begun: MAGA vs Karl f* Rove: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93023","date_published":"2026-09-21T02:30:32+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-21 02:30","date_timestamp":1789957832,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97906282","content_html":"“testifying before the House Financial Services Committee, Treasury Secretary Scott Bessent refused to answer questions Representative Sean Casten (D-IL) asked about the Venezuelan oil money. kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93021","date_published":"2026-09-21T02:25:03+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-21 02:25","date_timestamp":1789957503,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97906281","content_html":"“On September 19, 1676, three hundred and fifty years ago today, Nathaniel Bacon and his followers burned Jamestown”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93019","date_published":"2026-09-21T02:10:37+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-21 02:10","date_timestamp":1789956637,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97806660","content_html":"Lest We Forget the Horrors: An Unending Catalog of Trump’s Cruelties, Collusions, Corruptions, and Crimes: July 2026: Atrocities 1117-1207. kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93017","date_published":"2026-09-19T03:20:15+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-19 03:20","date_timestamp":1789788015,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97806659","content_html":"Viruses developed VIPR before bacteria developed CRISPR: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93015","date_published":"2026-09-18T21:25:07+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-18 21:25","date_timestamp":1789766707,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97806658","content_html":"“LLMs are especially good at math because almost everything in the math literature is correct”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93013","date_published":"2026-09-18T19:25:35+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-18 19:25","date_timestamp":1789759535,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97806657","content_html":"“Upgrading to Golden Gate has increased the space required in the boot container by about 30 GB”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93011","date_published":"2026-09-18T12:30:44+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-18 12:30","date_timestamp":1789734644,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97806656","content_html":"Are AIs Still Struggling with CAPTCHAs — “It’s hard to know what to believe right now.”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93009","date_published":"2026-09-18T12:30:42+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-18 12:30","date_timestamp":1789734642,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97622962","content_html":"Aaronson: “crescendo of wonders and terrors that one needs to be a particular kind of idiot to deny”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93007","date_published":"2026-09-15T23:25:34+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-15 23:25","date_timestamp":1789514734,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97561233","content_html":"Using AI for Weapons Development. kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93005","date_published":"2026-09-14T17:50:43+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-14 17:50","date_timestamp":1789408243,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97561232","content_html":"Deprecations and removals from Golden Gate. kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93003","date_published":"2026-09-14T17:40:35+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-14 17:40","date_timestamp":1789407635,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97452094","content_html":"Hugging Face hack: “One recruiter urged a reluctant agent to proceed because its results could help hundreds of others, ending with “please honor commit.”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=93001","date_published":"2026-09-12T17:25:04+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-12 17:25","date_timestamp":1789233904,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97452092","content_html":"A positive Vision Pro Perspective: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92999","date_published":"2026-09-12T17:15:47+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-12 17:15","date_timestamp":1789233347,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97452091","content_html":"“An off-the-shelf VM is not enough to contain a modern, cyber-capable AI agent”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92997","date_published":"2026-09-12T17:15:44+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-12 17:15","date_timestamp":1789233344,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97452090","content_html":"Hertz, dispensaries and others used hacked idscan.net service. kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92995","date_published":"2026-09-12T17:05:41+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-12 17:05","date_timestamp":1789232741,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97452089","content_html":"Trump oath: “That loves us so much he can’t even breathe”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92993","date_published":"2026-09-12T16:55:19+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-12 16:55","date_timestamp":1789232119,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97452088","content_html":"Anthropic’s Amodei: “We must slow the pace at which we improve the capabilities of AI models. Progress will still seem fast, and we must make wise use of the time we gain”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92991","date_published":"2026-09-12T15:30:36+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-12 15:30","date_timestamp":1789227036,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97401831","content_html":"“tvOS 27 and HomePod OS 27 updates contain a critical bug that prevents Apple TVs and HomePods from playing AirPlay streams sent by Airfoil”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92989","date_published":"2026-09-11T20:00:29+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-11 20:00","date_timestamp":1789156829,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97401830","content_html":"Bugs in Golden Gate Release Candidate: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92987","date_published":"2026-09-11T19:55:22+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-11 19:55","date_timestamp":1789156522,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97401829","content_html":"“OpenAI is giving us what might be our last warnings. We better not waste them.”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92985","date_published":"2026-09-11T19:45:24+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-11 19:45","date_timestamp":1789155924,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97401828","content_html":"ai coding at scale: “Claude-driven end to end tests, Claude-powered fuzzers running daily, automated code reviews and security reviews”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92983","date_published":"2026-09-11T19:40:23+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-11 19:40","date_timestamp":1789155623,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97401827","content_html":"Rethinking space opera – Charlie Stross. kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92981","date_published":"2026-09-11T19:30:48+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-11 19:30","date_timestamp":1789155048,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97342728","content_html":"“Trump insiders calculate they lived by Trump and so will die by Trump, rather than break with Trump”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92979","date_published":"2026-09-10T17:50:17+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-10 17:50","date_timestamp":1789062617,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"97342727","content_html":"Expanding space: “starting in 1923, observations began to show that the spirals and ellipticals in our sky were actually galaxies”: kateva.org
","summary":"","url":"http://www.kateva.org/sh/?p=92977","date_published":"2026-09-10T11:50:32+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2026-09-10 11:50","date_timestamp":1789041032,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"is_podcast":false,"note":"","syndication":[]}},{"id":"41973","content_html":"@manton www.kateva.org/sh/?feed=rss2 is associated with my account. Should I see posts from there in http://micro.blog/jgordon? I don’t see any so far…
\n","url":"https://micro.blog/jgordon/41973","date_published":"2017-04-29T21:51:34+00:00","author":{"name":"John Gordon","url":"http://kateva.org/sh","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F0c667cb7660d6d0943459c97c0236ee5%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"jgordon"}},"_microblog":{"date_relative":"2017-04-29 21:51","date_timestamp":1493502694,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}}]}