| Age | Commit message (Expand) | Author |
|---|---|---|
| 3 days | Cosine trick in OCamlHEADmaster | Anthony Wang |
| 7 days | Add thread counts to all CPUs, make sure it's turbo freq not base freq | Anthony Wang |
| 7 days | Doing math with Lean | Anthony Wang |
| 7 days | Update Gokarna theme | Anthony Wang |
| 9 days | Lean as favorite vieo game joke | Anthony Wang |
| 9 days | Add C7X to friends list | Anthony Wang |
| 10 days | Random STL facts | Anthony Wang |
| 10 days | Ancient kernel sadge | Anthony Wang |
| 10 days | Draft lambcalc blog post | Anthony Wang |
| 11 days | Bluetooth observation | Anthony Wang |
| 11 days | LineageOS officially supports the Switch | Anthony Wang |
| 11 days | Nintendo network switch | Anthony Wang |
| 11 days | Replace Fedora with LineageOS•••Fedora KDE is awesome but works better as a desktop OS with a mouse and keyboard, whereas I'm probably just gonna use the Switch as a tablet (I can already just use my laptop), so yeah an Android flavor works better for that. Also, KDE is quite slow on the Switch which has garbage specs. I still love KDE though! | Anthony Wang |
| 12 days | KDE RUNS ON 3 BILLION DEVICES EVEN MY SWITCH | Anthony Wang |
| 13 days | Add gross worm image too | Anthony Wang |
| 13 days | MIT dining two years later | Anthony Wang |
| 2025-05-18 | Notes about deploy-rs | Anthony Wang |
| 2025-05-18 | Red foxes are the best sorry other 11 species | Anthony Wang |
| 2025-05-17 | Fill in TODO description | Anthony Wang |
| 2025-05-17 | Boo notebooks | Anthony Wang |
| 2025-05-17 | Draft post about why Lean | Anthony Wang |
| 2025-05-17 | Note about PyPy and Julia | Anthony Wang |
| 2025-05-16 | More random Fenwick notes | Anthony Wang |
| 2025-05-16 | Learning results 2 | Anthony Wang |
| 2025-05-14 | Replace dumb quote with dumber quote | Anthony Wang |
| 2025-05-12 | Sequel to my privacy post | Anthony Wang |
| 2025-05-12 | A more reflective post | Anthony Wang |
| 2025-05-11 | Remove unnecessary parens | Anthony Wang |
| 2025-05-11 | LLMs rant | Anthony Wang |
| 2025-05-11 | DUMB CIPHER SOLVER | Anthony Wang |
| 2025-05-11 | Sort projects roughly in chronological order | Anthony Wang |
| 2025-05-11 | Add some exozyme-related projects | Anthony Wang |
| 2025-05-11 | Copy Google Earth fedi post stuff over here since social.exozy.me is no more... | Anthony Wang |
| 2025-05-11 | Fix some old broken links•••There are still tons of social.exozy.me links that need to be removed/have their contents copied over, since this blog is generally more stable/a better home for data than any fedi stuff | Anthony Wang |
| 2025-05-10 | Shorten imaginary numbers quote | Anthony Wang |
| 2025-05-10 | Replace FS quote with Ali's quote | Anthony Wang |
| 2025-05-09 | Eh the Lean fan site is (currently) super low quality let's not showcase it | Anthony Wang |
| 2025-05-09 | Use thunking for the partial function cosine implementation | Anthony Wang |
| 2025-05-09 | Lean can auto show LazyList is inhabited | Anthony Wang |
| 2025-05-09 | Same code but using partial functions | Anthony Wang |
| 2025-05-09 | Fix typo | Anthony Wang |
| 2025-05-09 | Remove unnecessary dots | Anthony Wang |
| 2025-05-09 | LEAN!!! | Anthony Wang |
| 2025-05-07 | Dafny is unsound | Anthony Wang |
| 2025-05-07 | Add 88x31 buttons | Anthony Wang |
| 2025-05-07 | Sync proof with fenwick.dfy | Anthony Wang |
| 2025-05-06 | Update Gokarna theme | Anthony Wang |
| 2025-05-05 | Rename config.toml to hugo.toml to match upstream•••https://github.com/gokarna-theme/gokarna-hugo/commit/fdca993970441fbe9e50faf46670d702f6df3794#diff-279bd0658bb2e85fd1870d43ecae3032643d15e5f98e39eaf45252346917b3e8 | Anthony Wang |
| 2025-05-05 | Update Gokarna theme | Anthony Wang |
| 2025-05-04 | Best MIT classes | Anthony Wang |
 |
index : website | |
| Unnamed repository; edit this file 'description' to name the repository. | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |