Log inSign up
Chris Hammill
1,599 posts
Chris Hammill profile banner
@CFHammill

Chris Hammill

@CFHammill
stats, functional programming, neuroimaging, medical AI @[email protected]
Kitchener, Ontario
cfhammill.github.io
Joined September 2014
449
Following
283
Followers
RepliesRepliesRepostsRepostsMediaMedia

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
  • Pinned
    @CFHammill
    Chris Hammill
    @CFHammill
    Mar 6, 2019
    Our #rstats lenses package is now up on CRAN!!! 🎉 You can now get powerful bidirectional data manipulation with `install.packages("lenses")` straight from your nearest R session. Learn more at cfhammill.github.io/lenses
  • @CFHammill
    Chris Hammill
    @CFHammill
    May 5, 2023
    A friend of mine is hiring a postdoc to look at the genetics of pediatric kidney disease. cusm.njoyn.com/cl3/xweb/Xweb.…, if you're looking for a cool bioinformatics job helping improve children's health, check it out!
  • @CFHammill
    Chris Hammill
    @CFHammill
    Jan 12, 2022
    Inattentive -- let me get that
    @jlowin
    Jeremiah Lowin
    @jlowin
    Jan 12, 2022
    LGTM Engineering — looks good to me Sales — let’s get that money Data — let’s generate those metrics Growth — let’s go to market Finance — looks green to me Operations — let’s get this moving Security — let’s guard that machine People — let’s go team members
  • @CFHammill
    Chris Hammill
    @CFHammill
    Jan 6, 2022
    @EscardoMartin I just finished reading your fantastic UF notes (cs.bham.ac.uk/~mhe/HoTT-UF-i…; up to univalence). In practice are there any reasons not to use cubical agda to have univalence by default?
  • @CFHammill
    Chris Hammill
    @CFHammill
    Jan 3, 2022
    Tobin captures my reaction to so many things on here
    Image
Advertisement
Advertisement