Mark Hopkins

@antiselfdual

Maths PhD, Haskeller, Passionate thaumatoneirodule, entry-level hypnerotomachist. Opinions my own. He/him.

Sydney
Vrijeme pridruživanja: svibanj 2013.

Tweetovi

Blokirali ste korisnika/cu @antiselfdual

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @antiselfdual

  1. Prikvačeni tweet
    22. svi 2018.

    Slides for my talk "All of Basic Categories" are up on my website

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet

    This vision from the Dunmore brigade of the from early January is terrifying. It shows how quickly a fire can move 🔥

    Poništi
  3. proslijedio/la je Tweet
    29. sij

    Strict data and lazy functions is the default you should be using for all production Haskell code.

    Poništi
  4. proslijedio/la je Tweet
    24. sij

    [1/2] My new eBook, INSTANTIATION, has 11 stories: • “The Discrete Charm of the Turing Machine” • “Zero For Conduct” • “Uncanny Valley” • “Seventh Sight” • “The Nearest” • “Shadow Flock” • “Bit Players” • “Break My Fall” • “3-adica” • “The Slipway” • “Instantiation”

    Prikaži ovu nit
    Poništi
  5. 23. sij

    This is the view facing the other direction.

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet

    Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román : Profunctor optics, a categorical update

    Poništi
  7. proslijedio/la je Tweet
    21. sij

    Dependently Typed Multi-Stage Programming, Revisited

    Poništi
  8. proslijedio/la je Tweet
    21. sij

    This, my Numberphile debut, is about van der Waerden's theorem, including a proof (presented informally of course) for the case of two colours and progressions of length 3. It was fun to do, and my interviewer added some beautiful graphics afterwards, as is his wont.

    Poništi
  9. proslijedio/la je Tweet
    21. sij

    The first lecture of computational algebraic topology is almost ready. Needs more cowbell.

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    20. sij

    Is there a subset of the plane that is connected, but upon the removal of a (specific) point it becomes totally disconnected (any two points can be separated by a disjoint opens)? Of course, it should contain more than a single point. What does your intuition say?

    Prikaži ovu nit
    Poništi
  11. 21. sij

    Dihydroxy-abstract syntax, produced by treating AS with osmium tetroxide under high temperature and pressure.

    Prikaži ovu nit
    Poništi
  12. 21. sij

    What does DHOAS stand for? (wrong answers only)

    Prikaži ovu nit
    Poništi
  13. 21. sij

    I have no idea what a DHOAS mortgage broker is, nor do I have the faintest desire to find out.

    Prikaži ovu nit
    Poništi
  14. 21. sij

    I go past this every day and every time a part of my mind goes "PHOAS!"

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    16. sij

    Mathematician Emily Riehl receives President's Frontier Award | Hub

    Poništi
  16. proslijedio/la je Tweet
    17. sij
    Odgovor korisniku/ci

    Lawvere once noticed that the Nullstellensatz is much more general than ring theory:

    Poništi
  17. proslijedio/la je Tweet
    17. sij

    Short Thread: staying with some friends and last night after everyone went to bed I could not figure out how to turn off the large ceiling light in their living room. There is a wall controller that seemed fairly straightforward.

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet

    My new hero is Jocelyn Bell Burnell, who discovered pulsars as a PhD student but was uncredited when the Nobel Prize was given to her male colleagues. She spent the next 50 years winning every other award in physics and donating the money to fund PhDs for underrepresented groups

    Poništi
  19. 14. sij
    Poništi
  20. proslijedio/la je Tweet
    13. sij

    I recently learned that the built-in calculator in Android now uses constructive real numbers: but also aims to be usable for calculating with integers and low-height rationals (eg for splitting restaurant bills and so on)

    Poništi
  21. proslijedio/la je Tweet
    10. sij

    Yes, linear logic with recursive types is a thing! Standard reference: Denotational interpretation in coherence spaces: Operational interpretation with session types: section 6 of ’s work is adjacent

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·