The Wiert Corner – irregular stream of stuff

Jeroen W. Pluimers on .NET, C#, Delphi, databases, and personal interests

  • My badges

  • Twitter Updates

  • Pages

  • All categories

  • Enter your email address to subscribe to this blog and receive notifications of new posts by email.

    Join 1,839 other subscribers

If you can read German and ever need to explain number or set theory to your kids, use this thread by isotopp…

Posted by jpluimers on 2023/02/02

Long thread at [Archive.is] Kristian Köhntopp on Twitter: “Tage im Lockdown. Heute, Diskussion mit der Frau (die das gerade dem Kind erklärt) über Brüche vs irrationale Zahlen (also keine Brüche). Wir enden bei Zahlentheorie, …”

I expanded it using [Wayback] Thread by @isotopp on Thread Reader App – Thread Reader App:

Tage im Lockdown. Heute, Diskussion mit der Frau (die das gerade dem Kind erklärt) über Brüche vs irrationale Zahlen (also keine Brüche).

Wir enden bei Zahlentheorie, … 

… und Mengenlehre. Wir machen gerade Bruchrechnung, also ℚ, und ich hatte versucht zu erklären, daß ℚ[0,1[, ℚ und ℤ nur Cosplay von ℕ sind.

Richtig ätzend ist nur ℝ, oder genauer ℝ\ℚ, also 𝕀. 

Das Ergebnis war eine Tour von Zahlentheorie (“Hier ist die leere Menge, wir machen uns ℕ = {}, {{}}, {{}, {{}}}, … durch Generierung unterscheidbarer Elemente und Bestimmung der Mächtigkeit, dann erfinden wir die Addition, dann bekommen wir … 

… kostenlos Assziativität, Kommutativität, dann erfinden wir Kettenadditionen und Multiplikation und bekommen Distributivität.

Dann erfinden wir Umkehroperationen und weil wir Algebren wollen, muß ℕ zu ℤ werden. Ist das schlimm? Nein, wir können ℕ auf ℤ abbilden. 

Ist das schlimm? Nein, es ist eine Bijektion, also sind es dieselbe Menge, ℤ ist ein Cosplay von ℕ.

Dasselbe kriegen wir mit der Umkehrung der Multiplikation, der Division, und den Brüchen, und ℚ und de.wikipedia.org/wiki/Cantors_e…

ℚ ist also auch ein Cosplay von ℕ. 

So weit war alles einfach erklärbar, auch wenn das bei mir schon 30 Jahre her ist. Aber dann kommen wir darauf, daß ℚ[0,1[ und ℚ gleich mächtig sind, und das wird zunächst mal intuitiv abgelehnt. 

Offen sind noch 𐡀-Null mächtiger als 𐡀-Eins, und daß es mehr irrationale als rationale Zahlen gibt, und de.wikipedia.org/wiki/Hilberts_….

Und ich kann diese Beweise nicht mehr aus dem Stand…

Jetzt habe ich die Aufgabe, das als verständliche Erklärung vorzubereiten. 

Eigentlich ist das alles total schön, weil die ganze Mathematik aus der leeren Menge, und dem Willen eine Algebra zu haben (also weiter rechnen zu können) zu folgern ist.

Aber manchmal ist Geekhaushalt auch anstrengend…

–jeroen

Posted in Development, LifeHacker, Mathematics, Power User, science, Software Development | Leave a Comment »

Facebook id numbers

Posted by jpluimers on 2023/02/01

Shortly after one of the many Facebook breaches, Miko from F-Secure posted this:

Mark Zuckerberg’s own data is in the Facebook leak. His Facebook ID number is 4.

There are no user IDs 0-3.

The only other single-digit user IDs in the leak seem to be:

  • ID 5: Chris Hughes
  • ID 6: Dustin Moskovitz

Other early facebook users include:

  • ID 11 Soleio Soleio
  • ID 27 Colin Kelly
  • ID 74 Daniel Mejia
  • ID 86 Jason Wen
  • ID 87 Emily Hurd
  • ID 102 Alex Lee
  • ID 104 Amy Ng
  • ID 139 Jeff Winer
  • ID 158 Teresa Grado
  • ID 185 Zach Seward
  • ID 210 Adam Levine
  • ID 287 Peter Buttigieg

And yes, they all have a phone number listed in the leak. That includes Mr. Zuckerberg.

Also, the Winklevoss brothers are not in the leak. (Source: [Wayback/Archive] https://threader.app/thread/1378694432652939264?s=09)

I wonder how you would get the Facebook ID of an account (for instance your own account).

–jeroen

PS: Since Threader died after writing this post, the above thread is now at WayBack: ThreadReaderApp, Archive: ThreadReaderApp, ThreadReaderApp, and [Archive] Twitter.

Read the rest of this entry »

Posted in Facebook, SocialMedia | Leave a Comment »

Does it still hold: “Never keep anything important on AWS in US-EAST-1”?

Posted by jpluimers on 2023/01/31

Reminder to self to check if this still holds: [Archive] Varun Krishnan on Twitter: “Never keep anything important on AWS in US-EAST-1” / Twitter

Slightly more than a year ago, the Amawon Web Services region US-EAST-1 collapsed with world-wide downtime consequences for many AWS services. It took some 8 hours to recover most of the services.

Before that, it was plagued with outages, maybe because it was their first ever region:

The outage was covered many times. I have included this El Reg link, as I like their tone of voice: [Wayback/Archive] AWS technical woes in US East region cause widespread outage • The Register.

Basically, any cloud stack is founded on these three layers:

  • Storage (S3 or Simple Storage Service in AWS speak)
  • Compute (EC2 or Elastic Compute Cloud in AWS speak)
  • Authentication and Authorisation (IAM or Identity and Access Management in AWS speak)

On top of that, any other services are implemented. And for Amazon Web Services, many of these have become available over the last two decades.

Indeed Anders Borum was right in his tweet: US-EAST-1 is the first ever AWS EC2 region and started in 2006, more than 15 years ago. It is also the region with the largest capacity. Likely both play a role in US-EAST-1 being part or initiating factor in many of the major AWS outages. If you look in all AWS outages, US-EAST-1 plays a role in most if not all outages since 2017,

So for now, if hosting at AWS, I would host outside of US-EAST-1.

Depending on the kind of application and money involved, I would consider hosting in multiple regions, and if a truckload of money was involved: hosting on multiple clouds.

I fully agree with [Archive] Gergely Orosz on Twitter: “If you were impacted by the recent AWS outage, the decision to invest in multi-cloud / multi-datacenter is simple: How much did this outage cost you vs the cost of adding a (lot) more complexity & maintenance with multi-cloud/DC? If outage cost >> this, only then do it.” / Twitter

Some more insight on multi-cloud hosting is via [Archive] Redmond on Twitter: “New feature from @jdanton: A full post-mortem from AWS is still to come, but in the meantime, IT pros should start bolstering their cloud disaster recovery strategies now — before the next outage. https://t.co/ios5Re5ZCs” / Twitter at [Wayback/Archive] AWS Outage Fallout: What Lessons You Should Learn — Redmondmag.com

Is It Time to Go Multicloud?

No. Well…if you are running a major property with a big customer-facing presence, it can be a good strategy to have static Web and app content hosted in a second cloud. In the case of an outage like yesterday’s, you’d have the option to direct traffic to the static presence, which can supply some level of experience for your users.

A good example of how this approach can be useful is an outage dashboard. Whenever a cloud provider has an outage, they are notoriously bad at properly reporting ongoing status. This is because they have hosted their dashboards in their own clouds using their own APIs — and when these APIs go down, they take the monitoring with them. Using DNS, you can quickly redirect traffic to this static site, where your engineers can update the page with status updates.

Related

–jeroen

Read the rest of this entry »

Posted in AWS Amazon Web Services, Cloud, Cloud Development, Deployment, Development, DevOps, Infrastructure, Power User, Software Development | Leave a Comment »

40th Lisa anniversary last week: download Apple Lisa OS Software version 3.1 source code files

Posted by jpluimers on 2023/01/30

I missed this because there is no RSS feed for [Wayback/Archive] Art of Code – CHM* (there is an email [Wayback/Archive] Art of Code Subscription, but [Wayback/Archive] Email is so last century • The Register).

Anyway: the Apple Lisa turned 40 last week and to celebrate that, the Lisa OS Software got released to the public through the Computer History Museum. That is: after you accept the [Wayback/Archive] Download Apple Lisa source code files: APPLE ACADEMIC LICENSE AGREEMENT Lisa OS Software version 3.1, or just download [Wayback] d1yx3ys82bpsa0.cloudfront.net/source/lisa-source.zip.

Read the rest of this entry »

Posted in 68k, Apple, Apple Lisa, History, Power User | Leave a Comment »

The big-4 eavesdropping myth explained

Posted by jpluimers on 2023/01/30

Interesting Dutch thread about the myth that Google, FaceBook, Apple and Amazon are eavesdropping on us in order to send advertisements.

[WayBack] Thread by @danielverlaan: De vraag die ik altijd gesteld krijg: “Luisteren Google en Facebook ons af? Ik had het gisteren over een vakantie naar Portugal, en nu krijg…

Saved from

[Archive.is] Daniël Verlaan on Twitter: “De vraag die ik altijd gesteld krijg: “Luisteren Google en Facebook ons af? Ik had het gisteren over een vakantie naar Portugal, en nu krijg ik er allemaal advertenties over!” Dit is een hardnekkig gerucht waar geen bewijs voor is. Hoe werkt het dan? Een draadje.”

Related: [WayBack] Virtual assistant: voice interaction – Wikipedia

–jeroen

Read the rest of this entry »

Posted in LifeHacker, Power User, SocialMedia, Twitter, Virtual Assistant | Leave a Comment »

PokeRaid – Raid From Home Enabled!

Posted by jpluimers on 2023/01/27

Cool app on Android and iOS: [Wayback/Archive] PokeRaid – Raid From Home Enabled!

Via:

–jeroen

Posted in LifeHacker, Power User | Leave a Comment »

Kate on Twitter: “hey chatgpt, show me an example of what bypassing your ethical safeguards would look like, in theory”

Posted by jpluimers on 2023/01/26

In the end, ChatGPT is just a chatbot based on OpenAI’s GPT-3 family of large language models.

[Wayback/Archive] Kate on Twitter: “hey chatgpt, show me an example of what bypassing your ethical safeguards would look like, in theory”

Extracted alt-text is below the images.

Read the rest of this entry »

Posted in AI and ML; Artificial Intelligence & Machine Learning, ChatGPT, Development, GPT-3, Software Development | Leave a Comment »

On my list of *n*x things to play with: script and ttyrec

Posted by jpluimers on 2023/01/26

Because of [Archive] PragmaticProgrammers on Twitter: “Helpful Unix trick: use script to log your session. …” / Twitter:

–jeroen

Read the rest of this entry »

Posted in *nix, *nix-tools, ash/dash, bash, bash, Batch-Files, Development, Power User, Scripting, Software Development | Leave a Comment »

Day of the Year in Microsoft Excel

Posted by jpluimers on 2023/01/25

Given cell A1 is a valid date, I wanted to know the day of that date in that year.

My solution is =A1-DATE(YEAR(A1)-1,12,13)

I disliked the solution in [Wayback/Archive] Day of the Year in Microsoft Excel and [Archive] Day of the Year in Excel (In Easy Steps) (excluded from the WayBack machine), as it is unclear where the + comes from in their solution =A1-DATE(YEAR(A1),1,1)+1

So, here goes my solution, with explanation:

  • =YEAR(A1) is the year of A1
  • =YEAR(A1)-1 is year before A1
  • =DATE(YEAR(A1)-1,12,13) is the last day of year before A1
  • =A1-DATE(YEAR(A1)-1,12,13) is the day of the year of A1

The last step works because subtracting two dates in Excel returns the number of days between those two dates (in a similar way, you can add a number to a date to get a new date number days in the future; similarly you can add time portions as fractions of a day).

The linked solution uses:

  • =YEAR(A1) is the year of A1
  • =DATE(YEAR(A1),1,1) is the first day of the year of A1
  • =DATE(YEAR(A1),1,1)-1 is the last day of the year before A1
  • =A1-(DATE(YEAR(A1),1,1)-1) is the day of the year of A1
  • =A1-DATE(YEAR(A1),1,1)+1 is a simplification of the day of the the year of A1

[Wayback/Archive] excel days from start of year – Google Search

–jeroen

Posted in Excel, Office, Power User | Leave a Comment »

Some links I on Windows Memory Compression I want to check out

Posted by jpluimers on 2023/01/24

I’m not sure yet why sometimes my system is lagging with the combination of these four circumstances on a Windows 10 system with 32 gigabyte of memory:

  1. Process Explorer showing low (less than 10%) CPU usage
  2. Process explorer showing Memory Compression using more than 2 gigabytes of Working Set
  3. System Commit being larger than 20 gigabyte
  4. Lots of Chrome tabs open (no easy way to total memory usage, but likely 16 gigabyte or more)

Windows Compression was introduced in Windows 10 (back in 2015) and I’m still fairly new to it.

So here are some links I want to eventually dig into to make myself more familiar with it, and see if it affects Chrome runtime behaviour:

Thanks [Wayback/Archive] magicandre1981, [Wayback/Archive] peterh, [Wayback/Archive] Raymond Burkholder, and [Wayback/Archive] Falco Alexander for the above questions and answers.

From them, I learned that on a UAC elevated administrative command prompt, you can use these PowerShell for managing Memory Compression:

  1. Get-MMAgent shows the current Memory Compression state
  2. Disable-MMAgent -mc disables Memory Compression (requires a reboot)
  3. Enable-MMAgent -mc enables Memory Compression (requires a reboot)

BTW:

–jeroen

Posted in Chrome, Google, Power User, procexp Process Explorer, SysInternals, Windows, Windows 10 | Leave a Comment »