The Icarus Rebuttal from AI super-intelligence believers is seductive. It goes like this: people used to laugh off the engineers pursuing human flight because airplanes don’t flap like birds.
I can’t find evidence for this. There was the Christmas Bullet, an airplane designed by William Whitney Christmas, that was supposed to fly with flapping wings… but most people at the time expected it to fail. And it did.
So where does this belief that just because AI isn’t meant to mimic human thought that it cannot think come from? It’s an odd rhetorical device. And possibly not even true.
Any aviation historians care to chime in?
Martha Wells talks about the conventionial narrative of evil robots who want to take over the world. Ann Leckie and others have pointed out that that idea is used to justify slavery #WisCon46 #RogueCode
Stanislaw Lem and the Strugatsky brothers as antidote for AI hype....
This talk, from a few years ago, remains topical. Indeed more so than when first delivered :
The $500 billion ‘Office real estate apocalypse’: Researchers find remote work’s effect even worse than expected | Fortune
Why there insane pressure to declare COVID over? As usual, it's about the money. Simple as that! https://fortune.com/2023/05/25/office-space-crash-harder-than-expected-remote-work-economy-cre-crash/
Apologies for not adding alt text to my the image in my last post. It’s a picture of a boxed 5th edition of the card game, “Vampire the Eternal Struggle.”
OpenAI's statement on "governance of superintelligence" is basically "in our humble opinion you should regulate AI, but not *our* company's AI which is good, but instead only imaginary evil AI that exists only in the nightmares you have after reading too many Sci-Fi books, and the regulatory framework you choose should be this laughably guaranteed-to-fail regulatory framework which we designed here on a napkin while laughing" https://openai.com/blog/governance-of-superintelligence
Spent the day studying memory safety and WebAssembly and caused it to access uninitialized memory https://www.williamjbowman.com/blog/2023/05/18/in-what-sense-is-webassembly-memory-safe/
"We really care about quality here."
... "Ok, let's write some formal specifications then."
"No, not like that."
... "Ok, let's step down a little and start with denotational design and write some property tests."
"Not like that either. You're thinking too abstractly. You need to be more product-focused. The quality of the product is important."
... "Maybe I'm not understanding what the definition of 'quality' is here. I think you mean, 'inscrutable.' We like to write inscrutable software here. It may have errors in it but we haven't specified what the software ought not to do so you can't prove that it doesn't do those things."
"What? Just think about our customers and their experience using the product. The quality of that experience is what matters."
... "So launch the missiles."
"What?"
... "It doesn't matter what the software does as long as the customer experiences something that feels like 'quality' to them. Therefore our software can also launch the missiles."
"Get out."
ChatGPT: "How can I help?"
"Write me a program that delivers quality experiences to my customers. You must be product focused."
'To fight 21st-century #inequality, #Canada needs 21st-century taxes that force billionaires and corporations to pay their fair share." https://breachmedia.ca/canada-has-the-tools-it-needs-to-make-a-wealth-tax-work/
Ok so compiling Haskell to WASM works pretty well!
Running said wasm in the browser requires setting up a whole build tool system and more compilers that I don't know how to do it anymore and that's not as fun...
But it's possible we could be targeting the browser soon. Maybe we can get haskeroids running on the web?
Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.