Millions of dollars wasted and Firefox on-device AI can't even translate
Remote
@xy@mastodon.mit.edu
mastodon 4.6.9minFac '⓫'.toNat|>λ_11↦(·+97)<$>[0/0,_11,-(⟨1,0,2,4⟩:ℍ[ℤ])^2|>.re.toNat,defaultMaxRecDepth%101,catalan 4,_11,(φ∘φ∘φ∘φ∘φ∘φ<|4‼‼)!,↑((4:Fin 24)-6),⌈deriv (sin ·^69) π⌉₊,_11,Nat.card<|Aₙ 2|>.Group]
Mostly just learning random things, flailing around, and sleeping with 1/3 probability.
692 Followers
257 Following
17 Posts
Joined July 16, 2022
Age:
sqrt(-1)
Teraflops:
≈3e-14 (on a good day)
Favorite noodles:
Ali's Goyro Laghman
Website:
The MIT Museum will never give you up
Boosted by @GroupNebula563@mastodon.social
Replying to
Interesting fact: the 新 and 食 on his sign uses a Japanese font while the 美 uses a Chinese font (疆 is the same in both). Not sure how that happened 😆
Someone made a Lean Jupyter kernel! https://github.com/Verilean/xeus-lean/
I don't really like Jupyter notebooks but this is still super exciting because they figured out how to build Lean for WASM which could be really useful!
Replying to
@vnpower@mstdn.maud.io I haven't used graphicsmagick but it just seems like imagemagick but slightly faster and fewer features, although if you specifically care about performance, libvips is much faster.
Replying to
@LivInTheLookingGlass@transfem.social Because it was on a longer time scale and lower intensity than the World Wars. It's more of an era consisting of many wars and conflicts rather than a single war.
Replying to
@alex@social.voklen.com I somehow scored 15/21 by guessing "valid" for nearly everything even though I know absolutely nothing about email addresses
Replying to
The best line is "As an April Fools' Day prank, we've provided a way to get a glimpse into what 6.101 might be like 25 years from now. You can check it out here!" (links to current website)
Replying to
@LivInTheLookingGlass@transfem.social Also, in the US people mainly focus on the US-Soviet Cold War, but overlook that there was another secondary Cold War from the 1960s to 80s between the Soviet Union and China (which included military conflicts such as the 1969 China-Soviet border clash which nearly resulted in nuclear war and the 1979 Sino-Vietnamese war).
My friend told me his laptop has a "AMD Ryzen™ AI Max Plus Pro 395" processor and I wish that was joke but it's not
Boosted by @harblinger@wizard.casa
I wrote a city-building and transport simulation game using the #Lean proof assistant! https://git.unnamed.website/monotonicity/
Replying to
@vnpower@mstdn.maud.io The server for my website has 1/6th the RAM and 1/6th the CPU performance so surely your PinePhone is powerful enough to do something fun?