←2017-10-17 2017-10-18 2017-10-19→ ↑2017 ↑all
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 <HackEgo> [wiki] [[Tables]] M https://esolangs.org/w/index.php?diff=53218&oldid=53216 * HereToAnnoy * (-39) Terminate instruction unnecessary
00:20:19 <HackEgo> [wiki] [[Tables]] M https://esolangs.org/w/index.php?diff=53219&oldid=53218 * HereToAnnoy * (+54)
00:28:17 <HackEgo> [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><E8>pS<C3>C^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 <imode> '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 <boily> QUINTHELLOPIA!
02:38:46 -!- boily has quit (Quit: DOZEN CHICKEN).
02:41:38 <imode> 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 <imode> I don't see the difference between a "permeable membrane" and a flag register.
02:42:12 <imode> 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 <izabera> 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 <shachaf> "paradox" isn't a very good word.
10:04:40 -!- potato44 has quit (Quit: Page closed).
10:04:43 <izabera> 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 <int-e> https://en.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox
11:04:57 <int-e> it's called a paradox, but there's no logical contradiction at all.
11:06:39 <Slereah> No but it goes against the intuitive way of thinking
11:06:47 <Slereah> hence
11:06:49 <Slereah> paradox
11:07:14 <int-e> 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 <Slereah> o
11:08:19 <Slereah> The axiom of choice gets a bad rap but frankly the negation of the axiom of choice is even worse
11:08:24 <izabera> good answer int-e
11:12:56 <int-e> 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 <Slereah> Well you can try do work without the reals, but good luck
11:16:50 <int-e> 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 <int-e> s/reality/the physical world/
11:17:14 <Slereah> well yes, that's what physics is for
11:17:16 <int-e> (assuming it exists :P)
11:17:55 <Slereah> I tend to
11:20:03 -!- puck1pedia has changed nick to puckipedia.
11:20:08 <Slereah> I've got a full book of axiomatizing physics with geometrical axioms
11:20:13 <Slereah> It is the worst idea of all times
11:21:10 <izabera> what about pizza and milk
11:21:44 <Slereah> where else would you dip your pizza
11:29:16 <Slereah> apparently it is possible to do quantum computing with discrete path integrals
11:29:20 <Slereah> 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 <shachaf> izabera: Oh, I have a paradox for you.
13:15:03 <shachaf> 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 <Slereah> that's a lame paradox!
13:27:32 <shachaf> 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 <alercah> shachaf: lol
17:19:38 <int-e> it's a potential legal problem
17:20:05 <alercah> yes but that's not what shachaf is getting at
17:22:07 <int-e> (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 <int-e> some verb
17:37:21 <Slereah> How does it define a year though
17:38:32 <int-e> By date. It takes the calendar for granted in this context, hmm.
17:40:21 <Slereah> so the interval between two identical dates is 1 year if it's not the 29th, and otherwise that?
17:40:35 <int-e> 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 <int-e> 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 <alercah> Ontario law is clear that February 29's anniversary happens on February 28 on a non-leap year
17:50:58 <alercah> the rules on months are similar
17:54:32 <int-e> 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 <int-e> the law will have phrases like "after completion of the 18th year of life"
18:14:48 -!- [ATMunn] has joined.
18:28:37 <alercah> 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 <int-e> `unidecode ◯
21:22:50 <HackEgo> ​[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 <fizzie> 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 <fizzie> This does not bode well if I ever actually need to restore something from those backups.
22:20:17 <Hooloovo0> perhaps you should do another backup
22:20:31 <Hooloovo0> oh, wait, you are ok
22:20:38 <fizzie> For now, yes.
22:20:56 <fizzie> 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 <int-e> clearly you need a backup plan for your backup plan
22:46:11 <int-e> that reminds me that I have no clue what my project euler password is anymore :P
22:46:31 <int-e> which may be saving me a lot of trouble
23:12:07 -!- boily has joined.
23:13:59 <boily> `5 w
23:14:05 <HackEgo> 1/3:bdsmreclist//* oerjan swats quintopia -----### \ <oerjan> 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 <boily> `n
23:14:07 <HackEgo> 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 <boily> `n
23:14:09 <HackEgo> 3/3:er since that hole to China was dug.
23:14:49 <quintopia> helloily
23:15:13 <quintopia> i learned yesterday about the ridiculousness of quebecois curse words
23:15:46 <boily> QUINTHELLOPIA!
23:16:01 <quintopia> ack so many capital letters
23:16:10 <boily> they aren't ridiculous. they are categorical! you can compose them any way you want ^^
23:16:25 <quintopia> you can do that with most curse words
23:16:39 <quintopia> but most places don't curse by listing props used in communion
23:17:18 <boily> it adds charm and tradition!
23:18:11 <boily> it promotes precise vocabulary, diction and personal expression!
23:18:25 <boily> it's conjugable!
23:21:44 <quintopia> conjugable tabaridiculousnakess
23:22:55 <boily> :D
23:41:14 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
23:57:50 -!- augur has joined.
←2017-10-17 2017-10-18 2017-10-19→ ↑2017 ↑all