LobstersYou Don't Know Jack About Formal Verification
AnthonyThinking about computational thinking has led some to think computers can computationally think about non-computational things, the exemplar non-computational thought computational thinking enabled us to think. I think you won't understand the technical dimensions of the present moment if you cannot parse the circularity.
#ComputerScience #AI #thought
#ComputerScience #AI #thought
The Scanline Sweeper: A Glyph Rendering Algorithm
The Scanline Sweeper: A Glyph Rendering Algorithm
Klaus AschenbrennerI have now a full-blown working UEFI boot path in my OS - incl. a simple AHCI driver to access the SATA based SSD drive with its FAT32 ESP partition.
100% pure Rust code (not a single asm file!), without any dependencies to other crates! #rust #rustlang #x64 #computerscience
A Typed, Algebraic Approach to Parsing
My tongue-in-cheek thread about self-abnegating software revealed to me that software is a parasite in ways I didn't appreciate before. I'm not sure I'll be able to unthink that.
To be more precise, whoever controls the software attempts to establish a parasitical relationship with a host ("user") using the software as attachment mechanism. One successful class of parasite leads its hosts into believing they are benefiting from the arrangement even as they are being led into a burrow to have eggs implanted in their carapaces. Some parasites recruit potential hosts in active construction of parts necessary to create novel attachment mechanisms.
#tech #dev #software #ComputerScience
To be more precise, whoever controls the software attempts to establish a parasitical relationship with a host ("user") using the software as attachment mechanism. One successful class of parasite leads its hosts into believing they are benefiting from the arrangement even as they are being led into a burrow to have eggs implanted in their carapaces. Some parasites recruit potential hosts in active construction of parts necessary to create novel attachment mechanisms.
#tech #dev #software #ComputerScience
Nicolas WardMedia — May 2026
A delayed May post before I post my June post. Post. 😆
Reading
Finished Mariel of Redwall with kid and moved on to Salamandastron, which we’re reading a little more slowly.
I also tried more Absolute Batman and Superman from the library and while they have some interesting reboot setting concepts they’re just way too grimdark for me.
A lot of this resonates with me, and is related to why I blog at all as a hobby/output. This is the internet (in the sense of community and connection) that I want.
We Need to Rewild the Internet
An older article on a similar topic, through the lens of the Biden administration’s attempts at regulation. Again making it about people first, not commerce and corporations.
Apple: The First 50 Years — David Pogue
I think I was one of the first people to get this book at the library; I put it on hold as soon as I heard about it on Upgrade. It’s a really well laid out history with tons of fascinating anecdotes even for someone who’s been pretty immersed in this as a MacAddict over the years. More recent years felt a little compressed but then again the historical impact isn’t quite clear yet. Generally casts Apple in a consistently positive light although it does get into a lot of the leadership personal conflicts that nearly sank the company. Definitely accessible to a non-technical audience even with some technical details.
Fascinating long read. Covered some stuff I learned in CS25 but also added a ton of little details I never knew, especially about SMT.
As We May Think — Vannevar Bush
I don’t think I’d ever read the full essay before. You can definitely see the influence on modern projects like Obsidian.
What’s always fascinating to me about retrofuturism is the visionary parts mixed with being stuck in their present day: certainly the microphotography without leaping to electronic information storage, but also the casual misogyny about the role of women at work.
Playing
More chill than a Cooking Fever or Overcooked, with much of the challenge in interpreting weird orders, this game is kinda fun but with the daily achievements can head into chore land.
Watching
We finally subscribed to Dropout. We’ve been catching up on Game Changer and I also started catching up on Very Important People. Tried the current Dimension 20 season but I think watching people play TTRPGs might still mostly not be for me, as I just want to play!
It has a ton of good Star Wars vibes: mountain planet, tropical island planet, cyberpunk planet, swamp planet… plus a fun Hutt reimagining. Good fight action throughout, although Mando kinda has one takedown move he uses a lot. It’s a smaller, contained story focused on their relationship, which I think is why it didn’t become a huge hit.
Soundtrack is great, and the effects brought in some vintage stop motion look and feel that made it fit in more with the original trilogy in a nice way.
Great movie to see in the theater with the crowd laughing at all of Grogu’s antics.
I backed this Star Trek: Deep Space Nine documentary years ago, and we started watching it at some point but never finished. Some interesting interviews but Behr is way too wrapped up in himself. The whole grimdark season 8 pitch session was kind of a waste; I would have much rather they spent more time interviewing cast members.
I think they wanted a narrative around “DS9 was ahead of its time” which required cutting a lot. Maybe some more of what I want is in the bonus features?
Kid had been bingeing the show and picked the series-bridging movie for movie night. I had dropped off some time in Season 3 I think, but the storylines I missed didn’t matter too much.
The songs are a little generic but bring a Disney vibe that’s fun. Overall a little predictable but had most of the characters I like.
Game Changer Culinary Skills
Promotion for the new season but still a funny segment over at Epicurious.
https://www.youtube.com/watch?v=OWD2EvNcTh8
10 Second Kettle
An old one, but answers the question of what happens when you give some Brits a very very big power supply.
https://www.youtube.com/watch?v=dDLw1Rx_cAI
Listening
Evanescence — Who Will You Follow
Somehow, Evanescence returned. I’m sure they’ve been here the whole time but I really only listened to Fallen on my iPod a bunch in 2003-2004.
https://www.youtube.com/watch?v=ak4Ti54Y6rY
Constitution Breakdown — Article V
Nice 99pi discussion with Jill Lepore on the history and future of amending the US constitution and why it’s mostly stopped. (Doesn’t seem like outcomes would be very good right now!)
#apple #computerScience #dropout #internet #retrofuture #starTrek #starWars
Pustam | पुस्तम | পুস্তম🇳🇵China's LineShine Supercomputer: A Sense of Scale ⚡🖥️
China's LineShine 灵晟 supercomputer is the most powerful supercomputer in the world 🌍, delivering a verified 2.198 exaFLOPS on the TOP500 benchmark. That means it can perform more than 2 quintillion (2×10¹⁸) calculations every second 🚀. The system consumes 42.2 megawatts of electricity ⚡ and is powered by more than 13.7 million conventional CPU cores 🧠.
The Scale of Its Computing Power 📊
Compared to Humanity 👥: If every person on Earth performed one mathematical calculation every second, without stopping ⏱️, it would take the entire global population about 4 years 📅 to equal the amount of computation LineShine completes in a single second.
Consumer Hardware 💻: Matching LineShine's sustained performance would require more than 20 million of today's fastest consumer graphics cards 🖥️, such as an RTX 5090, working together in perfect synchronization 🔗.
LineShine demonstrates the extraordinary scale of modern high-performance computing (HPC), enabling scientific calculations that would be practically impossible using conventional computers 🚀.
#Supercomputer #LineShine #Exascale #Exaflop #HPC #HighPerformanceComputing #Technology #Innovation #Science #Engineering #Computing #CPU #ParallelComputing #ClimateScience #WeatherForecasting #Neuroscience #QuantumChemistry #Physics #MolecularScience #DataScience #ArtificialIntelligence #AI #Research #STEM #FutureTech #DigitalEarth #ComputerScience #TechFacts #NextGenComputing #TOP500
ABC FeedsAutistic talent tapped to help fill growing cybersecurity skills gap
By Nick McAllister
The cybersecurity sector is projected to need tens of thousands of roles filled by 2030. Now, a university-based program is helping provide those workers by tapping into the abilities of autistic people.
#CyberSecurity #AutismSpectrumDisorder #Disabilities #MiningandMetalsIndustry #Universities #ComputerScience #Unemployment #NickMcAllister
Scientific FrontlineA machine learning approach that utilizes dual large language models (LLMs) to clarify ambiguous human instructions and filter out irrelevant environmental data, enabling robots to safely execute complex tasks.
#ComputerScience #ArtificialIntelligence #Robotics #MachineLearning #sflorg
https://www.sflorg.com/2026/06/cs06262601.html
#ComputerScience #ArtificialIntelligence #Robotics #MachineLearning #sflorg
https://www.sflorg.com/2026/06/cs06262601.html
