00:06:23 -!- tromp has joined. 00:10:57 -!- tromp has quit (Ping timeout: 240 seconds). 00:15:43 -!- xkapastel has quit (Quit: Connection closed for inactivity). 00:16:34 [wiki] [[Tables]] M https://esolangs.org/w/index.php?diff=53218&oldid=53216 * HereToAnnoy * (-39) Terminate instruction unnecessary 00:20:19 [wiki] [[Tables]] M https://esolangs.org/w/index.php?diff=53219&oldid=53218 * HereToAnnoy * (+54) 00:28:17 [wiki] [[Tables]] M https://esolangs.org/w/index.php?diff=53220&oldid=53219 * HereToAnnoy * (+35) example fix 00:28:52 -!- jaboja has joined. 00:57:31 -!- jaboja has quit (Ping timeout: 255 seconds). 00:58:14 <\oren\> a bunch of jumbled bytes suddenly appeared in an otherwise ok file 00:58:55 <\oren\> i'm thinking this might be my first time witnessing real data corruption 01:00:30 <\oren\> }<86>pSC^N<98>4朱Կ/ appears in one file and not the other. they are supposed to be identical 01:01:25 <\oren\> well I'm overwriting the corrupted one with the good one 01:38:14 -!- xkapastel has joined. 01:42:15 -!- brandonson has quit (Remote host closed the connection). 01:54:22 -!- tromp has joined. 01:55:39 -!- imode has joined. 01:58:28 'lo. 01:59:13 -!- tromp has quit (Ping timeout: 248 seconds). 02:05:44 -!- brandonson has joined. 02:13:38 -!- boily has joined. 02:13:40 QUINTHELLOPIA! 02:38:46 -!- boily has quit (Quit: DOZEN CHICKEN). 02:41:38 an update from earlier, a P System (https://en.wikipedia.org/wiki/P_system) is similar to fractran and it emphasizes nondeterministic rule application, only with the idea of permeable membranes in place. 02:41:56 I don't see the difference between a "permeable membrane" and a flag register. 02:42:12 so why would fractran be non-TC with nondeterministic rule application? 02:50:47 -!- tromp has joined. 02:55:25 -!- tromp has quit (Ping timeout: 252 seconds). 03:37:13 -!- sleffy has quit (Ping timeout: 252 seconds). 03:38:37 -!- fungot has quit (Ping timeout: 255 seconds). 03:38:52 -!- fungot has joined. 04:16:31 -!- sleffy has joined. 04:18:47 -!- erkin has joined. 05:14:42 -!- doesthiswork has quit (Quit: Leaving.). 05:55:20 -!- Cale has quit (Ping timeout: 258 seconds). 06:08:37 -!- Cale has joined. 06:35:01 -!- sleffy has quit (Ping timeout: 255 seconds). 07:07:31 <\oren\> https://www.youtube.com/watch?v=G6AcH-jch1M 07:16:58 -!- AnotherTest has joined. 07:21:17 -!- AnotherTest has quit (Ping timeout: 255 seconds). 07:28:48 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 08:14:41 -!- imode has quit (Ping timeout: 248 seconds). 08:35:01 -!- tromp has joined. 08:41:18 -!- hppavilion[1] has joined. 09:04:30 -!- sebbu has quit (Read error: Connection reset by peer). 09:04:51 -!- sebbu has joined. 09:25:27 -!- puck1pedia has joined. 09:25:33 -!- diginet_ has joined. 09:25:35 -!- quintopi1 has joined. 09:28:35 -!- puckipedia has quit (Ping timeout: 248 seconds). 09:28:35 -!- diginet has quit (Quit: diginet has quit!). 09:28:35 -!- quintopia has quit (Ping timeout: 248 seconds). 09:28:37 -!- diginet_ has changed nick to diginet. 09:32:07 -!- Vorpal has quit (Ping timeout: 260 seconds). 09:33:41 -!- Vorpal has joined. 09:33:41 -!- Vorpal has quit (Changing host). 09:33:41 -!- Vorpal has joined. 09:45:41 -!- potato44 has joined. 09:52:09 is there any actual paradox that's fundamentally different from the liar's paradox? 09:57:46 -!- xkapastel has quit (Quit: Connection closed for inactivity). 10:00:16 "paradox" isn't a very good word. 10:04:40 -!- potato44 has quit (Quit: Page closed). 10:04:43 is there any actual encyclopedia that's fundamentally different from the liar's encyclopedia? 10:41:41 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 11:04:44 https://en.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox 11:04:57 it's called a paradox, but there's no logical contradiction at all. 11:06:39 No but it goes against the intuitive way of thinking 11:06:47 hence 11:06:49 paradox 11:07:14 I know. It's an answer to izabera's question; any instance of the liar's paradox would involve a logical contradiction. 11:07:38 o 11:08:19 The axiom of choice gets a bad rap but frankly the negation of the axiom of choice is even worse 11:08:24 good answer int-e 11:12:56 I don't mind the axiom of choice. The idea that the so called "real numbers" have any representation in physics is the underlying fallacy to my mind. 11:15:27 Well you can try do work without the reals, but good luck 11:16:50 I wouldn't. You just have to admit that you're building *models* or reality, and often surprisingly accurate ones at that. 11:17:11 s/reality/the physical world/ 11:17:14 well yes, that's what physics is for 11:17:16 (assuming it exists :P) 11:17:55 I tend to 11:20:03 -!- puck1pedia has changed nick to puckipedia. 11:20:08 I've got a full book of axiomatizing physics with geometrical axioms 11:20:13 It is the worst idea of all times 11:21:10 what about pizza and milk 11:21:44 where else would you dip your pizza 11:29:16 apparently it is possible to do quantum computing with discrete path integrals 11:29:20 That might be interesting 11:37:17 -!- boily has joined. 11:55:39 -!- AnotherTest has joined. 12:11:01 -!- mtve has quit (Ping timeout: 240 seconds). 12:14:08 -!- mtve has joined. 12:22:22 -!- boily has quit (Quit: CARBURETOR CHICKEN). 12:46:42 -!- erkin has joined. 12:47:13 -!- AnotherTest has quit (Ping timeout: 248 seconds). 13:14:00 izabera: Oh, I have a paradox for you. 13:15:03 If you agree to be an apprentice until your 21st birthday, but you were born on Feb 29, you'll have to stay an apprentice until you're 84. 13:24:02 that's a lame paradox! 13:27:32 Some people would go so far as to call it "a most ingenious paradox". 13:42:31 -!- fungot has quit (Ping timeout: 255 seconds). 13:44:00 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 13:50:56 -!- doesthiswork has joined. 14:10:34 -!- fungot has joined. 14:47:16 -!- `^_^v has joined. 15:05:58 -!- doesthiswork has quit (Quit: Leaving.). 15:26:28 -!- AnotherTest has joined. 15:33:35 -!- tromp has quit (Remote host closed the connection). 15:43:20 -!- tromp has joined. 16:06:14 -!- tromp has quit (Remote host closed the connection). 16:16:05 -!- tromp has joined. 16:30:48 -!- SigmundYx has joined. 16:56:35 -!- sleffy has joined. 17:08:46 -!- SigmundYx has quit (Quit: See Ya.). 17:15:32 shachaf: lol 17:19:38 it's a potential legal problem 17:20:05 yes but that's not what shachaf is getting at 17:22:07 (German law doesn't count birthdays, it counts years since birth. If you're born on February 29th, each year will end on a February 28th, so from that perspective the next day your birthday, alternating between March 1st and February 29th.) 17:22:42 some verb 17:37:21 How does it define a year though 17:38:32 By date. It takes the calendar for granted in this context, hmm. 17:40:21 so the interval between two identical dates is 1 year if it's not the 29th, and otherwise that? 17:40:35 Slereah: so the interesting case here is that the day a year after a February 29th is the last day of February. This is also applicable for the date 1 month after August 31st, for example. 17:41:46 the extreme case being the day 1 month after January 31st; it'll also be the last day of February. In particular 1 month after one month after some day may be different from 2 months after the same day. Fun. 17:50:38 Ontario law is clear that February 29's anniversary happens on February 28 on a non-leap year 17:50:58 the rules on months are similar 17:54:32 it's the same in german law, it's just that for legal age, the anniversary isn't relevant; it's the completion of n years starting at the birth date that matter. 17:57:39 the law will have phrases like "after completion of the 18th year of life" 18:14:48 -!- [ATMunn] has joined. 18:28:37 ah 18:37:40 -!- [ATMunn] has quit (Remote host closed the connection). 18:38:08 -!- [ATMunn] has joined. 18:53:08 -!- [ATMunn] has quit (Remote host closed the connection). 18:53:21 -!- rottytooth has joined. 18:53:42 -!- [ATMunn] has joined. 18:55:11 -!- [ATMunn] has quit (Client Quit). 18:55:48 -!- rottytooth has quit (Client Quit). 18:56:19 -!- danieltemkin has joined. 18:58:31 -!- danieltemkin has changed nick to rottytooth. 19:31:38 -!- fungot has quit (Ping timeout: 255 seconds). 19:31:54 -!- fungot has joined. 19:59:34 -!- Phantom_Hoover has joined. 20:38:07 -!- `^_^v has quit (Ping timeout: 248 seconds). 20:39:52 -!- `^_^v has joined. 21:22:44 `unidecode ◯ 21:22:50 ​[U+25EF LARGE CIRCLE] 21:24:01 -!- clog has quit (Ping timeout: 248 seconds). 21:40:07 -!- bibibi has quit (Ping timeout: 260 seconds). 21:42:55 -!- clog has joined. 21:43:08 -!- pdxleif has quit (Ping timeout: 240 seconds). 21:50:51 -!- pdxleif has joined. 21:57:37 -!- pdxleif has quit (Ping timeout: 248 seconds). 21:57:51 -!- rottytooth has quit (Quit: Leaving). 21:59:22 -!- izabera has quit (Ping timeout: 260 seconds). 22:01:19 -!- pdxleif has joined. 22:01:33 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:04:48 -!- izabera has joined. 22:13:30 -!- quintopi1 has changed nick to quintopia. 22:13:48 -!- quintopia has quit (Changing host). 22:13:48 -!- quintopia has joined. 22:13:55 -!- imode has joined. 22:19:03 Hmm. I was making a new offsite backup disk, and turns out I've encrypted the previous one. Which makes sense (can never be too careful with those esolangs.org backups), but I've no idea about what sort of passphrase would unlock it. 22:19:43 This does not bode well if I ever actually need to restore something from those backups. 22:20:17 perhaps you should do another backup 22:20:31 oh, wait, you are ok 22:20:38 For now, yes. 22:20:56 But chances are I'll manage to forget about how I encrypted the new one I'm making, as well. 22:31:38 -!- AnotherTest has quit (Ping timeout: 255 seconds). 22:44:17 clearly you need a backup plan for your backup plan 22:46:11 that reminds me that I have no clue what my project euler password is anymore :P 22:46:31 which may be saving me a lot of trouble 23:12:07 -!- boily has joined. 23:13:59 `5 w 23:14:05 1/3:bdsmreclist//* oerjan swats quintopia -----### \ Phantom_Hoover: it records all the big hits \ prography//Prography is the art of turning computational algorithms into something totally incomprehensible to anyone whose brain isn't made of silicon and arsenic. \ double dactyl//Curious spurious juvenile poetry that is supposedly tr 23:14:06 `n 23:14:07 2/3:icky to write, but its obsession with sesquipedality makes double dactyls quite gaudy and trite. \ peer//Peer Gynt is a famous Norwegian troll. His reviews are in high demand, but nowadays he amuses himself by resetting people's irc connections and torrenting his own files. \ earth//Topologically speaking, the Earth has been a coffee mug ev 23:14:08 `n 23:14:09 3/3:er since that hole to China was dug. 23:14:49 helloily 23:15:13 i learned yesterday about the ridiculousness of quebecois curse words 23:15:46 QUINTHELLOPIA! 23:16:01 ack so many capital letters 23:16:10 they aren't ridiculous. they are categorical! you can compose them any way you want ^^ 23:16:25 you can do that with most curse words 23:16:39 but most places don't curse by listing props used in communion 23:17:18 it adds charm and tradition! 23:18:11 it promotes precise vocabulary, diction and personal expression! 23:18:25 it's conjugable! 23:21:44 conjugable tabaridiculousnakess 23:22:55 :D 23:41:14 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 23:57:50 -!- augur has joined.