- Видео 384
- Просмотров 171 586
Matthew Flatt
Добавлен 22 окт 2011
Видео
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 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 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 2 - Sockets and Packets
Просмотров 62 часа назад
Netsec UDP and DNS 2 - Sockets and Packets
Netsec Application Layer 12 - Summary
Просмотров 812 часов назад
Netsec Application Layer 12 - Summary
Netsec Application Layer 10 - Hierarchical Name Resolution
Просмотров 412 часов назад
Netsec Application Layer 10 - Hierarchical Name Resolution
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 5 - netcat HTTP
Просмотров 3912 часов назад
Netsec Application Layer 5 - netcat HTTP
Nice tutorial using wireshark Matthew. What a great tool it is.
Keep going mate 🙏
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?
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?
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?
Great Explanation
Please keep making these
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.
Yes, you're right: I said "x" but meant "f" at that point.
robo Flatt
Might be useful to mention that this dichotomy is related to so called «expression problem»
Very cool, thanks!!
Did not understood that tail calls and continuations are so closely related. Thanks
Did not understand that before that video, that is :)
Is this a language you made yourself?
Yes. These videos are for a class, my.eng.utah.edu/~cs3520/, and the language was made for the class.
"PromoSM"
You have nothing to do d i mean you do 1vid at all the minutes
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.
The source code text in the left frame is too small for me to read.
"State as a side channel" what a insight!
Eval/Apply, It's beautiful ❤️
This was handy, thanks
How can I implement lazy letrec using eager Plait? Could you give me a hint? Thank you!
Great explanation!
Thank you, great video!!!
Fd'xxcvggfff333 😢 0:00 😢😢😢😂😂😂aqqq1😂❤😂
Version that's all at normal speed: ruclips.net/video/ndB2PAl3_YI/видео.html
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.
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!
Please can you help me with doing this in OCaml?
deferring substitution time complex is O(n)? I don't know
yes, linear time
Is the style guide for Racket equally applicable to Plait?
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`.
Helps me a lot for preparing my PL final, thanks very much bro, best wishes😃
Is the two-space collector, the exact same as Cheney's algorithm?
no god no
@@rohanasokan7338 Could you elaborate?
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
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.
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.
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
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. 🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪🍪
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.
I dont think htp.org is correct
Fix - thanks!