Posts

Firefighting or Planning for a Viable Future

Image
See this post : My comment : What if most of the software in use is actually such a load of complete crap that even a stochastic parrot can find more bugs in it in a given interval than people can fix in that interval, even using AI? What if most of the software in use was actually only necessary because of dficiencies in the other tools? Would it still be a good idea to use AI to fix bugs? What if instead you actually concentrated on automatically generating correct code from formal specifications?  See  Economic Madness  and The Rather Bubbly US Economy .  Subscribe to  Cyb3rmaddy .  Here are some experts at the Rothschild's rag: My comment : Anyone who thinks a "cyber security engineer" is someone who can hack things is not worth listening to. Subscribe to  The Economist . 

Saul Kripke on a Model-Theoretic Approach to Gödel's Incompleteness Theorem

Image
Talk given at Online International Workshop on Gödel's Incompleteness Theorems , School of Philosophy, Wuhan University, August 16-20, 2021. Subscribe to  Logic, Philosophy and Gödel .  Evan Patterson on Categorical Logic  19:52 Statistical models. See his PhD thesis:  The algebra and machine representation of statistical models : This dissertation takes steps toward digitizing and systematizing two major artefacts of data science, statistical models and data analyses. Using tools from algebra, particularly categorical logic, a precise analogy is drawn between models in statistics and logic, enabling statistical models to be seen as models of theories, in the logical sense. Statistical theories, being algebraic structures, are amenable to machine representation and are equipped with morphisms that formalize the relations between different statistical methods. Turning from mathematics to engineering, a software system for creating machine representations of data anal...

The Rather Bubbly US Economy

Image
See Lena Petrova's piece  The United States Spends More on War Than the Rest of the World Combined — Here's Why . See also  Economic Madness  and Vanessa Beeley and Fiorella Isabel on Perú, Iran, China and Russia .  See her recent post : See  Why the Stock Market Makes No Sense Right Now .  The Magnificent 7 (Google’s parent, Alphabet; Amazon; Apple; Facebook’s parent, Meta; Microsoft; Nvidia; and Tesla) are over 30 percent of the S&P 500, up from about 12 percent a decade ago.  My comment : Thank you, that was interesting. Funny money in stocks. The thing is, it is not only US institutions that are invested in these tech giants, it's things like the Norwegian Sovereign Wealth fund and the Swiss National Bank. It is a truly global madness.  See her Substack  https://kyla.substack.com/ Subscribe to Kyla Scanlon .  Persepolis was first vandalised by Alexander the Great in 330 BCE.  See  Dismay as ancient heritage sites acros...

Diver and TV Reporter May Have Solved A 66 Year Old Mystery Disappearance of a Family

Image
See  Martin family disappearance : A few hours ago: Update March 8: the car fell to pieces as they lifted it up from the mud.  Subscribe to KOIN 6 . Update April 18, 2026: see this ABC News story  DNA proves remains found in the Columbia River are of a family missing since 1958 .

Vanessa Beeley and Fiorella Isabel on Perú, Iran, China and Russia

Image
38:38 On the financial system in Iran and Lebanon. See  Catherine Austin Fitts on Banking and War in the Middle East  and  Economic Madness .  My comment : 41:42 Dedolarization will be difficult because of these swap lines the Federal Reserve has with those countries that have intelligence sharing agreements with the US. Principally the Bank of England which has a subterranean gateway to the offshore secret banking network. Nobody even knows how much is in that system. It's BS money, but they just need to keep up a pretence that it matters.  Subscribe to  Critical Perpectives . 

Congress Extends FISA to April 30 in Post-midnight Session

Image
Subscribe to Forbes Breaking Wind . Subscribe to AP .  See also this September 11, 2013 Guardian article by Glenn Greenwald, Laura Poitras and Ewen MacAskill:  NSA shares raw intelligence including Americans' data with Israel .  Details of the intelligence-sharing agreement are laid out in a memorandum of understanding between the NSA and its Israeli counterpart that shows the US government handed over intercepted communications likely to contain phone calls and emails of American citizens. The agreement places no legally binding limits on the use of the data by the Israelis. See also  Audrey Henson on Oracle and Healthcare Data .  Subscribe to  More Perfect Union .  See  https://thedreydossier.substack.com/ Subscribe to The Drey Dossier .  Now let's pretend we're plotting a NYT best-selling thriller, so in this chapter, the FBI are pretending to be after Russian FSB hackers, but in fact they just hacked millions of Americans' routers so they...

Ted Postol on the Bulletin of the Atomic Scientists

Image
He focuses on this article:  What this Norwegian ‘close call’ says about a world without New START  by Jamie Withorne, Raven Witherspoon. Other articles they've published include the one claiming there was highly enriched uranium near Isfahan:  Analysis: Iran likely transferred highly enriched uranium to Isfahan before the June strikes . As regards triggering early warning systems, he says that drone attacks on Russian early warning radar systems could easily be taken as an indication of a pre-emptive nuclear strike. See this APT post about a statement purportedly made by one Colonel Richard Kemp .  Subscribe to  Dialogue Works . James Coomarasamy interview with Russian ambassador Andrei Kelin See this Guardian story from 8 May 2024:  UK to expel Russian defence attache as sanctions escalate : Home secretary announces closure of Russian diplomatic premises after pattern of ‘malign activity’ in Britain and Europe ...  The Russian properties that have h...

Economic Madness

Image
My comment : I don't understand why economic growth requires cheap energy. If we were intelligent then we could produce a model where an economy could grow by becoming more energy-efficient instead of by generating more energy. So the economy would be knowledge-based rather than energy-materials-based.  Subscribe to Sean Foo . My comment : What if the whole AI thing is just not a smart way to do computing? I mean, you are building these systems that you want to be deterministic, so that they do precisely what you want them to do, but then you use a non-deterministic language to specify what they are actually going to do. You can call it "prompt engineering" but that doesn't make it it engineering. And to do this, and to maintain it, you need massive datacenters to turn prompts into tokens and this is where all this adversarial bullshit is going on? That doesn't sound sustainable to me.  Subscribe to  Cyb3rmaddy .  Subscribe to Level1 Links with Friends .  See...

Vanessa Beeley Talking with Marwa Osman

Image
 See  Lebanon Ceasefire . Subscribe to  Vanessa Beeley . 

NIST - Measuring G

Image
Subscribe to  NIST .