Brendan Zabarauskas

@brendanzab

World Builder, Artist, Programmer. Passionate about building robust, reliable software, often in Rust and other niceley typed languages. λΠ he/him 👨‍💻👨‍🎨👨‍🔬

Melbourne, Australia
github.com/brendanzab
Joined March 2010
396 Photos and videos Photos and videos

Tweets

You blocked @brendanzab

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @brendanzab

  1. Pinned Tweet
    Jun 28

    Yes, this is me and my existence…

    1 retweet 4 likes
    Undo
  2. Retweeted
    Aug 24

    is this: 🐜🦎🐒🙍🏻‍♀️ (today) | | |__| | |___💀 (ancestor) |_____| ↑ | Time Not this: Time → 🐜→🦎→🐒→🙍🏻‍♀️

    84 replies 4,695 retweets 15,944 likes
    Undo
  3. 20 hours ago

    Implementing dependent types is fun because things like

    3 likes
    Undo
  4. Retweeted
    Aug 25

    I used to think that reading a cryptic error message and not knowing what to do was my fault and that I needed to get better/smarter/more experienced in order to solve issues quickly. Oh boy was I wrong. There is so much that languages can do now to make this way better.

    1 reply 1 retweet 10 likes
    Show this thread
    Show this thread
    Undo
  5. 23 hours ago

    Firefox's keep getting better and better!

    🔥 In you can debug your code in
    2 likes
    Undo
  6. Retweeted
    Aug 24

    My favorite writing advice for academics isn’t to ‘dumb it down.’ It’s to assume a reader isn’t especially familiar with your area of expertise but is overall more intelligent than you.

    54 replies 1,098 retweets 5,519 likes
    Undo
  7. Aug 25

    Implementing type theory is fun!

    I found a video lecture "How to implement type theory in an hour" from last December that I forgot to upload. Here it is, with an accompanying GitHub repository:
    Undo
  8. Retweeted
    Aug 21

    Men’s mental health facts: - suicide is the most common death of men under 49 - 3 out of 4 suicides are by men - men are less likely to seek help for their mental health - men’s suicide rates are consistently higher than women’s in the UK Think before you tell men to ‘man up’.

    414 replies 25,969 retweets 56,860 likes
    Undo
  9. Retweeted
    Aug 23

    Turnbull sacrificed the ABC, the NBN, refugees (including children), the reef, Australia’s renewable industry, gay Australians, African Australians, $1.75M of his own money, all to appease the right of his party and keep his job. And then he lost it. That will be his legacy.

    83 replies 1,293 retweets 3,425 likes
    Undo
  10. Aug 24

    Sooo much cool stuff in Coq land... I can never figure out how to work it though! Oh wells...

    Show this thread
    Show this thread
    Undo
  11. Aug 24

    Surely there must be a better way to do this...

    2 replies
    Show this thread
    Show this thread
    Undo
  12. Aug 24

    So confused trying to add a Coq library to my project via a git submodule: 😭😭😭

    1 reply 1 like
    Show this thread
    Show this thread
    Undo
  13. Retweeted
    Aug 22

    Huh, this is new: Stack Exchange has rolled out a kind of "new contributor" badge with some text reminding you to be nice. Newbies sometimes violate unspoken rules or are unaware of meta-knowledge (e.g. big/ambitious questions on PCG are developed in the sandbox), might help.

    4 replies 8 retweets 33 likes
    Show this thread
    Show this thread
    Undo
  14. Aug 22

    Always been a fan of Escher's landscapes. Like tiny model villages. Feel like sometimes they get forgotten behind his more well-known tessellations, impossible objects, etc.

    Italian landscapes by M. C. Escher (1898–1972)
    2 likes
    Undo
  15. Aug 20

    I wrote up some half-baked ideas here: - I'm not the greatest at category theory though so I might be completely wrong some of this! At any rate, Rust's libraries are pretty damn good for what they are used for, even without a basis in category theory.

    1 reply 3 likes
    Show this thread
    Show this thread
    Undo
  16. Aug 20

    Any approach to libraries based on category theory in Rust needs to address explicit fusion via stack allocated adaptors (found in iterators, futures, streams, visitors, etc). This suggests that we might need a more general form of `Functor` than that found in Haskell. 🤔

    3 replies 1 retweet 8 likes
    Show this thread
    Show this thread
    Undo
  17. Retweeted
    Aug 17

    What happens to cities when temperatures reach 50 degrees Celsius (122 F)? It’s starting to happen, all over the world

    19 retweets 21 likes
    Undo
  18. Retweeted
    Aug 13

    zipで圧縮したpdf

    106 replies 68,872 retweets 130,993 likes
    Show this thread
    Show this thread
    Undo
  19. Aug 12

    I know not everyone learns the same, or finds the same stuff interesting, but for me this stuff feels so exhilarating and fascinating. Like touching the universe every day! 🤩 - I hope more young people get to learn about this stuff, it's amazing!

    5 likes
    Show this thread
    Show this thread
    Undo
  20. Aug 12

    I was terrible at times tables in primary school, and high school maths was a chore, even if I did get decent grades. Thankfully after a stint doing art and design, I've finally found the creative joy of maths through the wonder of type theory and computer science.

    She dismisses the importance of "conceptual understanding"; is it because she's an engineer and thinks math is just a tool for engineers? I got good at math by *only* conceptual understanding, no practice and no rote learning at all. It can't just be me.
    Show this thread
    2 replies 4 retweets 23 likes
    Show this thread
    Show this thread
    Undo
  21. Retweeted
    Aug 12

    She says "All American students could benefit from more drilling" but she neglects to point out that many of them will just learn to hate math even more if we drill them more. She says "All learning isn't - and shouldn't be - fun". Why not?

    9 replies 12 retweets 67 likes
    Show this thread
    Show this thread
    Undo

@brendanzab hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·