01:11:10 [[!aoQ):]] N https://esolangs.org/w/index.php?oldid=85387 * AmNow * (+2429) content 01:11:52 [[!aoQ):]] M https://esolangs.org/w/index.php?diff=85388&oldid=85387 * AmNow * (+3) no ambiguity 01:13:55 [[User:AmNow]] M https://esolangs.org/w/index.php?diff=85389&oldid=85383 * AmNow * (+13) added lang 01:14:34 [[Language list]] M https://esolangs.org/w/index.php?diff=85390&oldid=85381 * AmNow * (+13) added lang 01:15:06 [[!aoQ):]] M https://esolangs.org/w/index.php?diff=85391&oldid=85388 * AmNow * (-1) /* Factorial */ fixed 01:21:08 [[User:AmNow]] M https://esolangs.org/w/index.php?diff=85392&oldid=85389 * AmNow * (+24) 01:32:13 [[User:AmNow]] M https://esolangs.org/w/index.php?diff=85393&oldid=85392 * AmNow * (+0) 02:00:43 having done math and humanities, it feels more akin to the humanities than to science 02:02:15 math (obviously) tends to be very rigorous in how it does things, _but_ in its practice it doesn't tend to resemble science at all. math very often does things for its own sake, and sometimes then discovers applications for that, and the way of finding truth in math is by doing argument and exploring the ideas... 02:03:22 which is all well and good; i have no objections, and consider math's typical approaches quite valid and rigorous ways of doing things 02:03:58 _but_, science is about methodological empiricism 02:05:24 within science, that which is true or false is discerned by observation of the outside world, and devising tests to better be able to observe the outside world -- those ideas which are shown to be consistent with what you see are (assumed) correct, and those ideas which are not are known to be wrong 03:14:54 Yeah. The main difference between formality in maths and formality in writing is that maths is "formally formal" these days; the way in which maths cares about formality can be used to derive and extrapolate the entirety of the rest of maths. 03:23:30 -!- dyeplexer has joined. 03:25:19 [[Special:Log/newusers]] create * Easyaspi314 * New user account 03:40:31 -!- Lord_of_Life_ has joined. 03:40:51 -!- Lord_of_Life has quit (Ping timeout: 265 seconds). 03:41:40 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=85394&oldid=85279 * Easyaspi314 * (+190) /* Introductions */ easyaspi314 03:41:44 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 04:02:40 -!- hendursaga has quit (Remote host closed the connection). 04:03:06 -!- hendursaga has joined. 04:24:15 math is an observational notation for physics 04:26:03 making notes sometimes help to discover laws of nature that we didn't yet use 04:30:22 teology researches specific fields of psychology that is based on evolution and biology 04:31:17 that is based on chemistry that is based on physics again 04:50:24 OK, but that does not make either math or theology to be science (although it describes their relation to science, at least according to one opinion) 04:58:09 Those are valid points, though. I am guessing that "teology" is supposed to be "theology" 05:01:28 -!- delta23 has joined. 05:02:15 Another thing is xkcd 435, although it doesn't mention theology. 05:03:52 Math is not only an observational notation for physics, I think. But, that is one way that mathematics can be used. I am platonist though; the mathematics itself is still what it is even independently of the study and of the applications, although you can still have those things too 05:13:01 yeah I always confuse t and th because in russian it's always just t 05:13:19 we always don't join letters to build sounds 05:13:35 *almost 05:13:44 OK 05:14:14 or was it th because of being based on ancient language? idk 05:15:34 what does it mean you are platonist? 05:15:59 google takes the "Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and non-mental. Platonism in this sense is a contemporary view" out of the whole huge wikipedia article 05:16:18 It means that some mathematical objects ("abstracta") aren't physical objects in reality. 05:18:16 would you be able to research math without having physics? like would you some day invent some modern fresh discovered laws if you was living all your life with closed eyes drifting in vacuum? 05:18:51 <^[> Corbin: What's the alternative? I'd be hard-pressed to find a real number line out in the wild. 05:18:56 Yes. Many parts of number theory are extremely unphysical. 05:20:19 ^[: Some folks bring with them a metaphysics or ontology which asserts that all described things either exist or don't exist. It can be a journey just to go beyond that. 05:23:15 <^[> I think this is the part where I ask for a definition of "to exist", but I'm not falling for that one again! 05:25:35 Tao has a wonderful post about this: https://terrytao.wordpress.com/2009/11/05/the-no-self-defeating-object-argument/ 05:27:42 but then how is mathematically moving abstract things around different from "creating falsifiable theories"? 05:27:56 btw math is full of theories too that only later either get proved or disproved 05:28:37 literally half of those lists of "unsolved problems" 05:28:45 platonism draws a lot from the thought that there are 'essences' out there, idealized notions which underpin real objects. it's very old but people used to think in those terms 05:29:46 these days, one favored take is that math mostly deals with 'consistency', although you run into Godel 05:34:39 nakilon: Mathematical English is very specific here. A "theorem" is a proof statement. A "theory" is a field of research into some sort of objects. 05:35:59 often mathematicians will still say they are 'platonists' which means they think reality is mathematical at heart 05:38:00 My personal Platonism is based on observations like the fact that the empty set isn't at any one particular location in spacetime, so it's not located in physical reality. Indeed it's only located within set theories. 05:43:21 I'm not saying about "set theory" or "propability theory" etc., I mean when they say "there is no solution to this equation, I have no proof but we'll jerk on it for the next 500 years" 05:45:03 similar to how we didn't know or didn't believe Einstein but still were able to fly at least above the clouds 05:45:26 many people still don't believe him 05:46:05 -!- tromp has joined. 05:47:43 probably there is a term for people who don't bother learning and prefer to build the imaginary world around based on likes and dislikes and would respond aggressively if you ask them to read a page on wikipedia and stuff 05:47:55 I'm bad in terms 05:49:50 [[SLOW ACV MAMMALIAN]] https://esolangs.org/w/index.php?diff=85395&oldid=31933 * Bangyen * (+1291) 05:58:10 It's actually worse than that. Modern cryptography relies on the idea of one-way functions. We don't know whether one-way functions exist. 06:15:11 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 06:22:04 Surely one way functions exist. A hash function has no inverse for example. 06:22:50 no known inverse 06:24:16 We don't even know about P vs. NP. I personally assume that we're in a world where NP-complete problems can take exponential time (99% confidence), but I could be completely wrong. 06:25:41 [[User talk:AmNow]] N https://esolangs.org/w/index.php?oldid=85396 * Bangyen * (+285) Created page with "=== [[=,-&~]] Question === I'm looking to create an interpreter for [[=,-&~]], but I had a couple questions that I posted on the talk page. Whenever you're free, clarification..." 06:29:52 -!- tromp has joined. 06:31:07 Hash functions cannot be inverted because there is information loss in the forward process. 06:33:05 I assume the NSA/GCHQ etc have massive databases of precomputed hashes so that they can reverse them by lookup, and same for large nearly primes, etc. 06:33:08 map into a set 06:36:22 Or fix the input size, as is common in many practical attacks. Indeed, many hashes are broken by use cases like passwords, where the input is shorter than the internal state of the hash. I think sponge constructions can help with this a bit. 06:37:10 I don't think *my* passswords have less entropy than the hashes. haha 06:37:21 My passwords certainly do. 06:38:02 People talking about inverting a hash function don't mean finding the specific original input, just any input that hashes to a particular value. 06:38:51 I generate my passwords using hash functions, so I think by definition I'm ok. It's only the site that won't allow long keys that cause a sel-inflicted wound. 06:38:55 e.g. Bitcoin would be completely broken by this, even if SHA-256 isn't fully invertible. 06:39:57 Yes, if you only need to find a hash collision it is easier than finding the original input. 06:40:36 Hmm, there is a #crypto channel I think. ha! 06:50:23 yes we covered this exact question a couple days ago 06:50:34 :) 06:58:27 [[User talk:CodyNinja1]] N https://esolangs.org/w/index.php?oldid=85397 * CodyNinja1 * (+1) h 07:26:25 -!- Koen_ has joined. 07:46:46 -!- hanif has joined. 07:48:17 so it's like 3 months passed since I made my personal hash-based storage and no one has since then broke it -- what was the point to make a few pages of flame? 07:48:36 hash-based storage is a really nice idea 07:50:34 oh, 1 month, I've lost a feel of time 07:58:52 -!- hanif has quit (Ping timeout: 244 seconds). 08:06:09 -!- hendursa1 has joined. 08:09:12 -!- hendursaga has quit (Ping timeout: 244 seconds). 08:38:13 -!- shachaf has quit (Quit: Reconnecting). 08:38:20 -!- shachaf_ has joined. 08:38:42 -!- shachaf_ has changed hostmask to ~shachaf@user/shachaf. 08:39:09 -!- shachaf_ has changed nick to shachaf. 08:39:32 What was the hash-based storage thing? 09:02:08 -!- nakilon has quit (*.net *.split). 09:02:09 -!- pikhq has quit (*.net *.split). 09:02:11 -!- pikhq_ has joined. 09:02:20 -!- nakilon has joined. 09:04:33 -!- int-e has quit (Quit: leaving). 09:09:31 -!- int-e has joined. 09:15:55 [[A Slow Language]] N https://esolangs.org/w/index.php?oldid=85398 * Dominicentek * (+2412) Created page with "A Slow Language is a 2D [[Befunge]]-like esoteric programming language made for a [https://www.youtube.com/user/luigiman2700 Truttle1] Esolang Jam. You control a turtle on an..." 09:17:07 maybe its different by in my case 09:17:26 you have a store/ directory where files are stored, the filename is the hash of the data in it 09:17:37 then you have a directory with symlinks into the store 09:17:39 [[Language list]] https://esolangs.org/w/index.php?diff=85399&oldid=85390 * Dominicentek * (+22) /* A */ 09:17:43 so files can have normal paths and names 09:17:52 but everything is deduplicated automatically 09:19:27 Ah, I see. I was thinking of doing exactly that for a backup solution. Never got round to setting it up though. 09:22:13 -!- hanif has joined. 09:25:01 i suppose deduplication could be implemented at the filesystem level 09:31:02 -!- Sgeo has quit (Read error: Connection reset by peer). 10:04:55 [[User:Dominicentek]] M https://esolangs.org/w/index.php?diff=85400&oldid=85209 * Dominicentek * (+22) 10:13:21 [[Talk:=,-&~]] https://esolangs.org/w/index.php?diff=85401&oldid=85374 * AmNow * (+149) 10:31:17 -!- hanif has quit (Ping timeout: 244 seconds). 10:32:12 [[HakerScript]] https://esolangs.org/w/index.php?diff=85402&oldid=85269 * Provitia * (-385) /* Package reference */ 10:35:10 [[HakerScript]] https://esolangs.org/w/index.php?diff=85403&oldid=85402 * Provitia * (-179) /* Truth machine */ 10:45:07 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 10:50:53 [[Pops Are Overrated]] https://esolangs.org/w/index.php?diff=85404&oldid=85253 * AmNow * (+18) clarification 10:51:48 [[=,-&~]] https://esolangs.org/w/index.php?diff=85405&oldid=85297 * AmNow * (+31) Clarification 10:51:59 -!- oerjan has joined. 10:53:12 [[Talk:=,-&~]] https://esolangs.org/w/index.php?diff=85406&oldid=85401 * AmNow * (+119) 10:53:22 -!- hanif has joined. 10:55:30 [[!aoQ):]] https://esolangs.org/w/index.php?diff=85407&oldid=85391 * AmNow * (+0) 11:07:27 -!- hendursa1 has quit (Ping timeout: 244 seconds). 11:10:09 -!- hendursa1 has joined. 11:14:56 * oerjan manglol a magyar nyelvet egy kicsit b_jonasnak 11:15:10 `? manglophobia 11:15:13 Manglophobia is the fear of horribly mangled "Greek" neologisms. 11:15:21 now with more hungarian 11:20:03 i think i got the words right but not sure of the order 11:20:35 * oerjan vaguely remembers something about topic/focus order 11:24:09 -!- Koen__ has joined. 11:24:15 also meg 11:24:17 * oerjan megmanglol b_jonasnak egy kicsit a magyar nyelvet 11:26:57 -!- Koen_ has quit (Ping timeout: 268 seconds). 11:36:28 [[User:That dude]] https://esolangs.org/w/index.php?diff=85408&oldid=38259 * That dude * (-273) 11:41:45 -!- Koen__ has quit (Remote host closed the connection). 11:42:00 -!- Koen_ has joined. 12:14:23 [[Bedroom]] N https://esolangs.org/w/index.php?oldid=85409 * AmNow * (+1103) content 12:14:52 [[User:AmNow]] https://esolangs.org/w/index.php?diff=85410&oldid=85393 * AmNow * (+13) added lang 12:15:34 [[Language list]] M https://esolangs.org/w/index.php?diff=85411&oldid=85399 * AmNow * (+14) added lang 12:19:26 [[User:AmNow]] M https://esolangs.org/w/index.php?diff=85412&oldid=85410 * AmNow * (+25) 12:42:43 [[A Slow Language]] M https://esolangs.org/w/index.php?diff=85413&oldid=85398 * Dominicentek * (+18) 12:49:27 -!- chronon has left. 12:52:20 -!- hanif has quit (Ping timeout: 244 seconds). 13:20:39 -!- delta23 has quit (Quit: Leaving). 13:23:06 -!- hanif has joined. 13:42:53 wait a moment. 13:43:00 * Koen_ waits 13:43:57 *megmanglolja 13:44:31 forgot the object agreement. 13:46:10 on the plus side, it now looks like an obscure swedish health product 13:50:01 -!- b_jonas has quit (Ping timeout: 268 seconds). 13:58:59 -!- hanif has quit (Ping timeout: 244 seconds). 14:08:16 -!- dutch has quit (Quit: WeeChat 3.0.1). 14:11:19 -!- dutch has joined. 14:44:04 -!- oerjan has quit (Quit: This flaky network is getting to me). 15:06:30 -!- b_jonas has joined. 15:15:00 [[Blood32]] https://esolangs.org/w/index.php?diff=85414&oldid=85377 * PixelatedStarfish * (+339) 15:15:37 [[Blood32]] https://esolangs.org/w/index.php?diff=85415&oldid=85414 * PixelatedStarfish * (-13) /* Logic Gates */ 15:20:37 [[Blood32]] https://esolangs.org/w/index.php?diff=85416&oldid=85415 * PixelatedStarfish * (+58) /* Logic Gates */ 16:42:11 -!- lukalot has quit (Ping timeout: 272 seconds). 16:53:58 -!- VilgotanL has joined. 16:54:22 how 2 use irc 16:54:50 you are doing it right now 16:56:30 [[HakerScript]] https://esolangs.org/w/index.php?diff=85417&oldid=85403 * Provitia * (+176) /* Package reference */ 16:57:49 is +esolangs a bot? 16:58:26 yes 16:58:31 noice 16:58:36 Yes; one that doesn't do much, just the wiki recent changes and logging. 16:58:48 oke 16:59:11 Is there a such thing as LLVM with macros? 16:59:43 [[HakerScript]] https://esolangs.org/w/index.php?diff=85418&oldid=85417 * Provitia * (+31) /* Package reference */ 17:04:46 -!- tromp has joined. 17:08:27 <^[> Would you consider any language with an LLVM frontend as being macros for the IR? 17:09:19 is it a good web design if 18 pieces of text on your page are written in 16 different styles? 17:10:16 3 out of 3 voters voted that I'm wrong saying that it is bad 17:10:19 ..D 17:10:43 <^[> If it's good enough for Time Cube, it should be good enough for you. 17:10:59 subj: https://i.imgur.com/71PjkfA.png 17:17:18 <^[> What's the problem with that? 17:28:54 that 18 pieces of text have 16 different styles? 17:29:05 seems nothing bad, same as with these 17:29:26 https://i.imgur.com/c45hhKi.png 17:29:31 https://i.imgur.com/bLDkwxh.png 17:29:50 very well done 17:32:38 <^[> It might be a question of whether the styles are being put to good use. 17:35:16 [[Blood32]] https://esolangs.org/w/index.php?diff=85419&oldid=85416 * PixelatedStarfish * (+37) /* On the Turing Completeness of Blood32 */ 17:35:32 [[Blood32]] https://esolangs.org/w/index.php?diff=85420&oldid=85419 * PixelatedStarfish * (-30) /* External resources */ 17:35:43 [[Blood32]] https://esolangs.org/w/index.php?diff=85421&oldid=85420 * PixelatedStarfish * (-29) /* External resources */ 17:35:44 nakilon: I think that it is probably bad (although I cannot be sure that there are not circumstances where such a thing is helpful). 17:36:15 I think usually is best to avoid the styles entirely 17:37:47 ^[: No I don't consider any language with an LLVM frontend as being macros for the IR; I mean to be more closely with LLVM directly, but with macros (which can be used for target-dependent stuff as well as for whatever other purposes you can use macros for) 17:48:51 -!- Sgeo has joined. 17:51:40 [[A Slow Language]] M https://esolangs.org/w/index.php?diff=85422&oldid=85413 * PythonshellDebugwindow * (+113) /* Interpreter */ Cats 17:52:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 18:14:13 [[A Slow Language]] M https://esolangs.org/w/index.php?diff=85423&oldid=85422 * Dominicentek * (+84) Added another hello world example 18:14:52 [[A Slow Language]] M https://esolangs.org/w/index.php?diff=85424&oldid=85423 * Dominicentek * (+0) Fixed cat program 18:38:17 -!- dyeplexer has quit (Remote host closed the connection). 18:38:33 [[!aoQ):]] M https://esolangs.org/w/index.php?diff=85425&oldid=85407 * PythonshellDebugwindow * (+29) /* Quine */ Cat 18:38:38 -!- tromp has joined. 18:43:53 -!- Thelie has joined. 18:53:44 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 18:56:30 -!- lukalot has joined. 18:56:58 [[Bedroom]] M https://esolangs.org/w/index.php?diff=85426&oldid=85409 * PythonshellDebugwindow * (+73) /* Truth Machine */ Cats 19:02:17 -!- rodr has joined. 19:18:59 -!- VilgotanL has quit (Quit: Client closed). 19:23:26 -!- Koen_ has quit (Quit: Leaving...). 19:32:21 -!- tromp has joined. 20:06:56 -!- rodr has quit (Quit: rodr). 20:09:11 [[Blood32]] https://esolangs.org/w/index.php?diff=85427&oldid=85421 * PixelatedStarfish * (+161) /* Pointer operations */ 20:09:28 [[Blood32]] https://esolangs.org/w/index.php?diff=85428&oldid=85427 * PixelatedStarfish * (+0) /* Pointer operations */ 20:10:07 [[Blood32]] https://esolangs.org/w/index.php?diff=85429&oldid=85428 * PixelatedStarfish * (+12) /* Grammar */ 20:10:55 [[Blood32]] https://esolangs.org/w/index.php?diff=85430&oldid=85429 * PixelatedStarfish * (-137) /* On the Turing Completeness of Blood32 */ 20:11:55 -!- pikhq_ has changed nick to pikhq. 20:11:57 [[Blood32]] https://esolangs.org/w/index.php?diff=85431&oldid=85430 * PixelatedStarfish * (+56) /* External resources */ 20:12:07 [[Blood32]] https://esolangs.org/w/index.php?diff=85432&oldid=85431 * PixelatedStarfish * (+1) /* External resources */ 20:15:19 [[Blood32]] https://esolangs.org/w/index.php?diff=85433&oldid=85432 * PixelatedStarfish * (+27) /* Tobysil */ 20:15:41 [[Blood32]] https://esolangs.org/w/index.php?diff=85434&oldid=85433 * PixelatedStarfish * (+4) /* Restrictions */ 20:39:19 [[Blood32]] https://esolangs.org/w/index.php?diff=85435&oldid=85434 * PixelatedStarfish * (+169) /* Logic Gates */ 20:40:24 [[Blood32]] https://esolangs.org/w/index.php?diff=85436&oldid=85435 * PixelatedStarfish * (+45) /* Memory Muncher */ 20:42:05 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 20:45:40 [[Blood32]] https://esolangs.org/w/index.php?diff=85437&oldid=85436 * PixelatedStarfish * (+99) /* On the Turing Completeness of Blood32 */ 20:46:07 [[Blood32]] https://esolangs.org/w/index.php?diff=85438&oldid=85437 * PixelatedStarfish * (+8) /* On the Turing Completeness of Blood32 */ 21:12:16 -!- lukalot_ has joined. 21:14:40 -!- lukalot has quit (Ping timeout: 250 seconds). 21:30:50 -!- NotApplicable has joined. 21:31:06 ay finally 21:36:45 -!- tromp has joined. 21:37:09 -!- Thelie has quit (Remote host closed the connection). 21:38:23 Why isn't my messages relaying to the discord 21:40:26 Can anybody even hear me lmao 21:40:29 This is IRC, not Discord. 21:40:34 Yes i know that 21:40:46 but my messages arent relaying via AutoBotRobot 21:42:12 testbot10, inventory 21:42:23 I think im in the wrong channel lmao 21:43:08 Sounds likely. As far as I know, we've never had any Discord bridges. 21:43:46 Huh, I guess i am 21:44:13 I know on the Esolangs Discord they have a relay to IRC of *some* sort 21:44:42 and this was the channel that it said to go to via the Community Portal 21:47:23 We're not affiliated (and probably don't really even have any overlap?) with either of the two discords, and that was the case for freenode #esoteric (which this channel is a continuation of) as well, so if they have an IRC relay, it's to somewhere else. 21:50:37 Ah thank you 21:50:50 It was irc.osmarks.net 21:52:39 -!- slavfox has quit (Quit: ZNC 1.8.2 - https://znc.in). 21:54:47 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 21:55:59 -!- slavfox has joined. 22:04:15 -!- aquijoule_ has quit (Remote host closed the connection). 22:13:51 -!- immibis has quit (Ping timeout: 272 seconds). 22:24:23 fizzie: makes sense, though it's not such a crazy idea to think that we might have a Discord overlay 22:24:53 it's just that if we tried that, we'd have to set a new one up every two years as people migrate to a different app 22:25:21 like, we'd have to set up a facebook bridge, an instagram bridge, a tiktok bridge, whatever the latest trend is 22:26:10 At least with this Matrix thing, there's a network-wide bridge in place. 22:26:14 2 years doesnt seem to be all that bad, especially with such a large community like this 22:28:28 NotApplicable: yeah, but who is there in this community who follows the latest trendy apps and sets up bridges for that? I'm not saying that we're getting old, because fresh young people arrive all the time, but still 22:32:15 -!- moon has quit (Quit: leaving). 22:32:42 -!- iovoid has quit (Quit: iovoid has quit!). 22:32:42 -!- Bowserinator has quit (Write error: Connection reset by peer). 22:36:16 -!- Bowserinator has joined. 22:37:18 -!- iovoid has joined. 22:39:57 -!- moon has joined. 22:51:16 -!- tromp has joined. 22:59:42 -!- richbridger has joined. 23:07:14 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 23:18:37 -!- richbridger has quit (Remote host closed the connection). 23:23:11 -!- richbridger has joined. 23:56:10 [[SLOW ACV MAMMALIAN]] M https://esolangs.org/w/index.php?diff=85439&oldid=85395 * Bangyen * (-2) 23:56:53 [[Circlefuck]] M https://esolangs.org/w/index.php?diff=85440&oldid=85344 * Bangyen * (-2)