lukego
I hope that's preserved and one day published as e.g. the old MIT AI lab file system snapshots were.
(Robert Virding or Bjärne Däcker might well have a copy of the Prolog code to share if asked nicely.)
If so then estimating the marginal likelihood of each one and comparing them seems pretty reasonable?
(I mean in the sense of Jaynes chapter 20.)
Metcal have a great big doc on tip care that covers this.
I like to "wiggle" the chip with tweezers (under hot air) to see surface tension in action and judge whether the balls have all melted, but a tiny bit too much wiggle causes that problem.
I need to be careful that it doesn't interfere with my responsibility to raise independent kids who don't want or need money from me. This takes time and energy to make sure they can make the most of the social infrastructure available to them e.g. their school.
I'm very restrained in how I spend money for private consumption out of concern for setting an example that's unproductive e.g. making the kids feel pressure to earn a lot of money to sustain a lifestyle of luxury.
The center of a normal distribution has high likelihood (e.g. 1000000) if the standard deviation is small or low likelihood if the standard deviation is large (e.g. 1/1000000.)
This effect is amplified when you are working with products of likelihoods. They can be infinitesimal or astronomical.
Giant likelihoods really surprised me the first time I experienced them but they’re not uncommon when you work with synthetic test data in high dimensions and/or small scales.
They still integrate to the same magnitude because the higher likelihood values are spread over shorter spans.
Joe would often quote Wirth as saying that yes, overlapping windows might be better than tiled ones, but not better enough to justify their cost in implementation complexity.
RIP. He is also a hero for me for his 80th birthday symposium at ETH where he showed off his new port of Oberon to a homebrew CPU running on a random FPGA dev board with USB peropherals. My ambition is to be that kind of 80 year old one day, too.
Thankfully the hallway is then full of people interested in that subject!
You might have a function:
foo(x,y) = x + y
and multiple dispatch means you can call that with integers, or floats, or arrays, or GPU-resident arrays, or automatically-differentiating numbers, or symbolic algebra terms, or...
Just because you can, does that mean you should? It depends...
Compiler latency ("time to first plot") used to be miserable but after a few releases with incremental improvements it feels mostly solved to me.
Just now on Friday at JuliaCon Local in Eindhoven one of the keynotes was about similar ongoing work on stand-alone binaries (including shared libraries to call like C/Fortran.)
I'm ashamed to admit that I never got the Wiki up and running again after I relocated from Australia to Sweden. (Not yet anyway, I may still have a backup copy on a hard disk somewhere...)
Special purpose operating systems e.g. with disk driver (for input) and a compiler (the application) and a printer driver (for output.)
Those were the days!
The interaction can be amusing. Proving algebra non-theorems by cranking through examples until an arithmetic mistake finally leads to a "counter-example."
It's like https://xkcd.com/882/ for theorems.
That little kernel in Listing 2 sure packs a punch.
They got fluent in low-poly modelling with Extrude/Scale/Inset operations from this. This skill carries over into Blockbench for customizing Minecraft too. Can 3D print the designs too via STL export.
I'm still looking for a good bridge to next steps like physics simulations, Geometry Nodes, and Fusion360.
Tutorial videos were mostly too slow-paced to hold their attention. I would prefer those myself but my kids do better with watching and imitation.
Same way they learned to play Minecraft which I couldn't figure out myself...