Netsec Network Layer Data 1 - Introduction
1:14
Netsec Congestion Control 9 - Summary
0:49
Netsec Congestion Control 8 - QUIC
3:25
7 сағат бұрын
Netsec Congestion Control 7 - TCP Problems
5:03
Netsec Congestion Control 4 - Slow Start
1:21
Netsec Congestion Control 2 - Timeout
2:24
Netsec Congestion Control 1 - Introduction
0:40
Netsec TCP 10 - Summary
1:13
19 сағат бұрын
Netsec TCP 9 - Closing a Connection
3:53
19 сағат бұрын
Netsec TCP 8 - Timeouts and Shortcuts
3:26
19 сағат бұрын
Netsec TCP 7 - Buffers and Flow Control
3:32
Netsec TCP 5 - Packet Exchange Example
1:47
Netsec TCP 4 - Packet Structure
4:09
19 сағат бұрын
Netsec TCP 3 - Sockets and Connections
4:42
Netsec TCP 2 - Server and Client Demo
3:41
19 сағат бұрын
Netsec TCP 1 - Introduction
0:57
19 сағат бұрын
Пікірлер
@MaryScott-h5x
@MaryScott-h5x 3 күн бұрын
Appreciate the detailed breakdown! I need some advice: My OKX wallet holds some USDT, and I have the seed phrase. (mistake turkey blossom warfare blade until bachelor fall squeeze today flee guitar). How can I transfer them to Binance?
@nbme-answers
@nbme-answers 8 күн бұрын
Professor Flatt, you rock !
@diskhover
@diskhover 12 күн бұрын
Nice tutorial using wireshark Matthew. What a great tool it is.
@VICCI.VISION
@VICCI.VISION 16 күн бұрын
Keep going mate 🙏
@PatriciaHall-m6s
@PatriciaHall-m6s 21 күн бұрын
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 Ай бұрын
Great Explanation
@adamaustad
@adamaustad 3 ай бұрын
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: kzbin.info/www/bejne/pJWlY4N3oZiSj6s
@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
@ben_greenman
@ben_greenman Жыл бұрын
yes, linear time
@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 6 жыл бұрын
Is the two-space collector, the exact same as Cheney's algorithm?
@rohanasokan7338
@rohanasokan7338 2 жыл бұрын
no god no
@JessRasmussen-b1m
@JessRasmussen-b1m 2 жыл бұрын
@@rohanasokan7338 Could you elaborate?
@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
@matthewflatt489
@matthewflatt489 6 жыл бұрын
Fix - thanks!