operator "overloading"

# just in case import numpy as np

[...] like [...], [...], and [...] for examples.

[...] like [...] and [...] for examples.

Home run like Shohei Ohtani

Standing on a mountain of skulls: I bet you didn’t know that Palestinian rights and Jewish safety are intertwined. Well guess what, they are

@F1LTHYwakeup @biscochoandmilk anyone can be a producer wow

@biscochoandmilk Imma use the pack hot pockets in suit case technique

India wit the fellas will be a classic

Dream job youtube.com/watch?v=TcRGBe…

The integral of exp(-x²) cannot be evaluated in terms of elementary functions.

@nand2mario This looks so cool but I have no idea what it is. Are you trying to simulate an 80386 on your own processor? does it have branch prediction?

78% pass rate on the real-mode 80386 instruction test set 🚀 I’d say I’m ~1/3 through real mode 386, factoring in debugging time. The 2,000+ lines of 80386 microcode is very interesting: compared to the 8086, there are dozens of internal registers (vs <10). 1/

wrote the book but the truth what we jotted in the margins

guerilla warfare, dodging racketeering and syndicating

how do I build my own ddr5 ram

@JayShams At the time, I was faculty at MIT media lab inventing working on what would become online downloadable radio. Epstein’s funding was crucial for our work. I only met him three dozen times.

III. Cell Invasion During Competitive Growth of Polycrystalline Solidification Patterns, Younggil Song; Fatima L. Mota; Damien Tourret; Kaihua Ji; Bernard Billia; Rohit Trivedi; Nathalie Bergeon; Alain Karma (pmc.ncbi.nlm.nih.gov/articles/PMC10…)

II. A Comprehensive Understanding of Grain Selection in Spiral Grain Selector During Directional Solidification, Binqiang Wang; Long Zeng; Neng Ren; Mingxu Xia; Jianguo Li (jmst.org/EN/10.1016/j.j…)

I. Grain Selection During Solidification in Spiral Grain Selector, H.J. Dai; J-C. Gebelin; M. Newell; R.C. Reed; N. D’Souza; P.D. Brown; H.B. Dong (tms.org/Superalloys/10…)

Onion is a Material 🧅. Steel is a Material ⛓️.

Materials Science.

@usgraphics I hate how you started with Lockheed Martin

If I were the CEO of Lockheed Martin, Xerox, HP, Intel, GE, Delta, AA, United, IBM, etc...the list goes on of American corporations that have lost their aura; to hire specialized archival historians, dig into their archives and release them as fine art publications. Reclaim your aura, celebrate your legacy you cowards. It'd cost like $50k and a couple of people's salary to make that happen. Blow people's minds with the stuff in your archives—graphics, brochures, design documents, circuit diagrams, logo and type specimens, brand guidelines, important memos, catalogs, photographs, etc.

@roses10k @AlexKontorovich I originally did it that way, it just makes the proof less direct

@masonwizard0 @AlexKontorovich you've bypassed k tho and used a slightly different proof strategy

😂 I like it! But Lean wouldn't accept this proof. All it does is "hide" the main idea inside "both n(n+1) and 2k are even". Why is the former even? (For the same reason that the original theorem holds!...)

@DavVvPhi @mpsmath @abakcus It's a lean program I wrote to prove the theorem github.com/masonmcbride/p…

@masonwizard0 @mpsmath @abakcus What is that program?