Yesterday I proved the relationship between the Fibonacci numbers and the golden ratio using coq:
it's not terribly fancy (or long), but there are a couple of tricks here 'n there
their axiomatization of the reals is surprisingly not too difficult to work with!
One of the creators of NoiseTracker (one of the first module trackers) did a retrospective on NoiseTracker: https://youtu.be/Z1SkQDhUBkQ
@neon oh haha, I didn't know where follow requests showed up in this version of the glitchsoc UI. sorry about ignoring yours for like, forever :P
incidentally if you like this research and you want me to eventually apply it in the future to help more people, help me get to med school: https://ko-fi.com/amphetamine
TIL about the Famicom game Lagrange Point, which produced its music via a YM2413 derivative (kinda like an OPL2 FM synthesis chip)
this is supposedly the game's music: https://www.youtube.com/watch?v=drwX7MbB_IE
not sure how I'd feel hearing that from a Famicom, it's just so far beyond what the NES APU could do
this paper on Facebook memorials (https://journals.sagepub.com/doi/pdf/10.1177/2053951719842540) has this gem of a sentence:
"While both the traffic generated by the bereaved and the internal training of new models are possible uses of digital remains, they do not guarantee long-term profitability."
bytecode interpreter for constexpr C++ evaluation: https://lists.llvm.org/pipermail/cfe-dev/2019-July/062799.html
it's a natural progression for evaluators: you start with a tree walker, then you move to a bytecode interpreter (then a JIT, then...) but I think it's still neat to see this happening in C++. my understanding is that Jai implements a bytecode interpreter for its pound-run directive
(how does rustc do const fn? seems like this would be a natural path also)
shitposting as lifestyle. #nobot if anything actually reads that
This is a small ship in the fediverse.
The name is borrowed from the mass-produced Macross-class ships in the Macross universe; SDFN-01 Hayase was the first of the line. The ships were designed to scout emigration routes ahead of the Megaroad colonization ship.
More information can be found at the Macross Compendium.