Відео

why not isForbidden x = and $ map ($ x) [the list of predicates]

Every time he scrolls down and we see a brief glimpse of the default solution, my jaw drops. I'm glad I don't have to work on a codebase like that.

mmap is versatile in the same way read and write are, i.e. perfectly fine

mmap is a posix system call. It's not supposed to be user friendly. It's supposed to be an interface all posix compliant OSes provide as standard. Old and low level code can't be judged by SOLID principles or design patterns. Those are luxuries that system engineers don't have or need.

As a rust developer, I can confirm, I did go ballistic

Pretty much nothing using morecore (a.k.a the sbrk syscall) on linux. I think plan9 still uses that approach. It's all mmap as far as I know these days.

I rewrote this in rust

It was an honor to penetrate parsers with you for one hour and 50 minutes

Legendary video. Worth noting that this approach can also be followed in imperative languages (Javascript, anyone?) and leads to an incredibly succinct way of implementing parsers.

Why is he no longer so rotund?

2020 Tsoding: Linus Torvalds 2024 Tsoding: Mark Succerburg

1:11:30 Yesssss, I was *hoping* that the punchline was going to be Sieve of Eratosthenes ... Such a classic / nice example ... So satisfying!

54:00 Re: Haskell fanatics: You're absolutely right. Trying to 'debug' performance problems in a lazy language is mind-bendingly difficult -- anything that you do to investigate, while it won't change input -> output mapping, *may* change what gets evaluated and when. If you want to checkmate a Haskell fanatic's 'silver-bullet' arguments, ask them why `seq` exists.

42:30 It's almost unreasonable how many good ideas there have been in functional languages that have been 'soaked up' by normie languages ... Wonder if dysfunctional (?) / nonfunctional (?) people will ever 'do the induction' and realise that we ought to replace all of the derpy OO / procedural languages with functional ones ...

So, this is really call-by-name, rather than lazy evaluation -- things are evaluated only when needed ... but may be evaluated repeatedly. Also, your intuition that thunks are not used to implement this is generally right; traditionally, graph reduction has been used ... afaik, modern GHC uses some more-sophisticated abstract machine (It was STG at some point, but I'm not sure what's being used now.).

17:20 Wait ... are there still people who believe that static typing isn't the obvious / only choice!?

Why do people who come from Java / OO use `T` as the first type parameter? In functional languages (Haskell, SML, etc.) we start with `A` ... which seems like the obvious place to start.

I think it would be cool to now explain monads but instead using an imperative language, like C.

Tsoding was right when he said it's a nice (probably best) video on his channel.

I really want to add Haskell to my repository of languages I know really good

I am a JetBrains user. Am I invited?

8:26 woah that multi-cursor 🤯

ADA 95? from 1995?

Still "Yes"🧠

AYO!

Awesome explanation, very helpful, thank you!

Respect... you really understad Monads and solid chunk of Haskell 🤯

As I was going to college for CS, Ada was replaced by Java in the curriculum. The general thought was that Ada was a great language, but it was out-of-fashion and too difficult to teach. After a few decades of thinking about it, I think Ada got most everything right in the first place, and most modern languages that followed were just superficial re-writes. I think it's time for Ada to make a comeback. I suppose a lot of people don't like the English-oriented syntax of BASIC/Pascal/Ada, but there's really no reason a more internationally neutral syntax layer couldn't be developed.

you seemed so nice and soft 6 years ago lmao

going through all that pain with the GUI when you could just emacs -nw

What is side effect? Since it is not stated, I am stopping this explanation. downvote!

We have too many people in government talking about things they don't know about. I cringed every time they used the word "algorithm" when questioning that tiktok guy. Like that was their big word for the month.

I'm not a programmer by trade, just a hobbyist. I looked into Ada and found it really interesting, but really did get lost in build system goop. I think I may look into it again with this more minimalist, simple mentality and hopefully get more out of it. Good video, thanks.

Thank youu

Rewatching your old videos, and this intro hit as hard as it did 4 years ago :D

24:23 with “Hello from AdaglBlendFunc”. I like the casual example of an out of bounds read achieved in an approved “safe” language. PS Thanks for an interesting overview of Ada. It’s turned out to be quite a curious creature.

I prefer avoiding unneeded indices. divisibleSumPairs k ar = length [x | (h:xs) <- init (Data.List.tails ar), x<-xs, 0==(h+x)`mod`k]

There is a meaning to having templates, in isolating what your task is. The task wasn't to parse input streams into numbers, but to fill in the body of one function. Unfortunately, the scaffolding was indeed ridiculous. E.g. compare: arTemp <- getLine let ar = Data.List.map (read :: String -> Int) . words $ arTemp ar :: [Int] <- map read . words <$> getLine readMultipleLinesAsStringArray = sequence . flip replicate getLine

We all know the answer is Rust

I learned Ada in the early nineties. I loved it.

bro basically speedrun the accession of ADA for the rest of the world with a ready template for games, LMAO

nope.

hoily fuck this nigga was WIDE before he started cutting. Thats actually insane bro

hasn't yet

Tsoding is just underrated

Combination of Snake and Pascal cases (Pascal_Snake case). (camelCase for having humps in the middle of the name like a camel.)

Today in the category "Video titles that could have existed in the 80ies"...

Oracle PL/SQL was designed from ADA, including the .pls and .plb analog file extensions

If anything ever is going to replace c/c++ it's almost 100% going to be rust.

Ada is a beautiful language, but Rust does most of the same thing while being modern. It would make more sense to improve Rust than use Ada.