Google Pixel 3a (2020) Updated +Created
Bought: January 2020 from store.google.com/ for 350 pounds.
Front camera video on Android 11: about 100MiB / minute. The encoding is however super inefficient, a FFmpeg re-encode without any options reduces it by 1/3.
For Fastboot mode: Power and Volume down simultaneously for 10-15s. It is OK if screen sleeps. On "no command", power then volume up to see options.
2023-10: touchscreen not registering touches anymore. Still displays images. Manage to regain access with wired USB mouse + a simple USB-C adapter. RIP. Will attempt replacement: store.ifixit.co.uk/products/google-pixel-3a-screen-genuine?variant=42388954448071, partly to get Authy access which I had never properly tested... Replaced screen, but at exact same status as before: shows image but no touch. thus I wasted my money and time (minus the learning) something else is broken.
Good video game to watch Updated +Created
This is a list of video games that are good to watch other people playing, even if you don't play yourself. And often they are better to watch than to play as you don't have to waste your time as much!
GNU Free Documentation License Updated +Created
GNU screen Updated +Created
Most important things to know:
  • kill window: Ctrl + A K
Google 2FA app token can be updated without checking the old 2FA Updated +Created
Ermm, as of February 2021, I was able to update my 2FA app token with the password alone, it did not ask for the old 2FA.
So what's the fucking point of 2FA then? An attacker with my password would be able to login by doing that!
Is it that Google trusts that particular action because I used the same phone/known IP or something like that?
Making the Cisco connection Updated +Created
Nothing phenomenally new on the early days to add on top of Video "Nerds 2.0.1 excerpt about Cisco (1998)", but a few new good points:
  • Cisco at one point became the largest company by market capitalization. This wore off a bit as of 2020.
    They used this overvalued stock in part to buy many other (often also overvalued) up and coming companies. This acquisition spree strategy was apparently not the norm at the time. rohitnair.wordpress.com/2011/12/13/cisco-history-cisco-systems-history-and-trivia-brand-history-and-trivia/ mentions they have bought more than 140 companies since, and that they call this strategy "Build, Buy And Partner"
  • a big part of what Cisco did was to allow cheap local communication in-campus. At that time, the ARPANET was already up and running, but their "routers", called Interface Message Processors were very expensive at about $100,000, and to send data across the campus you had to go through them, which meant expensive bandwidth. The routers sometimes failed, and the fallback was to send students around with disks: "sneakernet". They needed new local protocols and hardware to efficiently connect different campus networks.
  • Sandy Lerner nude photo
  • Cisco was a pioneer in having an Internet support forum. Customers could also help one another. This was fundamental in scaling support, as they grew so fast it would be impossible to hire a support team large enough without the help of the forum.
  • Cisco gave out source code to some customers who would then implement protocols they cared about, and Cisco would then merge it back
Google culture Updated +Created
Goldstone's theorem Updated +Created
GoodAI Updated +Created
Gradient Updated +Created
Takes a scalar field as input and produces a vector field.
Mnemonic: the gradient shows the direction in which the function increases fastest.
Think of a color gradient going from white to black from left to right.
Therefore, it has to:
  • take a scalar field as input. Otherwise, how do you decide which vector is larger than the other?
  • output a vector field that contains the direction in which the scalar increases fastest locally at each point. This has to give out vectors, since we are talking about directions
Go UI Updated +Created
Grand Unified Theory Updated +Created
Appears to be an unsolved physics problem. TODO why? Don't they all fit into the Standard Model already? So why is strong force less unified with electroweak, than electromagnetic + weak is unified in electroweak?
GraphQL Updated +Created
This is really good.
It allows the client to prepare a single request that gets all the data it wants to fill up a given webpage, rather than doing several separate requests.
So it only gets exactly what it needs, and in a single request.
Very sweet. This is the future of the web.
Mamonas Assassinas Updated +Created
This incredibly foul mouthed band was incredibly funny.
Ciro Santilli was a bit young to understand the songs at the time, but the older boys were singing them, and he sang along. So maybe there is a nostalgia factor in play.
But it can't be just that. They are just too funny and brutal, even when Ciro re-listens to it as of 2020.
Many Brazilian religious cranks in were really happy when their plane crashed and killed all of them in 1996.
Best songs:
  • Pelados Em Santos (1995). Not too amazing, they only try to be funny by making fun of the North-Eastern accent of Brazil, which is considered somewhat funny in São Paulo, and they fail at being funny.
    But it talks about Santos, São Paulo, Brazil, Ciro's idolized city, so let's hear it. They didn't live in Santos apparently, but being from São Paulo City, they would have been familiar with that popular local beach location.
GPU compute library Updated +Created
University has become a luxury item Updated +Created
medium.com/left-right/the-education-system-is-about-to-implode-5c95f774b523 The Education System is About to Implode by Nicholas Budny (2020)
Stanford, MIT, Harvard and Oxford are luxury goods in the same sense that a Mercedes-Benz might be, or the latest iPhone. They sell an aesthetic experience that provides the consumer with social status, similar to acquiring expensive clothes or a fancy house.
Video 1.
Bar scene from Good Will Hunting
. Source. This scene is way way overdone. But:
Hero: You wasted $150,000 on an education you coulda got for $1.50 in late fees at the public library.
Bad guy: Yeah, but I will have a degree. And you'll be serving my kids fries at a drive-through on our way to a skiing trip.
Verilator Updated +Created
Verilog simulator that transpiles to C++.
One very good thing about this is that it makes it easy to create test cases directly in C++. You just supply inputs and clock the simulation directly in a C++ loop, then read outputs and assert them with assert(). And you can inspect variables by printing them or with GDB. This is infinitely more convenient than doing these IO-type tasks in Verilog itself.
Some simulation examples under verilog.
First install Verilator. On Ubuntu:
sudo apt install verilator
Tested on Verilator 4.038, Ubuntu 22.04.
Run all examples, which have assertions in them:
cd verilator
make run
File structure is for example:
Example list:

Unlisted articles are being shown, click here to show only listed articles.