My Next Video Project (Tula Ep.01)

  Рет қаралды 28,805

Tsoding Daily

Tsoding Daily

Ай бұрын

More Episodes: • Tula
References:
- Main Channel: / @tsoding
- The Ada Video: • Will Ada Replace C/C++?
- Wikipedia - Turing Machine - en.wikipedia.org/wiki/Turing_...
- Wikipedia - Universal Turing Machine - en.wikipedia.org/wiki/Univers...
- Wikipedia - Turing Tarpit - en.wikipedia.org/wiki/Turing_...

Пікірлер: 102
@vallukman
@vallukman Ай бұрын
"REDD FREAKIN CIRCLE" 🗣️💥💥
@nomadvagabond1263
@nomadvagabond1263 Ай бұрын
Live on twitch
@ElPikacupacabra
@ElPikacupacabra 28 күн бұрын
@@nomadvagabond1263 ping whoever wants to be pinged...
@fishsayhelo9872
@fishsayhelo9872 Ай бұрын
Twitch chat as a subtitle option? mr zozin is truly living in a time far beyond our own. very creative, thank you mr zozin 👍
@loobersoog
@loobersoog Ай бұрын
geohotz used to do it way earlier i think
@MrKevinontube
@MrKevinontube Ай бұрын
@@loobersoog that channel is not run by George Hotz.
@prokras8609
@prokras8609 Ай бұрын
Its really nice.. Also it looks better when viewed as transcript in PC
@alurma
@alurma Ай бұрын
Is this gonna be the top comment on every video from now on..
@juanc.6851
@juanc.6851 Ай бұрын
I really liked Ada's video and how it was explained, I learned a lot, I hope you can make more videos like this
@maksa22242
@maksa22242 Ай бұрын
I completely agree
@cobbcoding
@cobbcoding Ай бұрын
I really like the format of the Ada video, one of your best for sure.
@waynee95
@waynee95 Ай бұрын
Restricting the tape to only be infinite to the right does not impact the computational power of the Turing Machine anyway. Both models are equivalent.
@glebunov
@glebunov Ай бұрын
I had lectures on turing machines just last semester, so here are some notes on formal TMs (according to my knowledge). If you care about formal TMs as long as the TM works for your use cases / programs is up to you ofc)) - The alphabet usually contains at least a NULL symbol and a SEPARATOR symbol. beyond the input data the tape is filled with NULL to infinity - There is one head per tape but there may be multiple tapes. this makes certain programs easier to write but a single head does not restrict computational power - some TMs implement a STANDSTILL move next to left and right, this does not affect computational power but makes certain programs easier to write - non determinism increases the computational power of a TM, this is achieved using multiple instructions for a single STATE+READ tuple and splitting exwcution in parallel branches - a formal TM only halts and accepts when it reaches the halting state. a missing case does not equal an accepting halt but rather a NOOP. In a single tape TM this inevitably leads to the machine getting stuck and never halting. This behaviour is actually important regarding computability and the halting problem
@priyakdey7891
@priyakdey7891 Ай бұрын
I love watching the whole process , the whole vods… it is also informative and for me it’s quite relaxing seeing some good quality code and the process of carving it .
@limplash
@limplash 29 күн бұрын
I love the content ... fav work in RUST/C/JAI ... love the project selection ... highly recommend this channel for learning and entertainment
@taraskuzyk8985
@taraskuzyk8985 Ай бұрын
Ada video was amazing. Looking forward to more.
@divingeveryday
@divingeveryday 29 күн бұрын
Looks like a fun project to follow. Can't wait to see the final video, too. 👍
@Dpo4eBpaT
@Dpo4eBpaT Ай бұрын
0:08: "Удмурт", "Банкетный", "Говорун"...
@tichalagaming7853
@tichalagaming7853 Ай бұрын
Love you sir love you soo much can you plz do more for KZfaq like upload all your projects here too. 🙏🙏
@cheebadigga4092
@cheebadigga4092 Ай бұрын
who needs a lexer?! I've been splitting all my life
@KyttaIsHere
@KyttaIsHere 21 күн бұрын
Lexer? I hardly know her!
@johnsearing9128
@johnsearing9128 27 күн бұрын
I initially thought tsoding was a play on TypeScript Coding. Glad I read the title!
@gahshunker
@gahshunker Ай бұрын
yes, a summary video will be f-ing great.
@suvetar
@suvetar 10 сағат бұрын
Turing Tarpit - I instantly start thinking about Wolframs Turing Complete cellular automata 😲
@MiroslavPopov
@MiroslavPopov Ай бұрын
Congrats for your new project. I'm very happy watching it. Some notes: - it looks weird with LSB on the left - expanding tape to the left is as easy as expanding it to the right - empty tape can default to zero (0) - `Halt` can be a known keyword. - the machine can rise exception when settings a `symbol` without a define `case`.
@poiu5302
@poiu5302 23 күн бұрын
With a dynamic array like Vec, it's not as easy to expand the tape to the left, because you have to move all the other elements to the right.
@seftondepledge3658
@seftondepledge3658 14 күн бұрын
@@poiu5302 You can just use a VecDeque then
@joshuadonahue5871
@joshuadonahue5871 Ай бұрын
Wild. I've just started learning Rust, and I've been thinking about implementing a turing machine playground
@sasakanjuh7660
@sasakanjuh7660 29 күн бұрын
This one was super cool, can't wait for the next episode! :)
@parthokr
@parthokr Ай бұрын
every time i take a glance at your stream preview and it reminds me of windows 8
@apppples
@apppples Ай бұрын
I liked the ada video. But also it was nowhere near as good as going and binge watching all of the vods on it for days on end. That was awesome!
@seftondepledge3658
@seftondepledge3658 14 күн бұрын
I believe there is a bug in the parenthasese balancer. At the end you are only checking if the first bit is 0 or 1. If it is zero you are returning `Balanced`. This means if the count is an even number then even thought it is unbalanced the program will say it is.
@valshaped
@valshaped 23 күн бұрын
43:40 Yeah, the function of lifetimes (in function args) is to explain to the compiler which input parameter reference the reference you're returning comes from. It's annoying, but once you do it, the compiler can statically check that you're correct.
@donovanvanderlinde3478
@donovanvanderlinde3478 21 күн бұрын
FEK YESS BRO ! LEST GO
@Diana.Carter
@Diana.Carter 29 күн бұрын
I'm so excited for this video project, it might just turn into a Turing Tarpit of entertainment! Can't wait to see the Ada Video in action!" 🤖🎬
@user-uf4rx5ih3v
@user-uf4rx5ih3v Ай бұрын
I wonder how efficient this language is versus how nice it would be to write. It would be cool if you compare some leetcode problems in your other languages.
@ovi1326
@ovi1326 21 күн бұрын
reading binary left to right is harder than I initially thought it''d be
@TurtleKwitty
@TurtleKwitty 29 күн бұрын
Big harddrive wants you to program rust, more useless typing is good
@hubstrangers3450
@hubstrangers3450 28 күн бұрын
Thank you....
@MrKevinontube
@MrKevinontube Ай бұрын
I got recommendation for Tsoding and I thought it was some other guy. He looked bigger. That was awhile ago.
@gadisasabri2056
@gadisasabri2056 Ай бұрын
thank you @tsoding you never disappoint
@macuilxochitl4057
@macuilxochitl4057 Ай бұрын
i love this, honestly
@macuilxochitl4057
@macuilxochitl4057 Ай бұрын
lexer, virtual machine and more computer science bullshit
@iamdozerq
@iamdozerq 22 күн бұрын
I want to dive into rust and desktop development for my own little projects in near future and... rust seem to be TOXIC.
@bigyang5847
@bigyang5847 Ай бұрын
You should do more beatbox on video! You're fucking good bro! Let us hear it more!
@varshneydevansh
@varshneydevansh Ай бұрын
OMG another cool project from zozziiinnnnn
@byterbrodTV
@byterbrodTV Ай бұрын
Experimental programming language! That's what we deserve!
@demolazer
@demolazer 29 күн бұрын
Best programming tutorials on KZfaq. Stuff you just don't see anywhere else. IMO this channel should be mandatory viewing for CS students.
@danielschmitt5750
@danielschmitt5750 28 күн бұрын
This content has nothing to do with tutorials.
@ihalseide
@ihalseide Ай бұрын
Hey someone should put this on the EsoLangs wiki
@Error_-rt9mw
@Error_-rt9mw Ай бұрын
wouldn't be useful to also give a neutral direction? For what i remember not always you want to move the head of the machine
@p99chan99
@p99chan99 27 күн бұрын
The longer the videos, the better
@blackhaze3856
@blackhaze3856 28 күн бұрын
Now I feel myself touring completed
@Pi7on
@Pi7on Ай бұрын
Yooo new programming language let's gooo
@ecosta
@ecosta 4 күн бұрын
Implementing and testing languages using pen and paper.... It feels like I was the last survivor of an ancient society and I finally found another survivor... This is such a powerful technique but it is so hard to show its power to these "modern devs" and their AI-powered tools...
@iWillAvert
@iWillAvert 3 күн бұрын
Tula is also a Russian ammo manufacturing company!
@Olegach21
@Olegach21 Ай бұрын
Lesgoooooooooo
@shubhampawar7921
@shubhampawar7921 21 күн бұрын
@tscoding, why don't you use flymake or flycheck. I understand him not using lsp,etc but why not use flycheck/flymake so he can get errors before running compile command
@stretch8390
@stretch8390 29 күн бұрын
Ok, ok, ok, I'm only up to 3:22 but why not start from the lambda-calculus perspective given your background with functional? Or is that the point, have a break from functional?
@paolodelfino1
@paolodelfino1 Ай бұрын
but please don't quit vods on youtube
@iamdozerq
@iamdozerq 20 күн бұрын
45:00 Привет от лиги программистов получается?
@tianned
@tianned Ай бұрын
Process status: waiting for a C course from mista Zozin(this will never happen, process should be killed)
@cod.liver.failure
@cod.liver.failure Ай бұрын
today i fount out there is a main channel
@VACatholic
@VACatholic 28 күн бұрын
The symbols a turing machine can use are called the "alphabet", not the "dictionary".
@sossupummi
@sossupummi Ай бұрын
00:19:32 lmao how bloated rust is, hello world a measly 4.5 MEGS :D
@potatomaaan1757
@potatomaaan1757 Ай бұрын
It has all the debug symbols, if you strip the binary it's 412k for me. With LTO it's 320k. You can also do some other stuff to get it down to like 8k (have a look at min-sized-rust, it's very cool)
@anon_y_mousse
@anon_y_mousse Ай бұрын
@@potatomaaan1757 Meanwhile, I can write a C program that fits in 3k without doing a bunch of work. Yay, progress!
@potatomaaan1757
@potatomaaan1757 29 күн бұрын
@@anon_y_mousse when I do `gcc main.c -o main` I get a 16k executable, so getting anything smaller does involve at least some work. It would certainly be neat if Rust produced smaller binaries by default, but not having to compile the stdlib for every build and having proper panic handling do seem like worthy tradeoffs for a slightly larger binary.
@v_i_e_w_e_r_405
@v_i_e_w_e_r_405 Ай бұрын
in general I can't watch something longer than 10mins, unless is a Tsoding video of course
@remrevo3944
@remrevo3944 27 күн бұрын
1:29:35 For what it's worth, there is also String::leak
@kitirboom3495
@kitirboom3495 Ай бұрын
Тульский андерграунд😎
@salim444
@salim444 Ай бұрын
hello the third owner of that channel
@siz1700
@siz1700 Ай бұрын
Я единственный русский зритель у кого колокольчик стоит??
@nanothrill7171
@nanothrill7171 29 күн бұрын
frankly i'm not gonna do what the nsa tells me if all possible.
@TheMelopeus
@TheMelopeus Ай бұрын
Middle
@brunopanizzi
@brunopanizzi Ай бұрын
Build it and add raylib bindings please
@louis1001
@louis1001 26 күн бұрын
So... Tula is the name of my grandma, and we just learned that she has Alzheimer's Gonna be following this series for a while. --- Just heard the dick joke. lol Not in MY Spanish. Short for Gertrudis
@chromosundrift
@chromosundrift 29 күн бұрын
Suppose you had a parens.tape: % ( ( ) ) & 0 0 0 with two distinct delimiter symbols, would that let you reduce to a single reset state which skips left until the % instead of having a reset state for each of the two different uses of & symbol? ...or am I missing something?
@pitche
@pitche Ай бұрын
There's arabic twitch subtitles available. Wat?
@SMorales851
@SMorales851 25 күн бұрын
I'm pleased(?) to inform you all that "tula" is chilean slang for "penis".
@gertrudessampaio8689
@gertrudessampaio8689 Ай бұрын
How can I join your group ? I want to support you.
@marwan7614
@marwan7614 Ай бұрын
Go subscribe to him in twitch.
@hendrikd2113
@hendrikd2113 Ай бұрын
!today
@RealCatDev
@RealCatDev Ай бұрын
10 seconds
@lowlevelcodingch
@lowlevelcodingch Ай бұрын
WAIT A FUCKING MINUTE; DIDNT I ALREADY WATCH THIS VIDEO?????????????
@CrazyLuke11
@CrazyLuke11 Ай бұрын
Were you on the stream?
@lowlevelcodingch
@lowlevelcodingch Ай бұрын
ohh i watched the stream
@angelcaru
@angelcaru Ай бұрын
lol​@@lowlevelcodingch
@MrKevinontube
@MrKevinontube Ай бұрын
You’re experiencing deja vu
@lowlevelcodingch
@lowlevelcodingch Ай бұрын
14 mins
@kleoCodes
@kleoCodes Ай бұрын
last
@DuskyDaily
@DuskyDaily Ай бұрын
First
@__noob__coder__
@__noob__coder__ Ай бұрын
I don’t find the recent projects very interesting honestly ….
@akshettjindal1651
@akshettjindal1651 Ай бұрын
If you don't find this turing stuff interesting then maybe you should not opt computer science as a career ... unless you are a web developer
@joelkomieter6557
@joelkomieter6557 27 күн бұрын
@@akshettjindal1651😂😂facts
@tuliomop
@tuliomop Ай бұрын
Tula is a town in the state of Hidalgo,México
@JohnDoe-np7do
@JohnDoe-np7do 25 күн бұрын
I dont see you using zig much? Its highly underrated imo & i prefer it over rust.
I regret doing this...
1:20:07
Tsoding Daily
Рет қаралды 60 М.
I fixed Lua
2:16:48
Tsoding Daily
Рет қаралды 42 М.
Don't eat centipede 🪱😂
00:19
Nadir Sailov
Рет қаралды 19 МЛН
Follow @karina-kola please 🙏🥺
00:21
Andrey Grechka
Рет қаралды 17 МЛН
Is C++ better than C?
1:46:10
Tsoding Daily
Рет қаралды 27 М.
I Interviewed Uncle Bob
1:11:07
ThePrimeTime
Рет қаралды 258 М.
Compiling MS-DOS 4.0 using DOSbox & Qemu
17:59
Neozeed
Рет қаралды 3,3 М.
This Release is Insane!
1:25:56
Tsoding Daily
Рет қаралды 49 М.
The Bubble Sort Curve
19:18
Lines That Connect
Рет қаралды 342 М.
Solid Programming - No Thanks
32:00
ThePrimeTime
Рет қаралды 206 М.
Blazingly Fast Greedy Mesher - Voxel Engine Optimizations
23:35
I hope FFmpeg's Twitter won't Cancel me for This...
2:27:17
Tsoding Daily
Рет қаралды 19 М.
98% Cloud Cost Saved By Writing Our Own Database
21:45
ThePrimeTime
Рет қаралды 239 М.
Async Engine in C
3:12:16
Tsoding Daily
Рет қаралды 31 М.
Купите ЭТОТ БЮДЖЕТНИК вместо флагманов от Samsung, Xiaomi и Apple!
13:03
Thebox - о технике и гаджетах
Рет қаралды 67 М.
Google I/O 2024 - ИИ, Android 15 и новые Google Glass
22:47
Наушники Ой🤣
0:26
Listen_pods
Рет қаралды 495 М.
На iPhone можно фоткать даже ночью😳
0:30
GStore Mobile
Рет қаралды 1,3 МЛН
Он Отказался от БЕСПЛАТНОЙ видеокарты
0:40
ЖЕЛЕЗНЫЙ КОРОЛЬ
Рет қаралды 1,9 МЛН