Matthew Flatt
Matthew Flatt
  • Видео 384
  • Просмотров 171 586

Видео

Netsec Reliable Data Transfer 11 - Selective Repeat vs. Cumulative ACKs
3 часа назад
Netsec Reliable Data Transfer 11 - Selective Repeat vs. Cumulative ACKs
Netsec Reliable Data Transfer 10 - Buffers, Send Base, Receive Base
Просмотров 13 часа назад
Netsec Reliable Data Transfer 10 - Buffers, Send Base, Receive Base
Netsec Reliable Data Transfer 9 - Choosing a Timeout
3 часа назад
Netsec Reliable Data Transfer 9 - Choosing a Timeout
Netsec Reliable Data Transfer 8 - Duplicated and Reordered Packets
3 часа назад
Netsec Reliable Data Transfer 8 - Duplicated and Reordered Packets
Netsec Reliable Data Transfer 7 - Reliable ACKs
3 часа назад
Netsec Reliable Data Transfer 7 - Reliable ACKs
Netsec Reliable Data Transfer 6 - ACKs and NACKs
Просмотров 13 часа назад
Netsec Reliable Data Transfer 6 - ACKs and NACKs
Netsec Reliable Data Transfer 5 - Checksum
3 часа назад
Netsec Reliable Data Transfer 5 - Checksum
Netsec Reliable Data Transfer 4 - Sender and Receiver State Machines
Просмотров 13 часа назад
Netsec Reliable Data Transfer 4 - Sender and Receiver State Machines
Netsec Reliable Data Transfer 3 - State Machines
Просмотров 13 часа назад
Netsec Reliable Data Transfer 3 - State Machines
Netsec Reliable Data Transfer 2 - rdt vs. udt
3 часа назад
Netsec Reliable Data Transfer 2 - rdt vs. udt
Netsec Reliable Data Transfer 1 - Intro
Просмотров 13 часа назад
Netsec Reliable Data Transfer 1 - Intro
Netsec UDP and DNS 10 - Summary
Просмотров 72 часа назад
Netsec UDP and DNS 10 - Summary
Netsec UDP and DNS 9 - More DNS Hints
Просмотров 42 часа назад
Netsec UDP and DNS 9 - More DNS Hints
Netsec UDP and DNS 8 - Wireshark
Просмотров 102 часа назад
Netsec UDP and DNS 8 - Wireshark
Netsec UDP and DNS 7 - RFCs
Просмотров 32 часа назад
Netsec UDP and DNS 7 - RFCs
Netsec UDP and DNS 6 - Using dig as a Client
Просмотров 82 часа назад
Netsec UDP and DNS 6 - Using dig as a Client
Netsec UDP and DNS 5 - Remote Client Demo
Просмотров 42 часа назад
Netsec UDP and DNS 5 - Remote Client Demo
Netsec UDP and DNS 4 - Server and Client Demo
Просмотров 122 часа назад
Netsec UDP and DNS 4 - Server and Client Demo
Netsec UDP and DNS 3 - UDP Sockets
Просмотров 42 часа назад
Netsec UDP and DNS 3 - UDP Sockets
Netsec UDP and DNS 2 - Sockets and Packets
Просмотров 62 часа назад
Netsec UDP and DNS 2 - Sockets and Packets
Netsec UDP and DNS 1 - Interfaces
Просмотров 102 часа назад
Netsec UDP and DNS 1 - Interfaces
Netsec Application Layer 12 - Summary
Просмотров 812 часов назад
Netsec Application Layer 12 - Summary
Netsec Application Layer 11 - dig
Просмотров 512 часов назад
Netsec Application Layer 11 - dig
Netsec Application Layer 10 - Hierarchical Name Resolution
Просмотров 412 часов назад
Netsec Application Layer 10 - Hierarchical Name Resolution
Netsec Application Layer 9 - DNS
Просмотров 712 часов назад
Netsec Application Layer 9 - DNS
Netsec Application Layer 8 - BitTorrent
Просмотров 612 часов назад
Netsec Application Layer 8 - BitTorrent
Netsec Application Layer 7 - netcat SMTP
Просмотров 712 часов назад
Netsec Application Layer 7 - netcat SMTP
Netsec Application Layer 6 - SMTP
Просмотров 612 часов назад
Netsec Application Layer 6 - SMTP
Netsec Application Layer 5 - netcat HTTP
Просмотров 3912 часов назад
Netsec Application Layer 5 - netcat HTTP

Комментарии

  • @diskhover
    @diskhover День назад

    Nice tutorial using wireshark Matthew. What a great tool it is.

  • @VICCI.VISION
    @VICCI.VISION 5 дней назад

    Keep going mate 🙏

  • @SavinaAshla
    @SavinaAshla 8 дней назад

    Appreciate the detailed breakdown! I have a quick question: My OKX wallet holds some USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). How can I transfer them to Binance?

  • @EmmalynnCorilla
    @EmmalynnCorilla 9 дней назад

    Grazie per aver condiviso informazioni così preziose! Solo una domanda fuori tema: Il mio portafoglio OKX contiene USDT e ho la frase di recupero. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). Potresti spiegare come spostarli su Binance?

  • @PatriciaHall-m6s
    @PatriciaHall-m6s 10 дней назад

    The video content is very interesting! I am a little confused: someone sent me a TRC20 USDT and I have the recovery phrase: {pride pole obtain together second when future mask review nature potato bulb} How do I extract them?

  • @Alpha-hb9dm
    @Alpha-hb9dm 27 дней назад

    Great Explanation

  • @adamaustad
    @adamaustad 2 месяца назад

    Please keep making these

  • @segunadebayodavid1261
    @segunadebayodavid1261 Год назад

    At 3:37, Did you mean: "pass f in and replace all the fs with f"? because it sounded like you said replace the fs with x. Thanks for this explanation, very good stuff.

    • @matthewflatt489
      @matthewflatt489 Год назад

      Yes, you're right: I said "x" but meant "f" at that point.

  • @ashtonhunt9371
    @ashtonhunt9371 Год назад

    robo Flatt

  • @alurma
    @alurma Год назад

    Might be useful to mention that this dichotomy is related to so called «expression problem»

  • @alurma
    @alurma Год назад

    Very cool, thanks!!

  • @alurma
    @alurma Год назад

    Did not understood that tail calls and continuations are so closely related. Thanks

    • @alurma
      @alurma Год назад

      Did not understand that before that video, that is :)

  • @torarinvik4920
    @torarinvik4920 Год назад

    Is this a language you made yourself?

    • @matthewflatt489
      @matthewflatt489 Год назад

      Yes. These videos are for a class, my.eng.utah.edu/~cs3520/, and the language was made for the class.

  • @pearcecoathup1654
    @pearcecoathup1654 Год назад

    "PromoSM"

  • @demonslayerstories
    @demonslayerstories Год назад

    You have nothing to do d i mean you do 1vid at all the minutes

  • @steveh4595
    @steveh4595 Год назад

    In my opinion, Rhombus is more of a teaching/research language to generate scholastic papers than it is a replacement or better evolution of the Racket language. When I look at the Rhombus syntax, it makes me appreciate more the simplicity and thoughtfulness of Python.

  • @doughockin9424
    @doughockin9424 Год назад

    The source code text in the left frame is too small for me to read.

  • @happyboy2323
    @happyboy2323 2 года назад

    "State as a side channel" what a insight!

  • @happyboy2323
    @happyboy2323 2 года назад

    Eval/Apply, It's beautiful ❤️

  • @Gingo
    @Gingo 2 года назад

    This was handy, thanks

  • @余梓俊
    @余梓俊 2 года назад

    How can I implement lazy letrec using eager Plait? Could you give me a hint? Thank you!

  • @Morganator42
    @Morganator42 3 года назад

    Great explanation!

  • @Kuro123Polska
    @Kuro123Polska 3 года назад

    Thank you, great video!!!

    • @clemmytinelyday6536
      @clemmytinelyday6536 9 месяцев назад

      Fd'xxcvggfff333 😢 0:00 😢😢😢😂😂😂aqqq1😂❤😂

  • @matthewflatt489
    @matthewflatt489 4 года назад

    Version that's all at normal speed: ruclips.net/video/ndB2PAl3_YI/видео.html

  • @jamesexton8054
    @jamesexton8054 4 года назад

    Great Video Matthew, would you be interested in offering online lessons? I have an upcomming exam, and could do with your help. You will of course be paid.

  • @Teddypimm
    @Teddypimm 4 года назад

    Thank you for creating this, arithmetic on church numerals were a complete mystery until it clicked with this video. The definition of the number is just doing a thing that number of times- so you can use it to do a thing that number of times. It all makes sense!

  • @NXTrisFootballVideos
    @NXTrisFootballVideos 5 лет назад

    Please can you help me with doing this in OCaml?

  • @jnam8973
    @jnam8973 5 лет назад

    deferring substitution time complex is O(n)? I don't know

  • @karltaht2370
    @karltaht2370 5 лет назад

    Is the style guide for Racket equally applicable to Plait?

    • @matthewflatt489
      @matthewflatt489 5 лет назад

      For code formatting, the Racket style guide is generally applicable. The style guide may recommend using certain language features that aren't available in Plait, however, such as internal definitions without `local`.

  • @thomaswu4813
    @thomaswu4813 5 лет назад

    Helps me a lot for preparing my PL final, thanks very much bro, best wishes😃

  • @JessRasmussen-b1m
    @JessRasmussen-b1m 5 лет назад

    Is the two-space collector, the exact same as Cheney's algorithm?

  • @BLOOMS
    @BLOOMS 6 лет назад

    Yeah, you make a good point about the template showing you more than you need, but you're right, I guess that's okay, because you still know what you could use for later. The only bug is that a rat eating snake is somehow heavier than a cake eating snake. I guess the one snake has good metabolhissm

  • @BLOOMS
    @BLOOMS 6 лет назад

    Hmm, do all boolean functions have question marks as part of their name? That's nice when reading, but I feel like if you changed the type to something like "a bool with extra meta info" or something, then you would have to update code to remove the question mark even though you are still asking a question. Not sure. "the ant variant"... I guess variant means different terminology than say.. a "sum type". I guess its a variant of a test. Something in the test(example I mean) that gives different results. So we didn't need a deceleration for "is-home?". Makes me wonder why we put "Ant-at-home? : (Ant -> Boolean)" at all. I wish we didn't have to specify "wgt" at all since we aren't using it.

    • @matthewflatt489
      @matthewflatt489 6 лет назад

      Yes, the "?" convention applies just to functions that return booleans, so I'd rename a function if I change its return type. Yes, `define-type` defines a sum type (but the videos are intended for students who won't learn that terminology until later in the class). The `Ant-at-home? : (Ant -> Boolean)` line doesn't end up being part of the code. That may be more clear in later (long) videos that show what writing and running the program looks like.

  • @BLOOMS
    @BLOOMS 6 лет назад

    oh pretty slick. I guess type-case sort of decouples/unwraps the data members from Posn somehow. the lispy-ness is going to take me sometime to get use to

  • @BLOOMS
    @BLOOMS 6 лет назад

    loving the tour! It surprised me that the representation also contains the function signature. I thought the representation was just going to be plain ol' data layout, but I guess that makes sense, because "step 2" is examples, and you can't do those with a signature. "examples" are actually test cases. Ah, a little TDD here, okay. thinking what I would need to do if eating 0 cookies is just invalid... assert that its not possible? throw exceptions? (not sure if you can do that in racket; new to the language)... but yeah, curious what you would do about preconditions, and invalid calls. the template step seems like it could be automated. I guess you named the parameter there, but we already knew it took a number. I'll wait to see more examples on that. Oh my bad, you put the implementation goes there also. Yeah, it seems like "template" and "implement" are sort of the same step. 🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪

    • @matthewflatt489
      @matthewflatt489 6 лет назад

      The "template" step is ephemeral in that we usually don't save it and just turn it into the implementation, but it's useful conceptually to separate them. The template step depends only on the input data, and it really could be automated.

  • @BLOOMS
    @BLOOMS 6 лет назад

    I dont think htp.org is correct