Jack Aidley @jackaidley.bsky.social · 50m... delivering an astounding range of novel solutions to Maths problems indefinitely but I think it more likely that it will exhaust the set of things that it is exceedingly suited to and prove less effective at moving beyond that. 030
Jack Aidley @jackaidley.bsky.social · 50mWhat is low hanging for these systems to solve is not going to be the same thing as what is low hanging for humans to solve. The power of LLM-based frameworks is their ability to pull from the entire literature and test ridiculous numbers of things against Lean. It may be that this carries on... 120
Jack Aidley @jackaidley.bsky.social · 56mYes, but Lean isn't perfect and it has a growing problem that the ability of people to properly validate everything in it is being increasingly outpaced. 010
Jack Aidley @jackaidley.bsky.social · 1hOne of the snippets of code below was written by me, the other was written by AI evoked by me. Can you tell which is which? Is one obviously better or clearer than the other? 000
Jack Aidley @jackaidley.bsky.social · 8hHow can TaskManager be telling the CPU is only 28% utilised while it also tells me every core is at 100% utilisation? What does it mean? 100
Jack Aidley @jackaidley.bsky.social · 9hThis is marvellous. Take a minute out of your day (sound needed). 000
Reposted by Jack AidleySteve Mossberg @mossdef.bsky.social · 06/10/2026Punditry, once smart, is primarily excruciating (9) Today's my last Indy #cryptic #crossword. I hope there's a second life in the near future for Mike's fantastic operation. It's been my privilege to set alongside my heroes and super talented friends. puzzles.independent.co.uk/games/crypti...puzzles.independent.co.ukThe Independent's Cryptic Crossword | Play Online for Free | IndependentPlay The Independent's Cryptic Crossword instantly online. The Independent's Cryptic Crossword is a fun and engaging Online game from The Independent. Play it and other games from The Independent. 04115
Jack Aidley @jackaidley.bsky.social · 06/10/2026There doesn't seem to be a properly formatted link to the demo page on your main page? Normally I see something like the first of these images but yours just has in on the right bar? 200
Jack Aidley @jackaidley.bsky.social · 06/10/2026What I can't work out is where the tunnel is in relation to the property? None of the visible doors look like they lead to it. 100
Jack Aidley @jackaidley.bsky.social · 06/10/2026There seems to be a venting pipe coming out of the top of it so I suspect it's actually the boiler. There's a little ledge on the wall so I'd just stand on that with my right foot and the floor with the left and straddle the stairwell. Other people might use more sensible approaches... 110
Reposted by Jack AidleyJames @jamesrandall.bsky.social · 06/10/2026The official demo for Annhexation, a 4X historical strategy game you can complete in an evening, is now up on Steam. Windows, Mac, Linux and dedicated Steam Deck support. store.steampowered.com/app/4663920/... #indiegames #strategygames #4X #steamdeckstore.steampowered.comAnnhexation on SteamConquer the world in an evening. 4X distilled. Eight civilisations, three victory paths, complete games in 3-4 hours. No twelve-hour death marches. No spreadsheets. Just maps, decisions, and the next ... 173
Reposted by Jack AidleyAndrew Deck @andrewdeck.bsky.social · 05/10/2026ChatGPT is adding the signatures of real New Yorker cartoonists to its AI-generated images. So far, I've found the signatures of more than 15 contributors. "It’s slop, and unlike the other slop that I’ve encountered, this is slop that’s pretending to be me." www.niemanlab.org/2026/10/chat... 8739491577
Reposted by Jack AidleyNicholas Jackson @njj4.bsky.social · 05/10/2026One of my favourite crossword clues, by the great Araucaria: Poetical scene has surprisingly chaste Lord Archer vegetating (3,3,8,12) 231
Jack Aidley @jackaidley.bsky.social · 05/10/2026Not sure yet to what extent I agree but this is an interesting read on the nature of consciousness either way. 010
Jack Aidley @jackaidley.bsky.social · 05/10/2026The German Greens are more sensible, yes. Although they're still anti-Nuclear. 000
Jack Aidley @jackaidley.bsky.social · 05/10/2026Unless I'm mistaken about Green party procedures, this wasn't a general vote of the membership but rather a vote of the delegates at conference. In theory those delegates represent the local parties that they come from. 200
Jack Aidley @jackaidley.bsky.social · 05/10/2026It's a strange time to be a programmer. Programming has always been something that changes fast, but the skills I learnt 40 years ago are still usable today but now? I'm not sure what the career looks like in five years. 000
Jack Aidley @jackaidley.bsky.social · 05/10/2026As for documentation they're both way better than humans and way worse. Better because they will reliably do it in detail and update it, and worse because it doesn't understand anything so it can't write documentation focused on what you need documented. Plus it's always full of "Claudeisms". 100
Jack Aidley @jackaidley.bsky.social · 05/10/2026... writing so you never get institutional knowledge of how the code the works being built up by the people who work on it. These AIs are extremely good at figuring out midsize codebases, but I don't know whether they can cope with really big ones, millions of LoC or more. 100
Jack Aidley @jackaidley.bsky.social · 05/10/2026It makes code. You're keeping the code not the prompt(s). Not very maintainable, I'd say. It's not that the code is bad anymore but that no-one ever knows it. You can get the "AI" to write notes to itself which help some but the AI has no real memory, and it doesn't really understand even when its 100
Reposted by Jack AidleyGeneral Boles @generalboles.bsky.social · 04/10/2026Is there a subtle contrast being drawn between who Labour help and who the Tories help 🤔 #CPC26 1022458
Jack Aidley @jackaidley.bsky.social · 04/10/2026Aren't Orks technically fungi in 40K? So if you stick to the OG form of Linnaean taxonomy it has precedent. 040
Jack Aidley @jackaidley.bsky.social · 04/10/2026Is it a resumption procedure when it's the first formation lap? 100
Jack Aidley @jackaidley.bsky.social · 04/10/2026Wet formation laps are clearly Hadjar's kryptonite #F1 000
Jack Aidley @jackaidley.bsky.social · 04/10/2026Wasn't expecting the Bahrain GP to be this wet #F1 000
Jack Aidley @jackaidley.bsky.social · 04/10/2026At least within the range reachable by simple mutation. You're absolutely correct that eyes have evolved multiple times but, as far as I'm aware, all use the same class of proteins to achieve vision (opsins) which probably were photosensitive in the common ancestor. 120
Jack Aidley @jackaidley.bsky.social · 04/10/2026Yes, I was thinking of human vision which we inherited from our fishy ancestors. Since all three of our photopsins evolved by gene duplication from the original fish opsin I don't think that classes as independent evolution and it is likely functionally bound to be similar in response curve. 110
Jack Aidley @jackaidley.bsky.social · 04/10/2026Vision didn't evolve in the atmosphere though, it evolved underwater. 110
Reposted by Jack AidleyNature Portfolio @natureportfolio.nature.com · 03/10/2026Most mammals replace their teeth only once. A new, carnivorous, semiaquatic fossil mammal from the Early Cretaceous of China reveals multiple tooth generations, enhancing our understanding of mammal dental evolution, according to a paper in Nature Communications. go.nature.com/4ALPDFx #Paleosky 🧪 04814
Jack Aidley @jackaidley.bsky.social · 04/10/2026A thing I miss about being younger is pain having an identifiable cause. It used to be "my knee hurts because I fell off my bike" now it's "I sat in a chair and now my knee hurts". 140
Reposted by Jack AidleyRaider @mycrossword.co.uk · 02/10/2026www.mycrossword.co.uk/blog/what-s-...mycrossword.co.ukWhat's Next? · MyCrosswordI've got plenty of ideas for where to take MyCrossword next, but before I commit to any of them, I'd love to hear from you. First, a big thank you. The supp... 2158
Jack Aidley @jackaidley.bsky.social · 02/10/2026Every now an then you see something so perfectly stupid you think it can't be real. But, no, it is. 021
Jack Aidley @jackaidley.bsky.social · 02/10/2026It's genuinely embarrassing that anyone had to spend time testing this. 000
Jack Aidley @jackaidley.bsky.social · 02/10/2026Seriously considering writing a browser plug in to change this message. 000
Reposted by Jack Aidleylumpley @lumpley.bsky.social · 30/09/202615 years ago when Apocalypse World was new and people were beginning to understand and work with it, it was seductive to look at "acting under fire" and see, not one basic move of several, but the template underlying all the game's moves. Like @kierongillen.bsky.social 's classic gag: 9608207
Reposted by Jack AidleyMark @quigonsmith.bsky.social · 30/09/2026Saying “Man City won those titles on the pitch” is like saying Lance Armstrong should have kept his titles because he wasn’t injecting himself while riding his bike. 17217
Jack Aidley @jackaidley.bsky.social · 30/09/2026That certainly is the view of some experts but isn't universally held. I'm don't feel able to judge the merits of the arguments. For my part, I'd like everyone to take the strongest view on these things but we're nowhere near there, so not physically mistreating PoWs will do me. 080
Jack Aidley @jackaidley.bsky.social · 30/09/2026There does not seem to be broad agreement that merely posting a video of PoWs breaks the Geneva Convention rules on treatment of prisoners (which I assume is what you're referring to) unless the video contains elements that are humiliating or degrading. That does not seem to apply here. 190
Jack Aidley @jackaidley.bsky.social · 29/09/2026...ran after the guy to give him his headphones back. Weird dichotomy. 030
Jack Aidley @jackaidley.bsky.social · 29/09/2026I was on the S-Bahn in Hamburg (metro train) and there were two teenage boys being pricks and sticking their fingers up at everyone on the platform at every stop. Then someone getting off the train dropped their headphones as they got off and one of the boys LEAPT up, grabbed the headphones and... 131
Jack Aidley @jackaidley.bsky.social · 29/09/2026Did you keep going back to the same place? Did they recognise you? 110
Reposted by Jack AidleyTim Aidley @tim.aidley.com · 29/09/2026One of the turn signals / indicators on our car needed its light changing, so I thought it would be a good idea to answer the old question: "How many Software Engineers does it take to change a light bulb?". 131
Reposted by Jack AidleySam Freedman @samfr.bsky.social · 26/09/2026Daughter asked me to put "chocolate lesbians" on the shop which led to some confusion before we figured out she meant chocolate Liebniz biscuits. 2749117
Reposted by Jack AidleyCarl T. Bergstrom @carlbergstrom.com · 26/09/2026Does my Speak-n-Spell feel pain when I type O-U-C-H? The jury is out. Philosophers and neuroscientists say that's fucking stupid, but I called a guy from the Center for Pretending that Household Electronics Are Sentient and he said there's no way to know for sure. 5843441194
Reposted by Jack AidleyTransActual @transactualuk.bsky.social · 25/09/2026Can you help us reach more people than ever before? Respond to our Trans Lives Survey today, and share on your social media, so we can get a full picture of the experiences and views of trans people in the UK. form.typeform.com/to/BRppksJ3 15362
Jack Aidley @jackaidley.bsky.social · 24/09/2026Tight. "Tired and emotional". Happy. Merry. Bladdered. "Three sheets to the wind". Wrecked. Plastered. Pissed. 010
Reposted by Jack AidleyAsh Oro @ashoro.co.uk · 22/09/20261/23 Sorry, this will be long... There is a lot of shouting about what happened in the Channel yesterday. So I want to go back to basic law. Not immigration policies or political rhetoric. At sea, the starting point is simple: Preservation of life comes first under all maritime conventions. 26895469