xy@mastodon.mit.edu
<p>minFac '⓫'.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]</p><p>Mostly just learning random things, flailing around, and sleeping with 1/3 probability.</p>
Posts
-
Post #3754464
One of my friends has a merch printer and is printing lots of Ali's Uyghur Kitchen T-shirts so if you're in the Boston area and want one just shoot me a DM. It'll be a white T-shirt with the famous Ali's sign using the default Microsoft Word font
-
Post #3620642
I wrote a city-building and transport simulation game using the #Lean proof assistant! https://git.unnamed.website/monotonicity/
-
Post #3012634
Millions of dollars wasted and Firefox on-device AI can&#39;t even translate
-
Post #3012633
The MIT Museum will never give you up
-
Post #3012632
Someone made a Lean Jupyter kernel! https://github.com/Verilean/xeus-lean/ I don&#39;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!
-
Post #2494157
My friend told me his laptop has a &quot;AMD Ryzen™ AI Max Plus Pro 395&quot; processor and I wish that was joke but it&#39;s not
-
Post #1532559
The MIT intro Python class redesigned their website: https://hz.mit.edu/6101/