00:00:13 `` grep hyme wisdom/* 00:00:17 grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ wisdom/thyme:Thyme itself is only an abstract approximation of oregano. 00:00:17 | 00:00:17 o/`¯º 00:00:27 okay 00:00:39 -!- fungot has quit (Ping timeout: 276 seconds). 00:00:52 fizzie: eep 00:03:46 ghci is such a scow, why is its syntax different from a .has file <-- imo, because you cannot unambiguously parse a line that might be either an expression or the start of a definition. 00:04:28 oerjan: "x = 5" is unambiguous 00:04:49 shachaf: yes, but that's not the only legal form of first line of a definition 00:04:55 x 00:04:57 = 5 00:05:00 well, if you required all of them to be on one line 00:05:01 is just as legal 00:05:05 multiline definitions are a different issue 00:05:20 but now that "data T ..." is legal, i don't see why "x = 5" shouldn't be 00:05:24 shachaf: but then you'd still have people complaining that they couldn't paste .hs files directly into ghci 00:05:33 sure you can, with :{ 00:05:39 which already exists for multiline definitions 00:05:57 ok, you probably still couldn't because .hs files can be out of order and that's asking a bit much 00:06:04 -!- constant has quit (Ping timeout: 256 seconds). 00:06:07 shachaf: i mean "newbies", aka the people you're trying to avoid having to explain this to - replacing it with having to explain :{ instead is useless. 00:06:20 but :{ is a p. good smiley face 00:06:22 shachaf: what's that, the mustachioed guy operator? 00:06:27 is that a big moustache or what? 00:06:33 oh i didn't even think of the out of order thig. 00:06:35 *thing. 00:06:40 oerjan: anyway it's not about explaining things, it's about using it myself hth 00:07:17 oren: anyway, they could probably fix it so some more cases worked out of the box, but having "typing the contents of a .hs file into ghci always works" work is hopeless. 00:07:54 :{ \ x :: Int \ print 1 \ x = 2 \ :} 00:08:08 given the recent reddit discussion i saw, it's somewhat likely that they'll try to improve it soon 00:08:16 whoa whoa whoa 00:08:33 should i try keeping up with reddit.com/r/haskell 00:08:44 i stopped after a long streak of scow 00:08:58 you don't have to read _every_ post 00:09:01 -!- augur_ has changed nick to augur. 00:09:04 it's not like i do 00:09:47 -!- augur has changed nick to augur[not-dot-ne. 00:09:53 -!- augur[not-dot-ne has changed nick to augur[notdotnet]. 00:11:50 although no one in the reddit discussion pointed out the obvious ambiguities, if i hadn't been several days late to read it i might have 00:11:57 i filed a bunch of filler ghci bugs a while ago but i forgot i was going to mention that one 00:12:10 (which means it's only obvious to me, i guess) 00:12:21 maybe it's so obvious that no one else found it necessary to mention hth 00:12:35 THAT MUST BE IT 00:12:40 a "filler" bug is one whose bug number is slightly below #10000 00:12:48 aha 00:13:11 wait, does that mean i should look at #9999 and down to see your work 00:13:16 by the way it's a shame bug #10000 was a duplicate 00:13:29 i think it deserved all the discussion from #9858 00:13:32 indeed, otoh it brought so much back into life 00:13:49 did you notice they didn't manage to fix it completely in 7.10.1 00:14:22 what's missing? 00:14:33 i stopped paying attention sometime after i became famous hth 00:15:05 shachaf: the (,) constraint vs. * ambiguity, mainly 00:15:20 well, () and => vs. -> was the exploit 00:15:21 -!- augur[notdotnet] has changed nick to augur. 00:15:37 ok 00:15:53 well i'll just rely on SafeHaskell from now on to prevent people from deleting my files 00:17:16 oh the tuple constraints thing was changed after 7.10 was released 00:19:07 that's what i said! 00:19:22 yes 00:19:34 i remembered that it happened, just not the timeline 00:19:49 also after that they've changed it into an actual class 00:21:56 https://ghc.haskell.org/trac/ghc/ticket/9995 i'm with #2 00:22:15 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:27:04 -!- yorick has quit (Ping timeout: 255 seconds). 00:27:31 -!- yorick has joined. 00:29:25 It's a loop with tail recursion <-- what shachaf is trying to imply is that haskell's laziness means tail recursion is often not an improvement, and this is one of those cases. 00:29:42 i wasn't trying to imply that but i did think it 00:30:25 also, when tail recursion _is_ an improvement, you often need explicit strictness annotation to make it so. 00:30:43 sometimes you can use implicit strictness annotation hth 00:33:05 `wisdom 00:33:06 mockingbird/mockingbird is watching you.. closely! Is it mocking you? Probably. 00:33:47 * oerjan tries to swat mockingbird but misses -----### 00:34:02 maybe `? should give a random wisdom when run with no arguments 00:34:12 `? 00:34:12 ? ¯\(°_o)/¯ 00:34:22 plausible 00:34:39 `wisdom 00:34:40 fentimans/fentimans is a delicious beverage out from Hexham, that can be paired with a fresh fternooner for a nutritive midday snack. 00:34:59 `wisdom 00:35:00 certainty/We don't know what certainty is for sure, but at least it isn't a functor. 00:38:01 `? forty 00:38:02 forty means "in a fort-like manner" 00:38:06 `? people who taneb is not 00:38:07 elliott, a rabbi, Mark Zuckerberg, James Bond 00:38:20 -!- hilquias has joined. 00:38:23 Taneb: Is that a complete list? 00:38:30 shachaf: but of course 00:39:07 -!- Lyka has changed nick to Lyka|Away. 00:40:53 `? nooodl 00:40:54 nooodl is the correct spelling 00:40:57 `? nooodl 00:40:57 nooodl is the correct spelling 00:41:00 hm 00:41:04 `? nooodl 00:41:05 nooooodl is the correct spelling 00:41:31 `? wlcom 00:41:33 Hi! This is a chat about unusual programming tools. For additional info, visit our wiki: . (For unusual things of a contrasting sort, try http://bit.ly/19k9nf8.) 00:49:25 -!- Wright__ has joined. 00:49:26 -!- Wright has quit (Read error: Connection reset by peer). 01:26:19 `bienvenir 01:26:20 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bienvenir: not found 01:26:27 `bienvenida 01:26:28 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bienvenida: not found 01:26:59 `bienvenido 01:27:00 ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en irc.dal.net.) 01:27:11 `bienvenu 01:27:12 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bienvenu: not found 01:27:22 hm no french 01:27:26 `? bienvenu 01:27:27 bienvenu? ¯\(°_o)/¯ 01:28:45 `welcome 01:28:46 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 01:29:06 `` sed -i 's/en .*/en EFnet o DALnet.)/' wisdom/bienvenido 01:29:06 sed: can't read wisdom/bienvenido: No such file or directory 01:29:14 `` sed -i 's/en .*/en EFnet o DALnet.)/' wisdom/`welcome.es 01:29:15 bash: -c: line 0: unexpected EOF while looking for matching ``' \ bash: -c: line 1: syntax error: unexpected end of file 01:29:19 `` sed -i 's/en .*/en EFnet o DALnet.)/' wisdom/welcome.es 01:29:23 No output. 01:29:29 `bienvenido 01:29:30 ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en EFnet o DALnet.) 01:30:09 `` ls wisdom/welcome* 01:30:10 wisdom/welcome \ wisdom/welcome.bork \ wisdom/welcome.es \ wisdom/welcome.fi 01:34:40 -!- edwardk has quit (Write error: Connection reset by peer). 01:34:41 -!- incomprehensibly has quit (Write error: Connection reset by peer). 01:34:42 -!- mbrcknl has quit (Read error: Connection reset by peer). 01:39:17 -!- edwardk has joined. 01:41:49 -!- Nihilumbra has joined. 01:43:03 Ok 01:43:27 The morris worm from 1987 or 88 what was it 01:43:40 -!- incomprehensibly has joined. 01:44:11 -!- mbrcknl has joined. 01:44:43 not to be confused with the morris dance 01:46:06 How to replicate it 01:46:53 it's good at replicating itself hth 01:50:57 Lol 01:51:07 Its on a floppy disk in a meusum 01:51:22 Museum 01:51:32 I can't with that word 01:58:59 Give me an alternitave language that can make a site fully functionable without the usage of javascript but can make the same style and quality of a java run site 02:03:10 are you confusing java and javascript, they are completely different. 02:03:30 Sorry 02:03:37 Java script run site 02:04:26 I know they are different I just can't word atm 02:04:54 a lot of languages could work in principle but they have the problem that _your site_ doesn't get to decide what user's _browsers_ support, and javascript is the only thing that works widely without users installing anything extra these days. 02:05:04 *users' 02:05:22 God 02:05:24 Dammit 02:05:49 however, there are quite a lot of languages that can be _compiled_ to javascript. 02:06:03 Why is everything with javascript, I want more versitile sites 02:07:09 because javascript was what got improved upon to fix the even more horrible mess that existed before. 02:08:01 java btw tried to be it, but failed. 02:08:36 * oerjan should note that he isn't a web developer so may be missing something. 02:08:51 -!- MDude has changed nick to MDream. 02:10:39 Ah, I forgot Oerjan is in his 40's he was in the nightmare of the early internet 02:11:33 it wasn't much of a nightmare for me, but then i didn't have to program it. 02:12:26 Ha ha what do you mean program it 02:12:55 i didn't have to try to make fancy websites 02:12:59 Ah 02:13:34 my own website (hideously out-of-date, i seem to just drop in new files and link them from the wiki these days) doesn't even have CSS. 02:14:28 Why do I get strong nostalgia when I think of the 1950's-1990's even though I'm a young 02:15:02 Maybe its because of all the history I learn on a day to day basis 02:15:04 clearly reincarnation hth 02:35:51 oerjan: i assume that nvg.org is Taneb's domain 02:36:09 surprisingly, no 02:36:29 What's oerjans site 02:36:55 so is it elliott's, a rabbi's, Mark Zuckerberg's, or James Bond's? 02:37:04 Maybe I should get a personal site, everyone seems to have one 02:37:15 Nihilumbra: oerjan.nvg.org 02:37:46 Is it in norwegion 02:37:51 no 02:37:54 Ok 02:37:59 i have a fairly impersonal site 02:38:58 Oh you played Nomic :0 02:43:01 You can make webpages and stuff even just with HTML you don't need JavaScripts. If you use server codes then you can use whatever programming language you want, Javascript if you like it, or C, or PHP, or whatever else 02:43:46 If you want interactive with server codes you can also make telnet protocol or SSH protocol 02:44:16 lol telnet that sounds cool. 02:44:24 What's telnet 02:45:12 Interactive internet protocol. Whatever it receive it will do by the terminal emulator (usually VT100 or related), and when you push key it send. 02:45:13 telnet is pretty much just a two-way tcp connection to whatever program is on the other end 02:46:17 It is unencrypted, so it can easily be spoofed, spied on etc. which is why people nowadays generally use ssh 02:47:04 E.g. when you send a password to login over a telnet connection, the password is sent as plain text 02:47:32 so if someone is capturing your packets, now they know your password 02:47:37 SSH is more secure; it support not only login by password but also you can do authentication by keys too, and some other security features 02:48:46 Another thing of SSH is you can do X forwarding which allow to make GUI, but then you need X if you want to be able to access the GUI. I do not recommend that if a services is made on internet you use SSH, that you require X so you should provide text/command-line mode too whether or not the GUI is provided. 02:49:48 You should use limited codes compatible with VT100/ANSI/xterm if possible since subset of those are the most portable terminal codes. 02:50:46 (Although, some servers also provide option for different terminal types, or you can check the client's terminal type string to see what it identifies itself as, or do both) 02:51:34 -!- nys has quit (Quit: quit). 02:55:58 Telnet *over SSL* is reasonably secure though. 02:56:23 And (though I don't know if anyone does this) you could even use client certs instead of passwords with it. 02:56:44 (but yes, SSH is much more convenient for this. Because seriously, who does Telnet over SSL other than IBM?) 03:08:29 Telnet is also a simpler protocol. But, if you want security then use SSH 03:10:59 I just reaalized, that instead of running dwarf fortress over X tunneling, I can set it to text display! 03:12:45 What a strange concept 03:13:03 (Does it have a text display? Do you have a cp437 terminal?) 03:14:33 -!- password2 has joined. 03:57:36 -!- ZombieAlive has quit (Remote host closed the connection). 04:06:58 -!- Lyka|Away has changed nick to Lyka. 04:07:11 -!- variable has joined. 04:07:11 hi 04:09:48 gonna fork the 4FK-Based Interpreted Language for the Arduino called Octopus into both Squid and Cuttlefish over the course of a few days 04:10:30 Development on Octopus will continue as long as 4FK is being developed by me 04:12:19 brb 04:16:51 back 04:17:31 Yeah I have a cp437 compatible font (Liberation Mono) 04:17:39 brb 04:20:00 back 04:24:39 Hmm, but tis font sucks. getting a better one 04:25:45 -!- SchrodingersCat has joined. 04:26:44 I just lost internet 04:27:16 http://zzo38computer.org/backup/pc_character_set.chr 04:27:21 That is a better font 04:27:57 I am Lyka 04:28:25 OK 04:29:31 okay, able to connect to router 04:29:59 I was typing something about 4FK Octopus 04:30:15 I'm still making an AI for tarballs 04:30:38 router says Internet is down 04:30:48 God damn quantum physics 04:31:02 If you can't see your internet you don't have internet 04:31:49 Does one pronounce router as rooter or r- OW- ter 04:32:01 second 04:32:09 Ok 04:33:18 -!- SchrodingersCat has changed nick to Lyka|Phone. 04:33:58 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 04:34:46 anyone wanna see the current command list for 4FK Octopus? 04:34:59 Is it a bot 04:35:01 ?? 04:35:12 huh? 04:35:15 Nvm 04:35:31 no, it's an arduino sketch 04:35:38 Okey 04:35:51 4FK == Fourfuck 04:36:01 @bf ++++++++++++[>++>+++>++++>+++++>++++++>+++++++>++++++++>+++++++++>++++++++++<<<<<<<<<-]++++++++++++>>>>>>----.>>>---.--.<----.<<<<<<----.>>>>>>>+++++.<<<<<-.<<.>>>>>>>+.<<<<<<<.>>++..<<.>+. 04:36:01 Push x; y == 1 04:36:05 Ok 04:36:12 What's fourfuck tho 04:36:28 That sounds dirty 04:36:42 A former attempt at an esolang 04:37:19 Explain what it does 04:37:36 sounds lik bf with only 4 commands? 04:38:07 is it? 04:38:08 actually, bf with four-letter commands 04:38:20 i'm on a phone 04:38:23 That sounds very detering 04:38:40 Yes you are, why? I'm also on a phone 04:38:54 my Internet is down 04:39:13 Have you unplugged it and plugged it back in 04:39:49 I don't care enough 04:40:20 fine, brb 04:40:29 Determining where to put certain strings at random intervels into a stack is very weird 04:41:03 we have cable phone 04:41:18 can't risk losing that 04:41:23 What are you showing us again¿ 04:41:44 huh? 04:41:54 The fourfuck thing 04:42:06 -!- Elronnd has left. 04:42:46 let me ssh into my web server, where I was in the process of copying the files there 04:42:49 brb 04:43:36 Octopus (4FK+LCD1602 04:43:41 oops 04:43:54 -!- Lyka has changed nick to Lyka|Away. 04:44:17 -!- Lyka|Phone has quit (Quit: -a- IRC for Android 2.1.20). 04:44:21 -!- Lyka|Away has changed nick to Lyka|Phone. 04:44:36 ¿¿¿¿¿ 04:44:57 What's happening? 04:47:43 Apparently someone converted all the DF tilesets to ttf fonts. http://dffd.bay12games.com/file.php?id=1922 04:48:49 back 04:49:10 go to sif.lesidhetree.com 04:50:38 LEROY JEEEENKIIINS 04:50:41 Anyways 04:50:59 That's a nice set of brainfuck four king 04:51:23 The connection was refused 04:51:24 Let me to see the .txt file when you are completely finish with it; right now I am not interest to loo at right now 04:52:44 to what oren 04:53:47 Telnet ssh 04:53:57 But didn't you say telnet is unsafe 04:54:14 Telnet does not have security. 04:54:18 SSH does. 04:54:30 It doesn't mean telnet is unsafe 04:54:51 http://puu.sh/i9hMA.png 04:55:13 So telnet is crap security wise but ssh helps 04:55:30 http://postimg.org/image/6apsrm5ej/ <-- playing DF over ssh & GNU screen! 04:56:07 the coonection was refused when trying to go to sif.lesidhetree.com 04:56:10 ;0 04:56:37 Yes. Telnet, like HTTP and Gopher and SMTP and IRC and so on, is not a secure protocol; this means that data is not encrypted. SSH encrypts the data and has other security features, in order to improve the security. 04:56:40 really? why? 04:57:07 no idea? 04:57:32 -!- variable has changed nick to constant. 04:57:40 oh, I mispelled it that's why 04:57:46 works fine for me 04:57:46 Oren, its because of those amazing unheard if dog breeds 04:58:13 s/if/of 04:59:10 Lyka is it complete 04:59:32 no 04:59:42 nowhere near complete 05:00:18 Then what are you doing here?! Go complete it 05:00:30 major changes may have to happen for it to work with cuttlefish 05:00:51 I need a shipment of parts 05:01:11 arrives wednesday 05:01:11 Tell me about cuttle and shell fish later 05:01:15 Night 05:07:14 cuttlefish and calamari 05:08:46 okay, 4FK now has nothing in common with bf 05:09:11 change I have to make 05:09:14 I can dee that 05:09:19 See* 05:10:08 which is why I never updated the wiki 05:10:45 cause it's less esolang and more machine code 05:10:58 hh 05:11:16 ? 05:17:43 night all 05:18:03 -!- Lyka|Phone has changed nick to Lyka|Away. 05:18:11 Why does it say "error: 'Sample' has no member named 'data'" even though it does have that member? (I get the same error for all of the other members) 05:18:58 O, I figured out now 05:53:08 -!- password2 has quit (Remote host closed the connection). 05:56:18 -!- hilquias has quit (Ping timeout: 250 seconds). 06:04:57 -!- rdococ has joined. 06:05:34 -!- rdococ has left. 06:05:38 -!- rdococ has joined. 06:34:54 -!- constant has quit (Ping timeout: 265 seconds). 06:41:11 -!- Herbalist has quit (Ping timeout: 265 seconds). 07:27:59 -!- Nihilumbra has quit (Quit: Connection closed for inactivity). 07:55:25 -!- oerjan has quit (Quit: Nite). 08:28:54 http://i.imgur.com/akjGQLo.png 08:29:12 -!- Patashu has joined. 08:31:56 -!- Sgeo_ has joined. 08:32:35 Different one I gave compat mode, and it bluescreened me 08:35:10 -!- Sgeo has quit (Ping timeout: 244 seconds). 08:37:45 -!- hjulle has quit (Ping timeout: 264 seconds). 08:49:52 -!- Phantom_Hoover has joined. 08:55:00 Where's my pal fungot? 08:57:03 I need his opinion on the implication of lisp-like languages in the modern world on frequency of parentheses in text messages on social networks from people that are married to computer linguists. 09:01:00 Man, Dwarf fortress fonts make text very compact on screen 09:05:44 -!- fungot has joined. 09:05:50 mroman_: There. 09:06:22 fungot: What's your opinion on the implication of lisp-like languages in the modern world on frequency of parentheses in text messages on social networks from people that are married to computer linguists. 09:06:22 mroman_: neilv what portion of the package that the macro then 09:11:34 ^style 09:11:35 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 09:11:57 ^style enron 09:11:57 Selected style: enron (subset of the Enron email dataset) 09:12:09 fungot: did you or didn't you? 09:12:09 int-e: attached you will find that the same i/ ii kay as mentioned on a voicemail i left you on thursday on the robert trent, f) class 2002-04 meeting times: how democrats love the new source review which requires the use of the commission 09:17:03 fungot: What's your favorite Burlesque program? 09:17:03 mroman_: it is the only two, we are to stress on the household and the next few years.??) 09:17:09 Mine is ln)XXtp)><)F:)<]u[/v\[ 09:21:16 it however only really works if and only if one and exactly one permutation is missing 09:23:13 -!- APic\splat has changed nick to APic. 09:23:26 -!- APic has changed nick to APic\splat. 09:35:48 -!- Herbalist has joined. 10:01:20 -!- toxolotl has joined. 10:26:19 -!- boily has joined. 10:53:53 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds). 11:03:38 -!- Herbalist has quit (Ping timeout: 276 seconds). 11:08:41 [wiki] [[User talk:Esowiki201529A]] http://esolangs.org/w/index.php?diff=43129&oldid=42826 * Esowiki201529A * (+31) /* base 7 system */ new section 11:22:10 -!- boily has quit (Quit: CYCLICAL CHICKEN). 11:53:26 -!- ais523 has joined. 12:08:42 -!- rdococ has quit (Quit: Leaving.). 12:37:27 -!- Patashu has quit (Ping timeout: 256 seconds). 12:43:00 -!- MDream has changed nick to MDude. 12:49:08 -!- Wright__ has quit (Read error: Connection reset by peer). 12:49:32 -!- Wright has joined. 12:57:19 -!- GeekDude has joined. 13:02:24 -!- SopaXT has joined. 13:03:33 -!- Herbalist has joined. 13:11:20 -!- SopaXT has quit (Remote host closed the connection). 13:33:29 -!- `^_^v has joined. 13:41:31 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 13:53:21 -!- Sprocklem has quit (Ping timeout: 264 seconds). 14:07:04 fungot: Don't you hate people that don't use -Wall -Werror --std=c89 -pedantic? 14:07:04 mroman_: public opinion of the in air of discontent is reflecting on a couple of years." bc: sheila a knudsen in ena had is whether it will/ hou/ ect on 10/ 10. 14:07:25 -!- ais523 has quit. 14:08:10 C89? What is this, 1989? 14:09:29 -!- ais523 has joined. 14:10:17 -std=c11 -Weverything -Werror 14:10:26 -Whatever 14:10:37 Warns for every occurrence of the xor operator. 14:11:15 -Whenever 14:11:20 Warns for every occurrence of chickens. 14:14:04 mroman_: no. But I hate the people that try to claim that by using a couple of compiler switches like that they have magically proved that their program is standards compliant. 14:14:39 well, that would depend on how good the compiler is at rejecting non standard compliant programs 14:14:54 and at detecting UB 14:15:00 mroman_: and solving the halting problem 14:15:18 and some other impossible things 14:15:55 why the halting problem? 14:16:34 because of runtime overflows? 14:16:55 a compiler could just assume that every addition overflows :) 14:17:14 and require you to do bounds checking before every one of them. 14:17:24 mroman_: more for using dangling pointers 14:17:36 but sure, overflows too if you wish 14:18:14 well 14:18:24 gcc surely could employ some of the stuff the rust compiler does :) 14:18:53 maybe 14:18:54 maybe not 14:19:18 mroman_: you could interpret most of the stuff in some more well-behaved programs for a particular run, but you can't check for all input, 14:19:36 or even for a fixed input, the program could run for riddiculously long time so you can't run it to completion in practice, 14:19:58 I was refering to doing more strict compile-time analytics. 14:20:04 so you can't check if it will dereference a dangling pointer like 2**2**100 seconds later. 14:20:33 but yeah, that doesn't really work well with C. 14:20:55 I just don't like seeing compiler warnings 14:21:04 because it seems suspicious :) 14:21:11 -!- ais523 has quit. 14:25:49 -!- Sprocklem has joined. 14:30:31 https://github.com/FMNSSun/Teightath/blob/master/src/types.c#L42 <- I'd whish gcc would produce a warning for these things as well 14:33:35 and yes this means I'm back in the esolang business :) 14:34:04 I'm intending on writing a GolfVM in the usual VM style 14:34:13 i.e. not relying on too much runtime dynamic 14:34:25 (meaning no eval capabilities and such) 14:35:01 -!- GeekDude has joined. 14:35:43 -!- GeekDude has quit (Client Quit). 14:38:46 -!- GeekDude has joined. 14:39:00 -!- GeekDude has quit (Client Quit). 14:40:27 -!- GeekDude has joined. 14:41:15 [wiki] [[Fourfuck]] http://esolangs.org/w/index.php?diff=43130&oldid=43063 * Lesidhetree * (+813) A little update...more coming very soon. 14:42:55 [wiki] [[Talk:Fourfuck]] http://esolangs.org/w/index.php?diff=43131&oldid=43051 * Lesidhetree * (+375) added a little disclaimer 15:00:03 [wiki] [[Fourfuck]] http://esolangs.org/w/index.php?diff=43132&oldid=43130 * Lesidhetree * (+66) /* Operators */ Edited some stuff 15:01:48 -!- Phantom_Hoover has joined. 15:02:09 [wiki] [[Fourfuck]] http://esolangs.org/w/index.php?diff=43133&oldid=43132 * Lesidhetree * (-232) /* Example programs */ 15:03:12 -!- Herbalist has quit (Ping timeout: 255 seconds). 15:03:25 -!- evalj has joined. 15:05:55 -!- Herbalist has joined. 15:06:15 [wiki] [[Fourfuck]] http://esolangs.org/w/index.php?diff=43134&oldid=43133 * Lesidhetree * (-727) Removed a few sections I felt couldn't be filled in yet. 15:08:52 -!- Lyka|Away has changed nick to Lyka. 15:09:37 fine...edited th wiki 15:16:25 -!- jakob__ has joined. 15:16:45 Hey I was wondering if you know of any esoteric programming tools 15:16:51 like IDES, etc 15:25:29 -!- variable has joined. 15:28:51 -!- variable has quit (Remote host closed the connection). 15:33:54 -!- jakob__ has quit (Quit: Page closed). 15:54:24 -!- hjulle has joined. 15:55:33 `olist 989 15:55:48 olist 989: shachaf oerjan Sgeo FireFly boily nortti 15:59:16 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 15:59:17 -!- rdococ has joined. 15:59:23 finally connected 16:06:31 o/ 16:09:01 -!- rdococ has left. 16:18:33 -!- rdococ has joined. 16:47:31 -!- TieSoul has quit (Remote host closed the connection). 16:59:24 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:05:30 -!- TieSoul has joined. 17:07:16 -!- GeekDude has joined. 17:09:27 -!- wundo has joined. 17:15:55 -!- paul2520 has joined. 17:15:55 -!- paul2520 has quit (Changing host). 17:15:55 -!- paul2520 has joined. 17:18:46 -!- password2 has joined. 17:19:00 -!- password2 has quit (Max SendQ exceeded). 17:22:45 -!- password2 has joined. 17:23:20 -!- password2 has quit (Max SendQ exceeded). 17:24:32 -!- password2 has joined. 17:25:06 -!- password2 has quit (Max SendQ exceeded). 17:26:47 -!- password2 has joined. 17:28:01 -!- password2 has quit (Max SendQ exceeded). 17:29:57 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 17:30:02 -!- password2 has joined. 17:30:27 -!- password2 has quit (Max SendQ exceeded). 17:31:55 -!- password2 has joined. 17:32:22 -!- password2 has quit (Max SendQ exceeded). 18:02:08 -!- toxolotl has quit (Quit: Leaving.). 18:02:27 -!- GeekDude has quit (Ping timeout: 244 seconds). 18:17:42 -!- ais523 has joined. 18:27:33 -!- Sprocklem has quit (Ping timeout: 264 seconds). 18:32:59 Um, did the C standards people know they were asking the compiler to solve the halting problem? 18:33:49 C isn't Turing-complete, so probably not. 18:34:47 C is not infinitly extendable? 18:34:56 shachaf: it can be, nothing in the definition of files prevents them being infinitely long 18:34:59 infinitely i meant. 18:35:01 and that's the only sticking point 18:35:08 ais523 wins. 18:35:13 Good point. If C is compiled for a computer with 64K ram, could a modern computer detect all cases of overflow? 18:35:47 ais523: I thought the C99 definition of files didn't allow for infinitely long files. 18:36:02 Because you can always get the current position. 18:36:07 shachaf: a file position's an opaque object, though 18:36:17 so that only places a limit on how many times you can request the file position 18:36:21 doesn't it require off_t to be an integer of some kind? 18:36:24 But it still has to fit in memory. 18:36:37 off_t is a struct on some systems, I think 18:36:46 shachaf: a file position? yes, but it doesn't have to be meaningful 18:37:14 ais523: well that sure fucks up some code i've written! 18:37:29 well, there are two file position functions 18:38:08 one returns an integer but might not work on large files 18:38:11 the other returns an opaque struct 18:38:47 actually the integers are allowed to be opaque too, and are on some weird platforms 18:38:49 but aren't on POSIX 18:39:47 structs!! 18:40:57 I seems that GCC does us the service of saying they are integers. 18:41:24 gcc just reacts to what the type actually is 18:41:32 rather than what it potentially could be 18:42:00 oh, right. I mean glibc not gcc 18:42:58 anyway I was using the integerness to skip to particular files within an archive and read them 18:43:56 that's common, and if you open the file as a binary file, nearly always works 18:44:52 -!- callforjudgement has joined. 18:48:49 -!- ais523 has quit (Ping timeout: 246 seconds). 18:49:16 -!- callforjudgement has changed nick to ais523. 18:49:19 oren: Not having to be meaningful fucks up Your Code? What the Fuck? 18:49:43 .o0(Platform Games vs. Racing Games) 18:49:44 "fuck" is a noun? 18:49:48 I always thought it was a verb 18:49:49 No Idea. 18:49:49 -!- Welo has joined. 18:49:53 I am no native Speaker. 18:50:22 WordNet (r) 3.0 (2006) [wn] has both Noun and Verb. 18:50:51 well, English doesn't have a rule of capitalizing nouns anyway, so it normally doesn't matter which it is when you're using "fuck" as part of an interjection 18:50:57 „Adam knew Eve” 18:51:11 s/”/“/ 18:51:16 I see. 18:51:19 although you are at least consistent about it, and it gives you a style of your own 18:51:27 Thanks. 18:53:30 -!- Tritonio has joined. 18:55:28 -!- GeekDude has joined. 18:59:15 Fuck can be a noun or verb. 19:03:40 True. 19:28:10 oren: where does the C standard ask the compiler to solve the halting problem? 19:28:11 -!- rdococ has quit (Read error: Connection reset by peer). 19:28:34 When you want to make table/infobox/etc on wiki, you should try to do data-oriented coding, such as to allow to put SQL codes or RDF graphs (or both) with each page, and then other templates and pages can query it. 19:43:41 oren: ais523: off_t (which is part of POSIX, not C) does need to be an integral type. fpos_t, which is what fgetpos/fsetpos use, can be something more complicated. 19:44:21 fizzie: aha 19:46:09 So C is Turing-complete. 19:46:16 (off_t is used by the file-descriptor-level lseek and some others.) 19:46:51 Can it be something more complicated which represents an unbounded position in a file? 19:46:56