aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
3 daysDraftify some random postsHEADmasterAnthony Wang
3 daysShort post about the exozyme server SSD failureAnthony Wang
4 daysSame thing but with graphs and graph theoryAnthony Wang
4 daysUnify cs and computer-science tags to just computer-scienceAnthony Wang
4 daysClarify two different kinds of proofsAnthony Wang
4 daysUpdate Gokarna themeAnthony Wang
5 daysUpdate theme to fix the footer next/prev overlap bug, re-enable the next/prev...Anthony Wang
7 daysUpdate Gokarna themeAnthony Wang
8 daysImprove wording on about pageAnthony Wang
9 daysRemove redundant parenthesesAnthony Wang
9 daysAdd image of displaying using #widgetAnthony Wang
9 daysDon't need the "= true"Anthony Wang
9 daysFancier toEmoji functionAnthony Wang
9 daysClarify metaprogrammingAnthony Wang
10 daysKevin jokeAnthony Wang
10 daysLEAN SPAMS VSCODEAnthony Wang
10 daysMove Bad Apple Lean stuff to its own repoAnthony Wang
11 daysSlightly improve perfAnthony Wang
11 daysIt LAGGGGGGSSSSSSSAnthony Wang
12 daysPart 1 of Bad Apple postAnthony Wang
13 daysHex color clock is sillyAnthony Wang
13 daysRevert "Eh the Lean fan site is (currently) super low quality let's not showc...•••This reverts commit 2c0188b1ca30e9f3710014eeee2bdab24cd7908e. Anthony Wang
13 daysLinked lists suckAnthony Wang
13 daysRemove James Mickens articles which are funny but not best-of-the-best life-a...Anthony Wang
13 daysLisp and LeanAnthony Wang
2025-07-03Delete commented out lines of all the random Lean garbage that didn't workAnthony Wang
2025-07-03Bad Apple but it's a Lean tacticAnthony Wang
2025-07-02Consistent Lean naming schemeAnthony Wang
2025-07-02Fix Sum.lean linkAnthony Wang
2025-06-29Gotta mention my Lean VSCodium setup too obviouslyAnthony Wang
2025-06-29Refactor software page once again•••- No one knows what OpenLDAP is thankfully so kinda pointless to mention - Move Lean to the front - Remove bad $HOME littering since it's also a comment in my Nix repo along with all my other bad joke comments Anthony Wang
2025-06-29More friends yayAnthony Wang
2025-06-27Implement OCaml integrate function, reformantAnthony Wang
2025-06-26OK nvm I give upAnthony Wang
2025-06-26WIP pure function proof of false in Dafny for a future blog postAnthony Wang
2025-06-23Replace duplicate Ali's quote, add new Lean propaganda quote, more quote sourcesAnthony Wang
2025-06-23Add RewriteItInLean to cults listAnthony Wang
2025-06-17Mention historical details in Snow CrashAnthony Wang
2025-06-15Not real cyberpunk? IDKAnthony Wang
2025-06-15Sci-fi book reviewsAnthony Wang
2025-06-11Use 三体 quote instead of niche bagel jokeAnthony Wang
2025-06-11Clarify a confusing sentenceAnthony Wang
2025-06-11A very silly postAnthony Wang
2025-05-30Cosine trick in OCamlAnthony Wang
2025-05-26Add thread counts to all CPUs, make sure it's turbo freq not base freqAnthony Wang
2025-05-26Doing math with LeanAnthony Wang
2025-05-26Update Gokarna themeAnthony Wang
2025-05-24Lean as favorite vieo game jokeAnthony Wang
2025-05-24Add C7X to friends listAnthony Wang
2025-05-23Random STL factsAnthony Wang
generated by cgit v1.2.3 (git 2.50.1) at 2025-07-17 16:34:45 +0000