- Stanford University Centaur Group
- https://leni.sh
-
Admin of this website
- Joined on
2023-08-21
79a63be619
Merge branch 'dev' into misc/interaction
1e637dabaa
Bump lean version to 4.0.0
Add ready message to indicate the main loop is up
eaad4245ee
Merge branch 'main' into emacs
e60621c175
Merge pull request 'Migration to sway' (#5) from sway into main
6ba9e6464d
Ensure capacity with hypr
bd82c3f4ec
Add sway workspace handling for eww
941fba2690
Initial sway migration
e60621c175
Merge pull request 'Migration to sway' (#5) from sway into main
6ba9e6464d
Ensure capacity with hypr
bd82c3f4ec
Add sway workspace handling for eww
941fba2690
Initial sway migration
Migration to sway
wttr.in is experiencing issues so the handler in eww for displaying weather information is disabled for now. The PR will use a more robust handler that doesn't crash when wttr.in is down.
https:…
1b7e3446f0
Merge pull request 'Add LaTeX command improvements and new packages' (#3) from emacs into main
fcb288c2c3
Merge branch 'main' into emacs
95932db545
Globally advise TeX-master-{directory,file}
ca3d679c54
Add LaTeX relative to .latexmkrc compile hook
Add LaTeX command improvements and new packages
fcb288c2c3
Merge branch 'main' into emacs
10149c8c45
Remove rustfmt.toml symbolic link
3cc400f22e
Merge pull request 'Add macOS specific configuration files' (#1) from macOS into main
962577c6b1
Add comment in README-MacOS.org
740bb568ec
Add skhd and yabai