01:02 <+bridge> [ddnet] What's 1 + 1 = ? πŸ€” 01:19 <+bridge> [ddnet] ask GPT 01:21 <+bridge> [ddnet] 1 + 1 usually 2 08:10 <+bridge> [ddnet] @uwu Π° Ρ‡Π΅ Ρ‚Ρ‹ пСрСстал Ρ€Π΅ΡˆΠ°Ρ‚ΡŒ aoc 08:12 <+bridge> [ddnet] @doubtx russian β†’ #off-topic 08:48 <+bridge> [ddnet] fancy arrow :greenthing: 10:02 <+bridge> [ddnet] False :feelsbadman: 10:04 <+bridge> [ddnet] lmao 12yo lerato 10:04 <+bridge> [ddnet] (@Not Keks) 10:15 <+bridge> [ddnet] How did I become 12? 10:16 <+bridge> [ddnet] be happy u have a longer life now 10:22 <+bridge> [ddnet] 11 quite obvious 10:23 <+bridge> [ddnet] U Young af and beast nice. U started with 3 years debugging compilers while others still **it in their pants stop lie 10:24 <+bridge> [ddnet] It’s obv 10. What are you on about? 10:24 <+bridge> [ddnet] Beast mode 10:25 <+bridge> [ddnet] That's not false ^^ 10:25 <+bridge> [ddnet] Depending on the numeric system 10:32 <+bridge> [ddnet] https://cdn.discordapp.com/attachments/293493549758939136/1049981715109662720/FjXCbYbWQAIX6EN.jpg 10:34 <+bridge> [ddnet] I'm actually surprised chatgpt didn't turn into a raging racist yet 10:35 <+bridge> [ddnet] its moderated probs 10:35 <+bridge> [ddnet] u could have a second ai look at the output and determine if its racist by today standards 10:35 <+bridge> [ddnet] (since standards change kek) 10:36 <+bridge> [ddnet] halp my haskell is eating my ram 10:36 <+bridge> [ddnet] from my little learning with functional langs 10:36 <+bridge> [ddnet] turn recursion into tail recursion 10:36 <+bridge> [ddnet] idk xd 10:38 <+bridge> [ddnet] Stable-diffusion did this for it's 1.x releases. But 2.0 is out and the model is trained on a heavily filtered dataset instead thia time because the post filtering was too easy to remove 😭 10:39 <+bridge> [ddnet] Now it can't generate anything nsfw as it doesn't know what a body looks like even 10:39 <+bridge> [ddnet] meh 11:13 <+bridge> [ddnet] https://twitter.com/Shadertoy/status/1600135159835074560 11:13 <+bridge> [ddnet] 11:13 <+bridge> [ddnet] bruh those tryharders 11:28 <+bridge> [ddnet] I'm happy with my Advent of Code solution today. Just create the file system and measure the size, why code anything? πŸ˜„ 11:28 <+bridge> [ddnet] https://cdn.discordapp.com/attachments/293493549758939136/1049995763670847498/day07.sh 11:31 <+bridge> [ddnet] neat :D 11:31 <+bridge> [ddnet] The main trick is that truncate can generate files of any size without taking actual space on disk. 11:31 <+bridge> [ddnet] I just finished coding, today was exhausting for me 11:32 <+bridge> [ddnet] https://cdn.discordapp.com/attachments/293493549758939136/1049996728776019988/7.hs 11:32 <+bridge> [ddnet] my solution is a bit longer than yours πŸ˜… 11:33 <+bridge> [ddnet] I started in Python with a similar solution at first, yours looks cleaner though 11:33 <+bridge> [ddnet] it also took 3.5h ^^ 11:34 <+bridge> [ddnet] I just saw that if I rushed part 2, I might've finished before you, I was ahead with part 1 11:35 <+bridge> [ddnet] I hope the next days will be shorter again, I'm not prepared to spend multiple hours each day solving aoc 11:37 <+bridge> [ddnet] iirc that was usually why I stopped doing AoC 11:47 <+bridge> [ddnet] yeah, same 12:01 <+bridge> [ddnet] I figured it's better for me to focus on my own projects than spend hours for AoC 12:46 <+bridge> [ddnet] where is it not? 12:47 <+bridge> [ddnet] I like your out-of-the box thinking πŸ™‚ 12:47 <+bridge> [ddnet] my solution: 12:47 <+bridge> [ddnet] ```py 12:47 <+bridge> [ddnet] import sys 12:47 <+bridge> [ddnet] from collections import Counter 12:47 <+bridge> [ddnet] input = open(sys.argv[1] if len(sys.argv) > 1 else "input").read().splitlines() 12:47 <+bridge> [ddnet] 12:47 <+bridge> [ddnet] in_ls = False 12:47 <+bridge> [ddnet] cwd = [] 12:47 <+bridge> [ddnet] files = {} 12:47 <+bridge> [ddnet] for line in input: 12:47 <+bridge> [ddnet] line = line.split() 12:47 <+bridge> [ddnet] if line[0] == "$": 12:47 <+bridge> [ddnet] in_ls = False 12:47 <+bridge> [ddnet] if len(line) < 2: 12:48 <+bridge> [ddnet] raise ValueError("missing command") 12:48 <+bridge> [ddnet] if line[1] == "cd": 12:48 <+bridge> [ddnet] if len(line) != 3: 12:48 <+bridge> [ddnet] raise ValueError("cd") 12:48 <+bridge> [ddnet] if line[2] == "/": 12:48 <+bridge> [ddnet] cwd = [] 12:48 <+bridge> [ddnet] elif line[2] == "..": 12:48 <+bridge> [ddnet] cwd.pop() 12:48 <+bridge> [ddnet] else: 12:48 <+bridge> [ddnet] cwd.append(line[2]) 12:48 <+bridge> [ddnet] elif line[1] == "ls": 12:48 <+bridge> [ddnet] if len(line) != 2: 12:48 <+bridge> [ddnet] raise ValueError("ls") 12:48 <+bridge> [ddnet] in_ls = True 12:48 <+bridge> [ddnet] else: 12:48 <+bridge> [ddnet] raise ValueError("unknown command {}".format(line[1])) 12:48 <+bridge> [ddnet] else: 12:48 <+bridge> [ddnet] if not in_ls: 12:52 <+bridge> [ddnet] I'm just happy there was no `; rm -rf /` hidden somewhere πŸ˜„ 12:52 <+bridge> [ddnet] Ah, I could have used a chroot, then no need for different directory 12:59 <+bridge> [ddnet] `rm -rf --no-preserve-root /` 12:59 <+bridge> [ddnet] I also always run my aoc code with sudo for maximum immersion 13:01 <+bridge> [ddnet] Today's task reminded me of the ChatGPT VM 13:02 <+bridge> [ddnet] `rm -rf /*` 13:02 <+bridge> [ddnet] Lucky that I put all my important stuff in /.secret 13:03 <+bridge> [ddnet] Woah, even with error handling 13:04 <+bridge> [ddnet] 0b5vr is insane, I was competing in that shader royale against him if he actually finished that shader in 2 hours it would have been the best livecoded shader ever imo 13:15 <+bridge> [ddnet] 1+1 = 11 13:15 <+bridge> [ddnet] the maths needed for that πŸ’€ 13:16 <+bridge> [ddnet] ah, string concatenation 13:16 <+bridge> [ddnet] fair 13:19 <+bridge> [ddnet] the actual math in that shader is not that bad it's just an insane amount of details and really well executed 13:20 <+bridge> [ddnet] I mean 478 lines of code, it can't be it lol 13:20 <+bridge> [ddnet] tff 13:21 <+bridge> [ddnet] assuming you already know a lot about raymarching and shadertoy meta haha 13:22 <+bridge> [ddnet] probably the only actually hard math is the linear algebra for the camera 13:22 <+bridge> [ddnet] i also wanna do aoc but it requires more time as more problems come 13:22 <+bridge> [ddnet] and one gotta work rip 13:38 <+bridge> [ddnet] Are you a professional gpu coder btw? 13:39 <+bridge> [ddnet] Or just for fun? Or don't want to say xd 13:45 <+bridge> [ddnet] idk it would be fun to be a professional gpu coder but I need to learn more about graphics apis 13:47 <+bridge> [ddnet] Well that's a very technical part. There are also creative people like on shader toys required that are good in math to create new effects 13:49 <+bridge> [ddnet] I probably do not have enough skills to be a good technical artist 13:49 <+bridge> [ddnet] dunno 13:50 <+bridge> [ddnet] Dunno either. But i guess you could always say that. The weird thing here is probably that it's hard to say how good you are because it's a mix of technical stuff and creative stuff 13:51 <+bridge> [ddnet] Everyone played this one game that is good but runs like a potato did it xd 13:55 <+bridge> [ddnet] I assume you are some kind of professional gpu coder. one does not simply add vulkan support to ddnet without background knowledge 13:57 <+bridge> [ddnet] My only background knowledge was OpenGL game engine 13:57 <+bridge> [ddnet] But yeah that helps since Vulkan is just more low level 13:57 <+bridge> [ddnet] damn really? 13:58 <+bridge> [ddnet] I assumed you were an experienced vulkan dev 13:58 <+bridge> [ddnet] And i also failed before trying to use OpenGL multi threaded xdd 13:58 <+bridge> [ddnet] Vulkan is still relatively new 13:58 <+bridge> [ddnet] true I guess 13:58 <+bridge> [ddnet] When i started such things i used open gl 4 first 13:59 <+bridge> [ddnet] Around 8 years ago 14:00 <+bridge> [ddnet] yeah I only started in 2021 14:01 <+bridge> [ddnet] I guess that's already 2 years ago 14:01 <+bridge> [ddnet] But maybe u try harded more xd 14:01 <+bridge> [ddnet] lol it feels like I am lazy 14:02 <+bridge> [ddnet] I also focused on other aspects of game engines such as physic collision 3d sounds etc. But in no field to a professional level. Only wanted to understand a bit of all 14:06 <+bridge> [ddnet] yeah I should do a project like that, it seems like good experience 14:10 <+bridge> [ddnet] Yes. Tho if you want to work on such things professionally it might not really help you. Most companies i know look at your educational degree or want a specific skill. Only deen convinced me of the opposite lately 14:16 <+bridge> [ddnet] yeah I should probably do it anyway just to be less shit of a developer since I never make big projects. 14:17 <+bridge> [ddnet] How old are you?^^ 14:18 <+bridge> [ddnet] 21 14:19 <+bridge> [ddnet] Ah nice i think that's around the time i started xd 14:20 <+bridge> [ddnet] With the engine specifically at least 14:20 <+bridge> [ddnet] I did opengl stuff before 14:20 <+bridge> [ddnet] And i think around 2017 i also added gl 3.3 to ddnet 14:21 <+bridge> [ddnet] oh nice 14:21 <+bridge> [ddnet] So same age as u r 14:21 <+bridge> [ddnet] I was back then 14:21 <+bridge> [ddnet] lol 14:21 <+bridge> [ddnet] Bcs now I'm grandpa;) 14:22 <+bridge> [ddnet] No I'm grandpa 14:22 <+bridge> [ddnet] U 12 14:24 <+bridge> [ddnet] Sorry 14:24 <+bridge> [ddnet] Forgot 14:25 <+bridge> [ddnet] #861 14:25 <+bridge> [ddnet] https://github.com/ddnet/ddnet/pull/861 14:25 <+bridge> [ddnet] No force pushing nobo 14:25 <+bridge> [ddnet] Most of my commits today are probably from there xddd 14:27 <+bridge> [ddnet] lol, you can guess which battery is charged based on how high it bounces off 14:27 <+bridge> [ddnet] https://www.youtube.com/watch?v=1PRks_euajI 14:28 <+bridge> [ddnet] I've used that before 14:28 <+bridge> [ddnet] it does seem to work 14:29 <+bridge> [ddnet] I had a weird experience a couple days ago. Never used batteries, a year old. Out of a box of 10, 3 were completely dead with oxidation on their negative terminals and maybe a little leak 14:30 <+bridge> [ddnet] It was bizarre. I have a box of unused batteries much older than a year and they are all fine. Same brand too 14:34 <+bridge> [ddnet] With batteries do we talk about accumulators? 14:34 <+bridge> [ddnet] Rechargable batteries? 14:34 <+bridge> [ddnet] bad batch I guess 15:02 <+bridge> [ddnet] learning functional languages (erlang): 15:02 <+bridge> [ddnet] https://cdn.discordapp.com/attachments/293493549758939136/1050049559302254622/73gvfx.png 15:48 <+bridge> [ddnet] Excuse me, mind explaining how can you add the size of a file to every directory (current + parents). 15:48 <+bridge> [ddnet] I'm not that familiar with python nor with tuples ^^' 17:08 <+bridge> [ddnet] He splits the paths into their subparts, so `a/b/c/d` will be split into `a`, `a/b`, `a/b/c` and the size added in the Counter for each of them 17:44 <+bridge> [ddnet] is the bot not working anymore? #πŸ“¬submit-skins 17:44 <+bridge> [ddnet] the reactions arent showing 18:07 <+bridge> [ddnet] Oh okay, and I guess this is done with "files[tuple(cwd) + (line[1],)] = int(line[0])" this line? (at least part of it..?). 18:07 <+bridge> [ddnet] Still feels like a bit of magic for me but thanks ^^. 18:07 <+bridge> [ddnet] 18:07 <+bridge> [ddnet] I had to do some half-assed tree for today's problem 😣 . 18:08 <+bridge> [ddnet] can you tell at a glance what this does and whats the algorithm name? 18:08 <+bridge> [ddnet] https://cdn.discordapp.com/attachments/293493549758939136/1050096380615598180/image.png 18:08 <+bridge> [ddnet] functional programming kek 18:08 <+bridge> [ddnet] i think i can understand implerative code way faster than functional 18:08 <+bridge> [ddnet] i think i can understand imperative code way faster than functional 18:09 <+bridge> [ddnet] Should work again 18:09 <+bridge> [ddnet] Had to remove the recently submitted skins and I can't find the guy who submitted them πŸ˜… 18:18 <+bridge> [ddnet] same :(( 18:22 <+bridge> [ddnet] I found them 18:23 <+bridge> [ddnet] poor chinese guy risked his life to get on discord and submit some skins and this happens 18:26 <+bridge> [ddnet] They were all in the wrong image resolution anyway :P 18:27 <+bridge> [ddnet] :bluestripe: 18:27 <+bridge> [ddnet] i think we should make the bot automatically detect this 18:27 <+bridge> [ddnet] It already does 18:28 <+bridge> [ddnet] oh, i never noticed 18:28 <+bridge> [ddnet] i mean some guy sent like 6 4k images so 18:50 <+bridge> [ddnet] @heinrich5991 what are ur rust projects except libtw2 and the stuff that is in ddnet? 18:51 <+bridge> [ddnet] I contributed to rust and its standard library (even pre-1.0 πŸ™‚ ), and a few external libs, and worked a bit as a rust developer (I probably won't disclose more info about the last thing) 18:53 <+bridge> [ddnet] to the rust compiler or ecosystem? πŸ˜„ 18:53 <+bridge> [ddnet] ah, and I did a network stack implementation in rust, arp, ip, tcp, udp, http, in uni. we were given free language choice, I picked rust. also pre-1.0, had to update it to 1.0 at some point 18:54 <+bridge> [ddnet] damn 18:54 <+bridge> [ddnet] rust compiler, rust standard library, but also third party libraries 18:54 <+bridge> [ddnet] ill go hide 18:54 <+bridge> [ddnet] nice nice didnt know u were a man from day 0 18:55 <+bridge> [ddnet] i think i got into rust at around 1.42 or smth 18:55 <+bridge> [ddnet] idk 18:55 <+bridge> [ddnet] it was actually also matricks who pushed me into the direction of rust ^^ 18:55 <+bridge> [ddnet] 1.42 is march 2020 ~~ 18:55 <+bridge> [ddnet] really? 18:55 <+bridge> [ddnet] talking about what language you could possibly use to implement libraries used by other languages 18:55 <+bridge> [ddnet] yes 18:55 <+bridge> [ddnet] I'm not familiar with Erlang syntax, but looks like counting the length of the list 18:56 <+bridge> [ddnet] calculating the length of the list* 18:56 <+bridge> [ddnet] In Haskell course we'd let students implement that kind of calculation manually for a few things (length, sum, product), and then implement foldr/foldl as the pattern for these calculations 18:56 <+bridge> [ddnet] Yeah, I've added it just recently 18:56 <+bridge> [ddnet] well kinda but no 18:57 <+bridge> [ddnet] its run length encoding 18:57 <+bridge> [ddnet] @heinrich5991 do they still know you? xD 18:57 <+bridge> [ddnet] ```erlang 18:57 <+bridge> [ddnet] run_length_encode([a,a,a,a,b,c,c,a,a,d,e,e,e,e]). 18:57 <+bridge> [ddnet] %%[{4,a},{1,b},{2,c},{2,a},{1,d},{4,e}]``` 18:57 <+bridge> [ddnet] ```erlang 18:57 <+bridge> [ddnet] run_length_encode([a,a,a,a,b,c,c,a,a,d,e,e,e,e]). 18:57 <+bridge> [ddnet] %% [{4,a},{1,b},{2,c},{2,a},{1,d},{4,e}]``` 18:57 <+bridge> [ddnet] i mean now that it is a foundation arent you interested working there? 18:57 <+bridge> [ddnet] ah, so the {a,b} is a tuple πŸ˜„ 18:57 <+bridge> [ddnet] hm. I don't think they know me 18:57 <+bridge> [ddnet] yeah xD 18:58 <+bridge> [ddnet] I was in the top100 contributors once, but that was it 18:58 <+bridge> [ddnet] yeah i also did foldl 18:58 <+bridge> [ddnet] https://cdn.discordapp.com/attachments/293493549758939136/1050109027608178729/image.png 18:59 <+bridge> [ddnet] fold is like the base of functional languages i think xd 18:59 <+bridge> [ddnet] is there still history for that or is it gone? XD 18:59 <+bridge> [ddnet] it's still in the history, but by now, people have far more commits πŸ™‚ 19:03 <+bridge> [ddnet] rust has lots of ppl working on it 19:03 <+bridge> [ddnet] rn 19:04 <+bridge> [ddnet] its just funny how many tryhard devs are around on a relatively small game like ddnet xDD 19:05 <+bridge> [ddnet] @heinrich5991 2 month tryhard to be "very good" in rust? do you think its possible? 19:06 <+bridge> [ddnet] Depends on what you mean by "very good" probably πŸ˜„ 19:07 <+bridge> [ddnet] You'd imo definitely be good enough to code almost anything you want in rust but you probably still wouldn't know the best practices for everything 19:07 <+bridge> [ddnet] yes 19:07 <+bridge> [ddnet] thats very good 19:07 <+bridge> [ddnet] best practices = master 19:08 <+bridge> [ddnet] Where is Editors Open source located at? 19:08 <+bridge> [ddnet] can't find it 19:08 <+bridge> [ddnet] Not so small :D: https://steamdb.info/graph/?compare=220,335300,412220 19:08 <+bridge> [ddnet] well from player count defs not 19:08 <+bridge> [ddnet] but most devs here were around before the player count 19:08 <+bridge> [ddnet] src/game/editor probs 19:08 <+bridge> [ddnet] Honestly, I've found you can get "very good" very quickly in most languages when you have solid problem solving skills and are very good in another language 19:10 <+bridge> [ddnet] yes i assume so too, i also dont find rust especially hard yet 19:10 <+bridge> [ddnet] its really more that you design your code differently (or are forced to) 19:11 <+bridge> [ddnet] Thanks because i was thinking of adding a 2nd Switch to the editor 19:11 <+bridge> [ddnet] Most of the trouble I've had (and still sometimes have) is wrestling with the borrow checker 19:13 <+bridge> [ddnet] i mean its not like i never struggle with it, but its ok. 19:13 <+bridge> [ddnet] but havent wrote a very complex code base yet 19:19 <+bridge> [ddnet] i like it 19:19 <+bridge> [ddnet] hard 19:20 <+bridge> [ddnet] honestly when you reach the point of knowing if they borrow checker will complain and code naturally in a way that fits it i would say u are already there mostly 19:21 <+bridge> [ddnet] https://cdn.discordapp.com/attachments/293493549758939136/1050114873306124348/rust-memory-container-cs-3840x2160-dark-back.png 19:21 <+bridge> [ddnet] also this is pretty nice 19:21 <+bridge> [ddnet] https://cheats.rs/ 19:22 <+bridge> [ddnet] @Not Keks but actual masters in rust are not people who know to follow best practices for me 19:22 <+bridge> [ddnet] but people who 19:22 <+bridge> [ddnet] understand how to write sound unsafe code 19:22 <+bridge> [ddnet] unsafe rust is actually pretty hard 19:23 <+bridge> [ddnet] https://doc.rust-lang.org/nomicon/safe-unsafe-meaning.html 19:23 <+bridge> [ddnet] must read 19:24 <+bridge> [ddnet] https://cdn.discordapp.com/attachments/293493549758939136/1050115607615512606/image.png 19:27 <+bridge> [ddnet] https://doc.rust-lang.org/nomicon/vec/vec.html 19:27 <+bridge> [ddnet] this is also good 19:27 <+bridge> [ddnet] https://doc.rust-lang.org/nomicon/subtyping.html 19:28 <+bridge> [ddnet] too 19:29 <+bridge> [ddnet] https://cdn.discordapp.com/attachments/293493549758939136/1050116807823990877/image.png 19:29 <+bridge> [ddnet] you need to know this stuff well for unsafe 19:33 <+bridge> [ddnet] -- 19:33 <+bridge> [ddnet] i need some day to put myself and read lisp 19:33 <+bridge> [ddnet] everyone says lisp is like the best to get things done 19:34 <+bridge> [ddnet] i need some day to put myself and learn lisp 19:43 <+bridge> [ddnet] i think u can get very good in the general sense in most langs, but u are probs missing out on some of the things u would discover by spending way more time 19:44 <+bridge> [ddnet] well it also depends on ur bar for "very good" 19:45 <+bridge> [ddnet] *and that would for example make some stuff more clean or efficient 19:48 <+bridge> [ddnet] @nori kwin tearing wayland support is merged, guess i'll try the next week then πŸ˜„ 19:48 <+bridge> [ddnet] does obs work well? 19:48 <+bridge> [ddnet] defs a must work for me 19:53 <+bridge> [ddnet] @Not Keks streamer? 19:53 <+bridge> [ddnet] where is ur vtuber avatar 19:53 <+bridge> [ddnet] vulkan themed 19:53 <+bridge> [ddnet] do u want to see me coding or what 19:54 <+bridge> [ddnet] not rly 19:54 <+bridge> [ddnet] honestly watching others code is boring 19:54 <+bridge> [ddnet] sad story 19:54 <+bridge> [ddnet] only the result is interessting 19:54 <+bridge> [ddnet] yes xD 19:54 <+bridge> [ddnet] unless ur a rly good explainer 19:54 <+bridge> [ddnet] which most devs arent 19:54 <+bridge> [ddnet] bcs most time they struggle, esp when its smth new xD 19:54 <+bridge> [ddnet] ye 20:06 <+bridge> [ddnet] idk how it long it takes to get good in a language tbh. I wanna learn some javascript/typescript, but haven't made a lot of progress. I haven't tryharded though 20:07 <+bridge> [ddnet] typescript easiest shit ever 20:08 <+bridge> [ddnet] @Ryozuki have u heard of dioxus? 20:08 <+bridge> [ddnet] 20:08 <+bridge> [ddnet] its still pretty alpha, but i implemented clan website in it 20:08 <+bridge> [ddnet] 20:08 <+bridge> [ddnet] except for some javascript handlers that wasm doesnt implement yet its 100% rust and html/css only πŸ˜„ 20:08 <+bridge> [ddnet] and its react like 20:09 <+bridge> [ddnet] i think its pretty easy 20:09 <+bridge> [ddnet] its all objects 20:09 <+bridge> [ddnet] but u gotta learn some weird things 20:09 <+bridge> [ddnet] https://wtfjs.com/ 20:14 <+bridge> [ddnet] i'd defs use eslint with pretty much all warnings on with typescript 20:14 <+bridge> [ddnet] else u have so many implicit string conversations xD 20:14 <+bridge> [ddnet] xd 20:14 <+bridge> [ddnet] as any 20:14 <+bridge> [ddnet] ez escape hatch 20:14 <+bridge> [ddnet] but u know typescript type system is turing complete 20:14 <+bridge> [ddnet] iirc 20:15 <+bridge> [ddnet] https://github.com/microsoft/TypeScript/issues/14833 20:15 <+bridge> [ddnet] https://gist.github.com/hediet/63f4844acf5ac330804801084f87a6d4 20:16 <+bridge> [ddnet] nice write gpu driver in it 20:24 <+bridge> [ddnet] if its turing complete 20:25 <+bridge> [ddnet] this means u can have the halting problem right 20:25 <+bridge> [ddnet] i wonder if its desireable to have a turing complete type system 20:32 <+bridge> [ddnet] oh really? i thought its when its the opposite 20:32 <+bridge> [ddnet] when there are finite operations 20:33 <+bridge> [ddnet] no 20:34 <+bridge> [ddnet] given 20:34 <+bridge> [ddnet] > computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever 20:34 <+bridge> [ddnet] > in computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever 20:34 <+bridge> [ddnet] > For any program f that might determine whether programs halt, a "pathological" program g, called with some input, can pass its own source and its input to f and then specifically do the opposite of what f predicts g will do. No f can exist that handles this case. A key part of the proof is a mathematical definition of a computer and program, which is known as a Turing machine; the halting problem is undecidable over Turing machines. It is 20:34 <+bridge> [ddnet] 21:00 <+bridge> [ddnet] i was helping my friend to mount his hdd to /home directory, and after all things system cannot boot saying 21:00 <+bridge> [ddnet] ``` 21:00 <+bridge> [ddnet] [FAILED] Failed to mount /home 21:00 <+bridge> [ddnet] [DEPEND] Dependency failed for Local File Systems 21:00 <+bridge> [ddnet] ``` 21:00 <+bridge> [ddnet] but with manual mount `mount /dev/sda2 /home` + `Ctrl + D` it boots normally (till next reboot) 21:00 <+bridge> [ddnet] we made sure uuid in `/etc/fstab` is correct and all other things... 21:00 <+bridge> [ddnet] he uses Arch btw πŸ₯Ή 21:32 <+bridge> [ddnet] Nvm, we tried to revert everything and all files from /home disappeared 21:32 <+bridge> [ddnet] No help needed now 22:12 <+bridge> [ddnet] yes but i think only with pipewire 22:12 <+bridge> [ddnet] . 22:18 <+bridge> [ddnet] ok will test weekend. never used pipewire hopefully not too unstable xD 22:18 <+bridge> [ddnet] 22:18 <+bridge> [ddnet] idc if single apps are unstable but prefer a stable desktop ^^ 22:32 <+bridge> [ddnet] I use pipewire on my laptop, it's pretty 11/10 23:56 <+bridge> [ddnet] @Jore reported that every time you run DDNet client on Steam on Windows you have to select the option here. Anyone know if there is a good way to hide this? Sounds annoying 23:56 <+bridge> [ddnet] https://cdn.discordapp.com/attachments/293493549758939136/1050184044530380892/image.png