aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
65 min.Switch from Arch to NixOS for laptopHEADmasterAnthony Wang
9 hoursDraft about random programming langsAnthony Wang
34 hoursRebuild site to remove April FoolsAnthony Wang
2 daysAdd PoF to websites listAnthony Wang
2 daysAdd Dafny to favorite softwareAnthony Wang
2 daysFix indentation in Dafny sort postAnthony Wang
4 daysReword the slash thing for the puzzleAnthony Wang
6 daysFix wording in btrfs backups post tooAnthony Wang
6 daysRemove extraneous ` from btrfs backups postAnthony Wang
6 daysBetter desc for Baba is YouAnthony Wang
7 daysRename appendix to bonus which sounds more funAnthony Wang
7 daysSyntax highlighting for systemd servicesAnthony Wang
7 daysAsk if anyone has ideas to further optimize the Dafny-generated codeAnthony Wang
7 daysMove later additions to fingerprint bug post to part 2 draft since fingerprin...Anthony Wang
8 daysShrink SVGsAnthony Wang
8 daysDraftify musical instruments postAnthony Wang
8 daysFresh Noodle Allston is back from the dead!Anthony Wang
8 daysDraft post about me and LLMsAnthony Wang
8 daysMore info about using Dafny in RustAnthony Wang
8 daysIdea: client-side builds?Anthony Wang
8 daysTag more posts with weirdAnthony Wang
8 daysAdd attribution to all quotes that aren't my ownAnthony Wang
8 daysAdd various teaching stuff to projects listAnthony Wang
8 daysMove site-graph patch out of README to its own fileAnthony Wang
8 days6x speedup using bit opsAnthony Wang
9 daysUpdate Gokarna themeAnthony Wang
9 daysI need spam emailsAnthony Wang
9 daysRevert "Update Gokarna theme"•••This reverts commit 352cbc12a082a9b874b1c4c97c6aaddbe1579c3c. Anthony Wang
9 days"1000 times safer than Rust"Anthony Wang
9 daysUpdate Gokarna themeAnthony Wang
9 daysDafny-generated Fenwick tree is 1000 times slower!!!Anthony Wang
9 daysGraph view using site-graphAnthony Wang
9 daysRemove dead link from Gitea federation postAnthony Wang
10 daysAdjust loop invariantAnthony Wang
10 daysCopy simplified search proof from fenwick.dfyAnthony Wang
10 daysAdd screenshot of sd-qtAnthony Wang
10 daysDafny doesn't support CAnthony Wang
10 daysDoing Something Actually Useful With Formal VerificationAnthony Wang
10 daysUpdate SDRS descriptionAnthony Wang
10 daysNote that Fenwick prefix search requires all nonnegative elementsAnthony Wang
11 daysMake website descriptions match repo descriptionsAnthony Wang
11 daysMinify sipb.svgAnthony Wang
11 daysMove orgs to homepage as SVGsAnthony Wang
12 daysNote about Mastodon cache and btrfs backupsAnthony Wang
13 daysNote about Dafny mental modelAnthony Wang
13 daysFix broken link to Ali quoteAnthony Wang
13 daysFix typo in Ali's postAnthony Wang
2025-03-18Link to Dipesh Kafle segtrees Lean proofAnthony Wang
2025-03-18Proving 3 invars cover all of F?Anthony Wang
2025-03-18Link to discrete calc PDFAnthony Wang
generated by cgit v1.2.3-86-g962b (git 2.49.0) at 2025-04-04 03:09:32 +0000