Commits at e317d24b2ca17665b275ff9a4f154f6836b88900
e317d24b
For fast git clone, do pull on the background
Anthony Wang
authored at
2025-12-08 17:28:13 -0500
Anthony Wang
comitted at
2025-12-08 17:28:13 -0500
d3de23e9
Switch from tealdeer to tlrc
Anthony Wang
authored at
2025-11-29 15:04:50 -0500
Anthony Wang
comitted at
2025-11-29 15:04:50 -0500
b11b59df
Move system-related (as opposed to universal/portable) envvars to nixos-config repo
Anthony Wang
authored at
2025-11-25 16:02:47 -0500
Anthony Wang
comitted at
2025-11-25 16:02:47 -0500
c18699f5
Who needs cargo when you have lake!
Anthony Wang
authored at
2025-11-09 23:39:02 -0500
Anthony Wang
comitted at
2025-11-09 23:39:02 -0500
6cd24212
Fix diffeq test case
Anthony Wang
authored at
2025-11-06 00:00:03 -0500
Anthony Wang
comitted at
2025-11-06 00:00:03 -0500
9794f4d3
Add some harder test cases based on my Wolfram Alpha history
Anthony Wang
authored at
2025-11-05 23:48:42 -0500
Anthony Wang
comitted at
2025-11-05 23:48:42 -0500
e60353e3
Oops fix Sage syntax mistake
Anthony Wang
authored at
2025-11-03 11:44:34 -0500
Anthony Wang
comitted at
2025-11-03 11:44:34 -0500
d6b7ad11
Add another test case for Sage natural language
Anthony Wang
authored at
2025-11-03 11:43:37 -0500
Anthony Wang
comitted at
2025-11-03 11:43:37 -0500
1284601f
Add test cases for Sage natural language
Anthony Wang
authored at
2025-11-03 11:36:23 -0500
Anthony Wang
comitted at
2025-11-03 11:39:19 -0500
04ceb5e9
Prompt engineering sucks
Anthony Wang
authored at
2025-11-02 14:09:59 -0500
Anthony Wang
comitted at
2025-11-02 14:09:59 -0500
dee95316
OPEN SOURCE WOLFRAM ALPHA LET'S GOOOO
Anthony Wang
authored at
2025-11-02 13:54:13 -0500
Anthony Wang
comitted at
2025-11-02 13:54:13 -0500
1a38a2d1
Don't print out dates for todo = for conciseness
Anthony Wang
authored at
2025-10-31 17:30:20 -0400
Anthony Wang
comitted at
2025-10-31 17:30:20 -0400
f8b92265
Add Lean-generated XCompose file
Anthony Wang
authored at
2025-10-28 17:24:54 -0400
Anthony Wang
comitted at
2025-10-28 17:24:54 -0400
71aca9d8
Set XCOMPOSEFILE
Anthony Wang
authored at
2025-10-26 15:04:49 -0400
Anthony Wang
comitted at
2025-10-26 15:04:49 -0400
29c93473
Set DOT_SAGE
Anthony Wang
authored at
2025-10-20 11:47:50 -0400
Anthony Wang
comitted at
2025-10-20 11:47:50 -0400
f76763af
Move ELAN_HOME variable to nixos-config since it's machine-specific
Anthony Wang
authored at
2025-10-13 19:15:17 -0400
Anthony Wang
comitted at
2025-10-13 19:15:17 -0400
80556ec0
Also print out line for todo - to avoid mistakes
Anthony Wang
authored at
2025-10-11 17:27:27 -0400
Anthony Wang
comitted at
2025-10-11 17:27:27 -0400
74c2335b
Alphabetize VSCodium settings
Anthony Wang
authored at
2025-10-03 19:41:25 -0400
Anthony Wang
comitted at
2025-10-03 19:41:25 -0400
19bd99b8
Vendor the micro/plug dir since micro doesn't have declarative plugin management 😿
https://github.com/zyedidia/micro/issues/3843
Anthony Wang
authored at
2025-10-03 19:31:44 -0400
Anthony Wang
comitted at
2025-10-03 19:31:44 -0400
273299f2
Autoformat Fish code using fish_indent -w **.fish
Anthony Wang
authored at
2025-10-03 19:29:43 -0400
Anthony Wang
comitted at
2025-10-03 19:29:43 -0400
fcd6bc53
Move ~/.cache/elan to /opt/elan, make LuaLaTeX obey XDG
I'm modern now I moved on from PDFLaTeX to LuaLaTeX yay
Anthony Wang
authored at
2025-09-30 12:24:25 -0400
Anthony Wang
comitted at
2025-09-30 12:24:25 -0400
7e25d476
Don't need to autostart ssh-add here since nixos-config handles that now
Anthony Wang
authored at
2025-09-17 20:24:50 -0400
Anthony Wang
comitted at
2025-09-17 20:24:50 -0400
d31a6bee
Add faster git clone script
Anthony Wang
authored at
2025-09-14 15:29:30 -0400
Anthony Wang
comitted at
2025-09-14 15:29:30 -0400
90feb459
Use run0 instead of sudo, remove extra trailing space in todo
Anthony Wang
authored at
2025-08-30 14:56:20 -0500
Anthony Wang
comitted at
2025-08-30 14:56:20 -0500
2b630cd8
Lean is so much better, why would I ever Julia again
Anthony Wang
authored at
2025-08-03 23:41:33 -0400
Anthony Wang
comitted at
2025-08-03 23:41:33 -0400
41682e80
Move Firefox settings to nixos-config
I have finally purged this repo of symlinks
Anthony Wang
authored at
2025-07-07 18:17:03 -0400
Anthony Wang
comitted at
2025-07-07 18:17:03 -0400
818b5bf6
Remove obsolete Arch Linux-specific scripts
They perform anti-hysteresis things that NixOS can do better
Anthony Wang
authored at
2025-06-29 20:45:34 -0400
Anthony Wang
comitted at
2025-06-29 20:45:34 -0400
d32b6b3c
Revert "Fish already defines l now"
This reverts commit 86a571ce1ee9d533d9d2075b757c8f0adffa5e15.
Anthony Wang
authored at
2025-06-10 17:03:40 -0400
Anthony Wang
comitted at
2025-06-10 17:03:40 -0400
452ad283
Actually let's use elan but put it in ~/.cache
Anthony Wang
authored at
2025-05-19 00:13:07 -0400
Anthony Wang
comitted at
2025-05-19 00:14:10 -0400
2ffebcad
Use Lean directly from NixOS repos instead of elan
Anthony Wang
authored at
2025-05-18 22:39:26 -0400
Anthony Wang
comitted at
2025-05-18 22:39:26 -0400
Commits for
e317d24b2ca17665b275ff9a4f154f6836b88900
Viewing range
e317d24b
~ 2ffebcad