"DID WE JUST MAKE THE WORLD'S BEST THERMAL PASTE!?" https://youtube.com/watch?v=Glfak2B9J5U

"Make Our Best Thermal Paste... YOURSELF!" https://youtube.com/watch?v=8RJ-vLLwDPU

> Neural Amp Modeler (is open source)

> JUCE on embedded, Rust DSP

> A board of guitar pedals with IDK one USB-A and a USB-C adapter with OSC and MIDI support; USB MIDI trololo pedals

There are multiple products like this on Amazon+Shopify w/ linked inventory now

> tsugite

> compas_wood / wood_nano

clementzheng/joinery: Parametric joint generation toolkit for laser cutting: https://github.com/clementzheng/joinery

GitHub topics: joinery, woodworking, CNC

Though, there is 3d printing of wood now.

And here's a wonder material: Lignin-Vitrimer with Lignin-Derived Carbon Fiber, and Cellulose

So it's a dithering SPI display driver?

But the point is that Lean formalisation is a new bar for engineering and for physics and abstract math.

> the trustworthiness of math itself

Is abstract math rigorously proven?

Comments URL: https://news.ycombinator.com/item?id=50024243

Points: 2

# Comments: 1

> Original Apollo 11 guidance computer (AGC) source code for Command Module (Comanche055) and Lunar Module (Luminary099). Digitized by the folks at Virtual AGC and MIT Museum.

Other Moon things of note:

- There are various open RL approaches for lunar-lander the computer game. GitHub topic lunar-lander: https://github.com/topics/lunar-lander?o=desc&s=stars

- They probably should have landed that payload gently on the moon in order to not collapse any existing cave systems in order to develop competency to land the ISS on the moon.

- There is a new orbital deceleration and landing approach for the moon;

- "A rough guide for going back to the Moon" (2026) https://news.ycombinator.com/item?id=49755912 :

> "Earth–Moon transfer via the L1 Lagrangian point using the theory of functional connections" (2026) https://link.springer.com/article/10.1007/s42064-025-0297-x

> These eleven functions were defined in C99, and describe the handling of floating-point rounding and exceptions (overflow, zero-divide, etc.).

The character Fuchs in Barry reminds of Sammy Jankiss.

I don't think anyone in our class had found that feature of the Memento DVD menu?

Bank then before YouTube, there were properly-tracked copies of Pink Floyd and The Wizard of Oz on the internet.

Another weird thing about Memento,

If you train a neural network on videos of fluids in reverse, can it recover or reconstruct the parameters of the fluid?

Which NIST SP-800-22 implementation instead of the now-archived paranoid_crypto randomness tests?

paranoid_crypto/docs/randomness_tests.md : https://github.com/google/paranoid_crypto/blob/main/docs/ran...

/? NIST SP-800-22 Rust: https://www.google.com/search?q=NIST+SP-800-22+rust&oq=NIST+...

Sometimes it's possible to whiten random to make it uniform random or normal random;

Whitening transformation: https://en.wikipedia.org/wiki/Whitening_transformation

This question could have avoided the offense:

What is the relation between Cherenkov relation and effective mass in longitudinal plasma waves?

I have been researching applications of FTL as well;

Where is there an actual vacuum on Earth or in microgravity? So, there are Proca waves within dielectric Proca metamaterials and plasmas and waveguides; and photons can have effective mass and/or longitudinal charge Ez in ionized plasma?

So, Maxwellian waves with no longitudinal (Ez,) component can exist in what fraction of the universe if they can only exist in a vacuum?

A Twistor model can model such;

> Candidate 1: Designed a Luttinger Compensated Magnet, YBaMnFeO₅

> Candidate 2: Identified a Luttinger Compensated Magnet in KV[Cr(CN)₆] from 1999

> KV[Cr(CN)₆] belongs to the same family as Prussian blue, the 300-year-old pigment.

An actual validation would be complex; so let's try and see what parts of this argument are grounded and feasible?

/? Prussian blue antiferromagnetic: https://scholar.google.com/scholar?q=Prussian+blue+antiferro... :

- a number of articles confirming antiferromagnetic effects

/? Luttinger-compensated Prussian blue:

- "Luttinger-compensated bipolarized magnetic semiconductor" (2025) https://journals.aps.org/prb/abstract/10.1103/9syc-71w8 .. "[2502.18136] Luttinger compensated bipolarized magnetic semiconductor" https://arxiv.org/abs/2502.18136 :

> The Luttinger compensated magnetism not only has the zero total magnetic moment as the antiferromagnetism, but also has the -wave spin splitting as the ferromagnetism, thus our work not only provides theoretical guidance for searching Luttinger compensated magnetic materials with distinctive properties, but also provides a material basis for the application in spintronic devices.

/? Luttinger-compensated : https://www.google.com/search?q=Luttinger-compensated

We could model this as a logical proof that's checkable also in lieu of doing actual work to confirm or reject the (AI) hypothesis, but first let's reason about the feasibility:

Are the described effects real?

Are there reported, reputable similar findings in similar materials?

So, at least the blue one could really work. Like it's 1999.

---

Without even validating the argument, what else do we think we know about this problem?

Did the authors know that there is a laser way to laser program the normally random domains of a magnet or antiferromagnet?

But is this going to be lower-cost and more sustainable than carbon-based room-temperature semiconductor computing, and does anyone know whether that will work yet (with ABC stacking in trilayer and pentalayer rhombohedral graphene) either?

I guess we can follow up later by searching for citations that reference this article that does not have DOI (which are free from Zenodo and FigShare).

Have we sufficiently reasoned or inferred whether the study is repeatable and reproducible?

At least we didn't inappropriately reject the hypothesis without experimentation or evidence