Posts

Terminal-Based Applications

Image
It's pretty amazing what you can do in a terminal:  Why? To get a foot-in-the door, because the market is still developing:  Today's revolution:  18:58  Interesting chat about  vector spaces and anihilators  today. What caught my eye was the quote "vectors can be thought of as  linear maps  from scalars to vectors, ... then in the dual space, dual vectors are linear maps from vectors to scalars". Yesterday I was talking about how lambda calculus represents everything by a function of some type. If you start with linear maps (a type of function) then a vector is a kind of fixpoint isn't it? See  Daniel Tubbenhauer on An Unknotter  and  Curt Jaimungal Interviewing Renato Renner , in particular the talk by Simon Peyton Jones on impredicativity in System-F and Hindley-Milner type inference in this post of mine .  Why Java? Subscribe to  Robert Elder Software . You can do things like this in JavaScript too, if you like. Yo...

Anti-war Demonstration in Cochabamba

Image
See  The Aliens Showed up Sixty Years Ago .  Subscribe to Koca Tele . 

The Aliens Showed up Sixty Years Ago

Image
On April 6, 1966, children at a Melbourne school witnessed a flying saucer, but nobody believed them so the aliens went away again. It remains the largest mass UFO sighting in Australian history, witnessed by more than a hundred students in broad daylight. Subscribe to  ABC News In-depth . 

Daniel Tubbenhauer on An Unknotter

Image
See  Unknotting number is not additive under connected sum  by Mark Brittenham and Susan Hermiller and  A remark on the counterexample to the unknotting number conjecture  by Chao Wang and Yimu Zhang.  My comment : That was great fun to see! What your pipeline is doing is constructing some sort of lattice-like structure, isn't it? It's surprising (to me anyway!) how often implausible-looking fixpoints can actually be constructed. Yesterday I heard about Fully Homomorphic Encryption, I think it's called. There's a paper called "Fully homomorphic encryption using ideal lattices". Your idea of using heuristic RL steps in the process of building the actual lattice is new though. It might generalise to a lot of other lattices. I hope Terrence Tao gets to hear about this! I think this is hard for essentially the same reason that the busy beaver numbers are not computable. I was thinking about this when I watched his latest lecture on the difference between braids an...

The Global Currency Exchange

Image
My comment : 5:58 Yup, he's surrounded by 350 million people making money. So what are you all going to do? From the outside the USA just looks like a bunch of people pretending to laugh at a joke that isn't funny.  Subscribe to  I've Had it Podcast . Lena Petrova (who used to be an auditor)  My comment : That was really helpful, thank you. Can you do a talk one day about the difficulties of auditing the US Department of Defense? I forget how many trillions (27?) are unaccounted for. The question I have is why this doesn't seem to matter. Is it just because the international currency markets are driven by need and that this problem is just assumed to be one that will never be addressed by any administration, or by the US Supreme Court or any international body like the UN Security Council?  Subscribe to  World Affairs in Context .  Alastair Crooke  He says Iran has an equation: security for all or security for no-one; prosperity for all or prosperity ...

Defensive Security and Olive Badger

Image
The next episode is out! See  Episode 344 . First story: ComputerWeekly:  Emergency Microsoft, Oracle patches point to wider cyber issues . I think I used to write for that publication in Hong Kong in 1990,...  Third story: The Hacker News:  The Hidden Cost of Cybersecurity Specialization: Losing Foundational Skills .  Subscribe to  Defensive Podcasts . My comment : We can completely rethink the way we use personal data. Most of the time none of that personal data is in active use. It is just there "in case someone needs it" most of it is never needed, so why does it need to exist as a separate copy on a cloud server volume somewhere? Instead you could store a token which represents a commitment by the person to provide some data item, such as their date of birth, on request. Then if the company needs to verify their age it can just use that commitment token to do it, it never actually needs to know their date of birth. Similarly, it doesn't need their nam...

Robert Elder - World Domination Day #347

Image
See  https://patreon.com/RobertElderSoftware . See  Julie Nolke - When Trump Invades  and  One of My Co-conspirators is Being Oppressed by the Deep State .  33:18 For more on decentralised computing see  Ian Clarke on Freenet  and  Ian Clarke Answering Questions About Freenet .  Subscribe to  Robert Elder Software .  Craig Gentry on fully homomorphic encryption, presented at Eurocrypt 2021. See  Fully homomorphic encryption using ideal lattices  by Craig Gentry.  16:42 Applications. Privacy-preserving analysis of genomic data. 18:41 Private information retrieval. 22:00  DARPA spent $70M on FHE hardware acceleration research in a program called DPRIVE . Why did they call it that , I wonder? State of the art in December 2025: See  https://www.tfhe.com/ . Subscribe to  The IACR . 

Afshin Rattansi Interviewing Brian McGinnis

Image
Sgt. Brian McGinnis, US Senate Candidate for the Green Party in North Carolina. He had his arm broken while being dragged out of a Senate Armed Services Committee hearing while protesting the war on Iran. I've watched that clip three times now and it gets nastier each time,...  Brian McGinnis is a very impressive person. Lindsey "jack rabbit" Graham , Rep. (SC) was on the Senate Armed Services Committee from 2003-2019, selling Patriot batteries to gulf states and anti-tank weapons, and Abrams tanks , to Ukraine. Subscribe to  Going Underground .  I hope he is elected.  SSgt. Bryce Lockwood is the only Marine to survive the attack on the USS Liberty, he was an intelligence officer serving as a Russian linguist aboard Liberty. USS Liberty was attacked in 1967 by Israel during the Six-Day War, and it was excused as an “accident”.  To this day, 51 years later, the attack on the USS Liberty has yet to be investigated by Congress – as per Article 1, Section 8, Clause ...

Julie Nolke - When Trump Invades

Image
"We had them in 1814!" They (Britain/Canada) burned down the White House . I didn't hear about that until 2018! Subscribe to  Julie Nolke . 

Impact

Image
Subscribe to  Teddy Lambek .