about summary refs log tree commit diff
path: root/users/glittershark
AgeCommit message (Expand)AuthorFilesLines
2021-03-26 r/2330 chore(3p): bump NixOS channels to 2021-03-25sterni2-2/+2
2021-03-21 r/2302 fix(gs/emacs): Drop explicit load of slackGriffin Smith1-2/+0
2021-03-20 r/2296 feat(gs/achilles): Implement very basic monomorphizationGriffin Smith12-19/+430
2021-03-20 r/2295 fix(gs/achilles): Get rid of universalization stepGriffin Smith2-30/+67
2021-03-20 r/2294 feat(gs/achilles): Prefix top-level ascriptions with `ty`Griffin Smith2-2/+11
2021-03-20 r/2293 feat(gs/achilles): Implement extern decls, for glibc functionsGriffin Smith9-28/+147
2021-03-20 r/2292 feat(gs/achilles): Codegen string literalsGriffin Smith1-1/+5
2021-03-20 r/2291 chore(gs/achilles): Integrate with the depot buildGriffin Smith4-10/+31
2021-03-19 r/2289 fix(gs/xanthous): update xanthous.cabal, make CI catch such errorssterni2-7/+124
2021-03-19 r/2288 chore(gs/xanthous): fix for hgeometry 0.12.0.1sterni1-1/+1
2021-03-19 r/2286 fix(gs/xanthous): fix build failures caused by dependency updatessterni6-11/+24
2021-03-19 r/2285 chore(3p/haskell_overlay): remove obsolete overridessterni1-0/+2
2021-03-15 r/2279 merge(glittershark/achilles): Subtree import at 'b93268085a'Vincent Ambo33-0/+4508
2021-02-24 r/2232 feat(gs/system): Add config for laptop batteryGriffin Smith4-4/+17
2021-02-24 r/2231 feat(gs/home): Alias cch=cargo checkGriffin Smith1-0/+1
2021-02-24 r/2230 feat(gs/home): Install juliaGriffin Smith1-0/+1
2021-02-24 r/2229 feat(gs/system): Install mypaint and xdotGriffin Smith1-0/+2
2021-02-24 r/2228 fix(gs/emacs): drop spellcheckerGriffin Smith1-1/+1
2021-02-24 r/2227 feat(gs/emacs): Add some more w3m bindingsGriffin Smith1-4/+5
2021-02-19 r/2221 chore(3p): Bump NixOS channels to 2021-02-18sterni1-2/+2
2021-01-29 r/2158 feat(gs/emacs): Only run clj-kondo on clojure filesGriffin Smith2-1/+6
2021-01-29 r/2157 fix(gs/emacs): Don't try to load agda-modeGriffin Smith1-2/+2
2021-01-29 r/2156 feat(gs/emacs): Add a proptest snippetGriffin Smith1-0/+10
2021-01-29 r/2155 feat(gs/emacs): Fix highlighting on line-number-current-lineGriffin Smith1-0/+1
2021-01-29 r/2154 feat(gs/emacs): Add < to evil-surround-pairs in rust-modeGriffin Smith1-0/+1
2021-01-29 r/2153 fix(gs/system): Don't try to set hard fd limitGriffin Smith1-6/+0
2021-01-13 r/2091 feat(gs/emacs): Add gpg encrypted +private.elGriffin Smith1-0/+0
2021-01-13 r/2090 feat(gs/yeren): Blacklist the psmouse moduleGriffin Smith1-0/+1
2021-01-13 r/2089 feat(gs/home): Add alias to cargo test and watchGriffin Smith1-0/+1
2021-01-13 r/2088 feat(gs/emacs): Add commands to enable/disable tvl notificationsGriffin Smith1-0/+8
2021-01-13 r/2087 feat(gs/yeren): Get internal soundcard workingGriffin Smith2-0/+14
2021-01-13 r/2086 feat(gs/home): Install xonoticGriffin Smith1-0/+1
2021-01-13 r/2085 feat(gs/home): Enable git-rerereGriffin Smith1-0/+1
2021-01-13 r/2084 feat(gs/home): Install ngrokGriffin Smith1-0/+1
2021-01-13 r/2083 fix(gws.fyi): Set config.allowUnfree in the shell.nixGriffin Smith1-1/+1
2021-01-13 r/2082 feat(gs/emacs): Configure lsp-mode for rustGriffin Smith2-4/+18
2021-01-13 r/2081 feat(gs/emacs): Disable flycheck-mode in clojure-modeGriffin Smith1-1/+5
2021-01-13 r/2080 feat(gs/emacs): Bind original org-clock-in bindingGriffin Smith1-4/+8
2021-01-13 r/2079 feat(gs/emacs): Add new snippets for rust-modeGriffin Smith2-0/+20
2021-01-13 r/2078 chore(3p): Bump NixOS channels to 2021-01-09Vincent Ambo5-3/+11
2021-01-09 r/2065 chore(3p): Bump NixOS channels to 2020-12-28Vincent Ambo2-3/+3
2020-12-15 r/2015 fix(gs/yeren): Increase fd soft limit to 65535Griffin Smith1-0/+15
2020-12-14 r/2012 fix(gs/system): Prefer cache.nixos over whitbyGriffin Smith1-2/+2
2020-12-14 r/2011 feat(gs/emacs): Bring back org-clubhouseGriffin Smith1-0/+15
2020-12-14 r/2010 feat(gs/yeren): Re-enable rc6 and psrGriffin Smith1-2/+0
2020-12-14 r/2009 feat(gs/emacs): Update for latest doom changesGriffin Smith3-10/+7
2020-12-14 r/2008 feat(gs/yeren): Install a bunch of packagesGriffin Smith1-0/+23
2020-12-14 r/2007 refactor(gs/system): Use tokei instead of locGriffin Smith1-1/+1
2020-12-14 r/2006 feat(gs/system): Setup sccache for rustGriffin Smith1-0/+7
2020-12-14 r/2005 fix(gs/yeren): Split audio interface sourcesGriffin Smith1-0/+8