TigerStyle! (Or How To Design Safer Systems in Less Time) by Joran Dirk Greef

Ғылым және технология

Our final talk from Systems Distributed '23: systemsdistributed.com.
Join the chat at slack.tigerbeetle.com/invite!

Пікірлер: 36

  • @Metruzanca
    @Metruzanca4 ай бұрын

    Tigerbeetle just knows what good music for their talks is.

  • @nexovec
    @nexovec2 ай бұрын

    Turns out I've been using tigerstyle for the past 5 years and didn't even know. It's always good to see something put in writing that you've long subconsciously practiced, because then you can focus on it and audit it. This is helpful.

  • @cal3461
    @cal34614 ай бұрын

    I love how much Joran love to present this talk. - one of my favourite technical talks

  • @noahryan8672
    @noahryan8672 Жыл бұрын

    Great talk. I found it interesting how a good part of this thinking is similar to what embedded systems programming is like at NASA- the emphasis on static memory, limits, assertions, design, thinking about the full system, etc.

  • @JannisAdmek
    @JannisAdmek4 ай бұрын

    One of the best tech talks I've seen in a while!

  • @tenthlegionstudios1343
    @tenthlegionstudios1343 Жыл бұрын

    Amazing talk and presentation!!

  • @WolfoxBR
    @WolfoxBR Жыл бұрын

    That was truly fantastic in every possible way. I wish I could have been there in person. Well, maybe next time. Thank you, Joran!

  • @jorandirkgreef

    @jorandirkgreef

    Жыл бұрын

    Thanks Roberto! Next time for sure! 🙌

  • @Kichaka_Ranch
    @Kichaka_Ranch Жыл бұрын

    Amazing content so far! What a way to wrap it up !

  • @diegobellani
    @diegobellani Жыл бұрын

    Wow I think this is one of the best demos ever ahahah! The talk was great too. I think that assertion are an essential tool in a developer toolbox. You guys are amazing and I hope to see more projects developed with the rigor that you have.

  • @jorandirkgreef

    @jorandirkgreef

    Жыл бұрын

    Thanks Diego!

  • @DavidGauerRatfactor
    @DavidGauerRatfactor Жыл бұрын

    Amazing talk! Lots of fantastic points here, but I especially love the concept of programming "the negative space" with assertions. What a fantastic way to put it. Also, I want that test environment. 🙂

  • @jorandirkgreef

    @jorandirkgreef

    Жыл бұрын

    Thanks Dave, awesome to hear that you enjoyed it, and great to see you here in the thread. 🙂

  • @klumpeet
    @klumpeet3 ай бұрын

    "State is building a database" Yes!

  • @rolandinnamorato1953
    @rolandinnamorato1953 Жыл бұрын

    Getting notes of Rich Hickey. Very cool speaker.

  • @jorandirkgreef

    @jorandirkgreef

    Жыл бұрын

    Wow, thanks Roland. Rich Hickey was pretty influential on me when I was younger, honing my chops and doing the experiments that would years later become TigerBeetle.

  • @nosh3019
    @nosh30194 ай бұрын

    Amazing! Great talk!

  • @harleyswick5449
    @harleyswick5449 Жыл бұрын

    Great talk. I want that shirt!

  • @tigerbeetledb

    @tigerbeetledb

    Жыл бұрын

    You know where to find us...

  • @marcusasteborg7762
    @marcusasteborg7762 Жыл бұрын

    Great talk!

  • @ryantaylor6470
    @ryantaylor64706 ай бұрын

    what a great talk!

  • @rohanpuri851
    @rohanpuri851 Жыл бұрын

    Just watched the talk Joran, this is a classic! You killed it with the demo :)

  • @jorandirkgreef

    @jorandirkgreef

    Жыл бұрын

    Great to hear it, Rohan!

  • @elixirfun
    @elixirfun17 күн бұрын

    Elixir's pattern matching and guards are a perfect example of such assertions built into the language philosophy. And it doesn't have that problem of Go with assertion because servers don't crash at an exception, only single, isolated processes do.

  • @NaveenSiddareddy
    @NaveenSiddareddy Жыл бұрын

    always thought the same we have only 4 things to worry about cpu, disk, memory, & network, abstractions hide these but may be design should always start with these !

  • @jorandirkgreef

    @jorandirkgreef

    Жыл бұрын

    Glad to hear it! My way into this was reading “High Performance Browser Networking” a few years ago... optimizing the network requests made by a web application... and then realizing that the disk also benefitted from similar optimizations... and then realizing the same for memory... and CPU. With TigerBeetle, we try to really focus on the memory, to unblock the CPU and let the CPU go fast.

  • @CitizensCommunity
    @CitizensCommunity17 күн бұрын

    If there is a limit to the loop then that will fix some issues and open a new path that must also be thought of. Its a good and interesting idea, but its also not without its new potential for issues.

  • @Hector-bj3ls
    @Hector-bj3ls2 ай бұрын

    I wish there were some examples of what he was talking about. Sometimes it just sounds like vague advice. "Do software good like an artist does"... Okay, but like what? Like when talking about naming things he just said: "Use the right nouns and make the names good and clear". Yes, I agree, probably, but what are some examples? How do I know what you mean by "use the right noun"? I think I do that, but I have no idea what you think that is, nor what Tiger Style says on the subject.

  • @salim444
    @salim444Ай бұрын

    37:51 Clojure has spec which is quite similar to asserts on input and output with fuzy testing and also a simple predicates on inputs and output

  • @solagratiasolafide
    @solagratiasolafide2 ай бұрын

    Jepsen mentioned

  • @anj000
    @anj00017 күн бұрын

    This game at the end went over my head, not gona lie. I'm not sure what am I seeing there.

  • @dwylhq874
    @dwylhq8744 күн бұрын

    00:14 TigerBeetle an elaborate way to get cash from FinTech to buy kitesurfing gear. 😜 Joking aside. Great presentation! ❤

  • @chaitanyakumar3809
    @chaitanyakumar3809 Жыл бұрын

    43:06 can I find this a decent resolution version of this image somewhere in public domain?

  • @tigerbeetledb

    @tigerbeetledb

    Жыл бұрын

    Hey Chaitanya! We've uploaded our original of the image in TigerBeetle's Slack in the #systems-distributed channel.

  • @highpofly
    @highpofly4 ай бұрын

    bottom line, always use rust

  • @pietraderdetective8953

    @pietraderdetective8953

    2 ай бұрын

    Bottom line: PoS rust cultist!

Келесі