←2017-03-31 2017-04-01 2017-04-02→ ↑2017 ↑all
00:02:37 <hppavilion[1]> To be precise: Where ςx indicates the prime factorization of x expressed as a bag (multiset) and M{e}- where M is a multiset and e is some value- represents the degree of e in M (M{e} = 0 if e ∉ M): ςgcd(x,y){p} = max(ςx{p}, ςy{p})
00:02:59 <hppavilion[1]> (ς has higher precedence than _{_}, to be clear)
00:15:37 -!- oerjan has joined.
00:17:02 <FireFly> Huh, never thought of that
00:17:21 <FireFly> Well, it makes sense though
00:18:32 <FireFly> well, hrm
00:18:48 <FireFly> isn't it rather basically intersection and union of prime factors?
00:19:02 <FireFly> where you define that sensibly for bags
00:19:50 <FireFly> your syntax confuses me
00:20:52 <oerjan> <shachaf> What, so scripts that rerun old commands from history will have to discriminate between pre- and post-fix commands? <-- iirc they already have the problem that `run doesn't include run in its commit messages.
00:21:14 <alercah> FireFly: that's because hppavilion[1] is the sort of person who uses final sigma as a variable name
00:21:14 <shachaf> OH, right.
00:21:17 <shachaf> So it's hopeless.
00:21:27 <hppavilion[1]> alercah: It's not a variable name
00:21:50 <hppavilion[1]> FireFly: Oh, yeah, that too. Forgot that I'd also thought of it that way, and that that way is better
00:22:01 <FireFly> hppavilion[1]: oh, I guess it's min/max of the powers of each corresponding prime factor
00:22:07 -!- tromp has quit (Remote host closed the connection).
00:22:18 -!- tromp has joined.
00:22:25 <hppavilion[1]> FireFly: Yeah, it is. Which is also a reasonable definition for intersection and union, respectively
00:22:34 <hppavilion[1]> (Though, union could also be defined as addition, so...)
00:22:57 <alercah> hppavilion[1]: function, whatever
00:23:21 <hppavilion[1]> alercah: I kind of think of it as an atomic symbol like +, but it's basically a function, yes
00:31:14 <FireFly> I think of + as a function
00:31:55 <shachaf> Addition being multiplication?
00:37:45 <olsner> shapr: have you heard people talk about 3.5" or 5.25" diskettes in swedish? were they three point five or three and a half inch? (also five point 25 vs five and a quarter, if you're old enough for that)
00:37:55 <oerjan> the positive integers are isomorphic to N^N as a monoid (with * -> +), or as a lattice with gcd, lcm -> min, max.
00:38:41 <shachaf> olsner: in hebrew it's three and a half hth
00:39:23 <oerjan> hm if you do a\b = lcm a b/b you get bag difference.
00:39:49 <oerjan> well, something like it.
00:40:08 <shachaf> the positive naturals are the free commutative monoid generated by the primes
00:40:13 <oerjan> meaning the lattice is distributive.
00:40:24 <shachaf> Lattice?
00:40:33 <shachaf> the naturals are the free semilattice generated by the powers of two
00:40:44 <shachaf> what sorts of other free algebraic structures are the naturals?
00:41:12 <oerjan> shachaf: i told you, as did hppavilion[1]: gcd and lcm.
00:41:24 <Phantom_Hoover> they're the free monoid on one generator right
00:41:27 <oerjan> they are also a lattice.
00:42:05 <shachaf> Oh, that lattice.
00:42:12 <shachaf> But it's not free.
00:42:20 <shachaf> Yes, they're also the free monoid on one generator.
00:43:46 <hppavilion[1]> oerjan: lcm a b/b is 1.
00:45:07 <shachaf> lcm would not be very useful if that was the case hth
00:45:20 <hppavilion[1]> shachaf: It's true
00:45:34 <hppavilion[1]> Wait, no, it's a
00:45:38 <hppavilion[1]> gcd a b/b is 1
00:45:56 <hppavilion[1]> Since b/b = 1
00:46:18 <shachaf> plz lrn2precedence
00:46:19 <hppavilion[1]> (I don't care what your conventions are, the first thought is that b/b associates before functions, so it's better)
00:46:20 <shachaf> as the kids say
00:46:35 <hppavilion[1]> shachaf: I am the kids and have not once said that
00:46:45 <shachaf> your first thought is wrong and you should feel wrong
00:46:49 <hppavilion[1]> shachaf: What we're saying is "lrn2president", and it's just to Donald.
00:47:09 <hppavilion[1]> shachaf: It looks righter, so you should be unambiguous or go with the straightforwarder one.
00:47:24 <hppavilion[1]> infix > curried functions.
00:47:30 <shachaf> function application has the highest presidence
00:47:38 <shachaf> nothing has been curried here
00:47:39 <hppavilion[1]> f x+1 = f (x+1)
00:47:42 <hppavilion[1]> (f x)+1
00:47:51 <shachaf> Of course not.
00:47:53 <shachaf> You're saying nonsense.
00:48:32 <hppavilion[1]> shachaf: Yeah they have. If you're using unparenthetical functions, then whether it takes precedence is context-defined, and there are different natural-seeming protocols
00:48:59 * hppavilion[1] . ø Ø ( This isn't even a semantic argument, it's just a syntactic one )
00:49:23 <shachaf> I'm not sure what "infix > curried" functions are.
00:49:28 <shachaf> That seems like an error.
00:49:51 <hppavilion[1]> shachaf: In this case, > is precedence.
00:50:02 <hppavilion[1]> ...
00:50:03 <hppavilion[1]> dammit.
00:50:10 <hppavilion[1]> shachaf: I see what you did there.
00:50:14 * hppavilion[1] concedes
00:51:22 <shachaf> Haskell puts function application at, I think, the third-highest precedence.
00:51:25 <shachaf> Or was it fourth?
00:51:36 <shachaf> But it's more precedential than any infix operator.
00:53:30 <Phantom_Hoover> what are first and second
00:53:40 <Phantom_Hoover> bracket is one of them i take it
00:53:55 <shachaf> I don't remember.
00:54:10 <shachaf> I think it was a{} construction and a{} modification or something like that.
00:54:17 <shachaf> And a{} in pattern-matching context?
00:54:23 <shachaf> Those are three, kind of.
00:55:23 <shachaf> I think there was something else.
00:57:06 <hppavilion[1]> shachaf: ...lambdas?
01:02:48 -!- Marcela_Gandara1 has joined.
01:04:27 -!- Marcela_Gandara has quit (Read error: Connection reset by peer).
01:28:34 -!- Marcela_Gandara1 has quit (Ping timeout: 240 seconds).
01:31:01 -!- Marcela_Gandara has joined.
01:41:11 -!- ^v has quit (Ping timeout: 264 seconds).
01:42:12 -!- ^v has joined.
01:56:29 <Cale> https://www.youtube.com/watch?v=LA_DrBwkiJA tom7 has done it again :D
02:03:56 -!- Marcela_Gandara has quit (Ping timeout: 246 seconds).
02:06:22 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:13:18 -!- Marcela_Gandara has joined.
02:14:03 -!- Akaibu has joined.
02:14:26 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
02:19:27 -!- Marcela_Gandara has changed nick to Marcela_-.
02:19:34 -!- Marcela_- has changed nick to Marcela_Gandara.
02:20:58 -!- Zarutian has quit (Quit: Zarutian).
02:22:45 -!- Marcela_Gandara has quit (Quit: Leaving.).
02:22:58 -!- Marcela_Gandara has joined.
02:29:51 -!- moony has quit (Remote host closed the connection).
02:32:31 -!- heroux has quit (Ping timeout: 258 seconds).
02:33:13 -!- heroux has joined.
02:45:26 -!- tromp has quit (Remote host closed the connection).
02:47:22 -!- tromp has joined.
03:00:49 -!- Marcela_Gandara has quit (Ping timeout: 240 seconds).
03:13:47 -!- hppavilion[1] has joined.
03:14:26 <hppavilion[1]> So that bill that lets companies sell your private data
03:14:35 <hppavilion[1]> I think I might have a solution (for us US residents)
03:15:14 <hppavilion[1]> Take the Ad Nauseam approach: Make a program that constantly scours the internet for bizarre content and use that so your data is worthless- almost none of it relates to you
03:17:27 <hppavilion[1]> Hm, wait
03:17:49 <hppavilion[1]> The Child Protection Act probably forbids them from distributing content like this, so any house with children might be safe.
03:20:41 <pikhq> The sad part is, the bill doesn't let companies sell your private data. It *stops the FCC* from stopping companies from selling your private data before the new regulations to that effect would go into effecct.
03:20:52 -!- LKoen_ has joined.
03:21:04 <pikhq> i.e. it doesn't quite change the status quo, it just went "Fuck, that regulation is clearly a bad idea."
03:22:29 -!- LKoen has quit (Ping timeout: 240 seconds).
03:49:03 <hppavilion[1]> pikhq: Oh, well yeah.
03:57:07 -!- LKoen_ has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
03:58:27 <hppavilion[1]> __del__( self ) : A blog.
04:24:19 -!- erkin has joined.
04:45:58 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
04:57:46 -!- Akaibu has quit (Quit: Connection closed for inactivity).
05:00:12 -!- hppavilion[1] has joined.
05:45:09 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
06:05:03 <zzo38> {-} Conspiracy ;; Double agenda ;; Permanents with each chosen name have protection from the other chosen name.
06:19:09 -!- oerjan has quit (Quit: Nite).
06:29:13 -!- tromp has quit (Remote host closed the connection).
06:38:59 -!- IronY has changed nick to desktopProjectY.
06:39:27 -!- desktopProjectY has changed nick to Ir0nY.
07:07:06 -!- hppavilion[1] has joined.
07:07:44 -!- Ir0nY has changed nick to IronY.
07:23:47 -!- ^v has quit (Ping timeout: 264 seconds).
07:28:38 -!- ^v has joined.
07:29:42 -!- tromp has joined.
07:31:42 -!- Gregor has quit (Quit: Coyote finally caught me).
07:33:59 -!- ^v has quit (Ping timeout: 264 seconds).
07:34:31 -!- tromp has quit (Ping timeout: 260 seconds).
07:35:00 -!- ^v has joined.
07:46:35 -!- ^v has quit (Ping timeout: 246 seconds).
07:47:03 -!- MoALTz has joined.
07:49:56 -!- ^v has joined.
08:22:15 -!- Gregor has joined.
08:29:50 -!- AnotherTest has joined.
08:45:04 <izabera> if you're developing a game with a fictional world
08:45:13 <izabera> and you have a character that looks like a koala
08:45:20 <izabera> is it racist to give it an australian accent?
08:57:29 <rdococ> it's a fictional world, does australia even exist?
08:57:43 <izabera> not in that world
08:57:59 <izabera> hence my question
08:59:35 -!- ^v has quit (Ping timeout: 256 seconds).
09:02:34 -!- ^v has joined.
09:11:38 -!- hppavilion[1] has set topic: It is officially the future as of now | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive phở testing, use #esoteric-blah.
09:15:10 -!- ^v has quit (Ping timeout: 260 seconds).
09:19:27 -!- ^v has joined.
09:22:29 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
09:41:47 -!- ^v has quit (Ping timeout: 264 seconds).
09:42:37 -!- ^v has joined.
10:01:47 -!- ^v has quit (Ping timeout: 258 seconds).
10:07:00 -!- ^v has joined.
10:11:23 <int-e> izabera: I'd say no; generally giving your characters certain accents isn't racist by itself in my view. (Note that, for example, Jar Jar Binks caused upset not because the particular accent was used, but because it was given to a very stupid (though incredibly lucky) character and people took offense at that stereotypical association.)
10:12:20 <shachaf> Smarter than a koala, though, I imagine.
10:13:03 <int-e> Heh, you're clearly not reading "A Girl and Her Fed"
10:18:45 <int-e> (Meet Speedy: http://agirlandherfed.com/1.96.html [warning, that strip's a remake and if you actually want to read the whole thing you'll have to deal with art that looks like http://agirlandherfed.com/1.98.html for some time.])
10:22:59 <int-e> (FWIW, treating a koala like a stupid little kid because he's a koala? That's racist ;-) )
10:24:24 <shachaf> What about a fictional species?
10:24:46 <shachaf> int-e: you should help me roll these sausages twh
10:26:27 <int-e> I've been distracted from Torment by Thistleweed Park.
10:27:18 <shachaf> Ah, I got the email about that the other day.
10:28:21 -!- Lord_of_Life has quit (Excess Flood).
10:28:58 <int-e> And somehow I ended up paying the full retail price (it's not more than $20 after all, for an adventure game! (technically, of course, it's €20 minus a future discount...))
10:28:59 -!- Lord_of_Life has joined.
10:29:41 -!- AnotherTest has quit (Ping timeout: 246 seconds).
10:30:51 -!- Lord_of_Life has quit (Excess Flood).
10:31:18 -!- tromp has joined.
10:31:29 -!- Lord_of_Life has joined.
10:32:08 <shachaf> Future discount?
10:34:17 <int-e> gog has regional pricing, but somehow tries to compensate for this by giving store credit for sales where the price in EUR is is the same amount as the price in USD.
10:34:41 <shachaf> Ah.
10:35:07 <shachaf> I don't know much I paid, but it was in 2014.
10:35:55 -!- tromp has quit (Ping timeout: 256 seconds).
10:38:49 -!- Lord_of_Life has quit (Excess Flood).
10:39:59 -!- Lord_of_Life has joined.
10:40:06 -!- zzo38 has quit (Ping timeout: 240 seconds).
10:56:54 -!- ^v has quit (Ping timeout: 260 seconds).
10:57:06 -!- zzo38 has joined.
10:58:06 -!- contrapumpkin has quit (Ping timeout: 260 seconds).
10:58:34 -!- ^v has joined.
11:05:19 -!- Lord_of_Life has quit (Excess Flood).
11:06:11 -!- ^v has quit (Ping timeout: 258 seconds).
11:09:46 -!- ^v has joined.
11:17:26 -!- ^v has quit (Ping timeout: 260 seconds).
11:20:53 -!- ^v has joined.
11:32:18 -!- LKoen has joined.
11:34:30 -!- contrapumpkin has joined.
11:37:39 -!- Phantom_Hoover has joined.
11:39:55 -!- ^v has quit (Ping timeout: 258 seconds).
11:41:23 -!- ^v has joined.
11:58:19 -!- ^v has quit (Ping timeout: 258 seconds).
12:02:45 -!- ^v has joined.
12:23:05 -!- ^v has quit (Ping timeout: 246 seconds).
12:25:58 -!- ^v has joined.
12:31:53 -!- tromp has joined.
12:35:53 -!- ^v has quit (Ping timeout: 258 seconds).
12:36:28 -!- tromp has quit (Ping timeout: 240 seconds).
12:36:54 -!- ^v has joined.
12:38:56 -!- idris-bot has joined.
12:39:09 -!- Melvar` has changed nick to Melvar.
12:53:31 -!- wob_jonas has joined.
13:33:26 -!- tromp has joined.
13:38:11 -!- tromp has quit (Ping timeout: 264 seconds).
13:39:34 -!- Zarutian has joined.
13:40:44 -!- Zarutian has quit (Read error: Connection reset by peer).
13:40:52 -!- Zarutian has joined.
13:53:59 -!- xkapastel has joined.
14:35:08 -!- tromp has joined.
14:39:35 -!- tromp has quit (Ping timeout: 256 seconds).
14:49:00 -!- s1feha has joined.
14:49:52 -!- s1feha has quit (Client Quit).
14:50:59 -!- S1 has joined.
14:52:02 -!- boily has joined.
15:00:13 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
15:10:39 -!- tromp has joined.
15:11:07 <boily> `wisdom
15:11:09 <HackEgo> guestbot//guestbot is nobody
15:15:02 <boily> fungot: 🍐
15:15:02 <fungot> boily: oy. i'll get to move around a subroutine pointer. getting rid of currying was not part of the game loop starts.
15:15:28 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
15:17:08 -!- Phantom_Hoover has joined.
15:17:08 -!- Phantom_Hoover has quit (Changing host).
15:17:08 -!- Phantom_Hoover has joined.
15:33:16 <wob_jonas> boily: re your question many days ago, the commands are `random-card and `card-by-name
15:33:51 <wob_jonas> the first one searches in the full text as listed in the Yawgatog-formatted oracle file, and prints a random matching card, the second one searches only at the start of the card name and prints all matches
15:34:11 <wob_jonas> `random-card infect
15:34:12 <HackEgo> Infectious Rage \ 1R \ Enchantment -- Aura \ Enchant creature \ Enchanted creature gets +2/-1. \ When enchanted creature dies, choose a creature at random Infectious Rage can enchant. Return Infectious Rage to the battlefield attached to that creature. \ JUD-U
15:34:12 <int-e> `cwlprits guestbot
15:34:19 <HackEgo> guestböt
15:34:35 <int-e> that entry seems kind of pointless
15:36:11 <wob_jonas> but it has two points on the o
15:36:46 <wob_jonas> no wait, that's the cwlprïts only
15:37:25 <rdococ> 'to' = 2; 'for' = 4; /eıt/ = 8; 'fuck' = 4k;
15:37:33 <int-e> `unidecode 
15:37:35 <HackEgo> U+F105 - No such unicode character name in database \ UTF-8: ef 84 85 UTF-16BE: f105 Decimal: &#61701; \  () \ Uppercase: U+F105 \ Category: Co (Other, Private Use) \ Bidi: L (Left-to-Right)
15:37:36 <rdococ> 4k is nothing but marketing crap confirmed
15:38:10 <int-e> `rm wisdom/guestbot
15:38:12 <HackEgo> No output.
15:38:58 <boily> wellob_jonas. tdh!
15:43:33 <boily> `random-card chicken
15:43:34 <HackEgo> Fowl Play \ 2U \ Enchant Creature \ Enchanted creature loses all abilities and is a 1/1 creature that counts as a Chicken. \ UG-C
15:43:44 <boily> :D
15:45:16 <int-e> nice flavor text, no pun intended: "I feel like chicken tonight!"
15:46:24 <rdococ> Everyone knows, when you put "no pun intended", that the pun is intended.
15:47:13 <boily> int-ello, rdochelloc.
15:47:17 <int-e> I wasn't actively looking for the pun, it just happened and I noticed.
15:48:41 <rdococ> But puns are never a bad thing.
15:49:59 * boily discreetly oils his mapole and gives it a few practice swings
15:54:18 * rdococ discretely takes some bamboo sticks and string to construct a bamboo shield.
15:54:21 <int-e> boily: I rather suspect that the pun was first made by the M:tG people.
15:55:10 * rdococ licks int-e. tastes like chicken.
15:59:18 <boily> int-e: I know, I have that card ^^
15:59:44 <boily> rdococ: please, no licking people in this chännel. there once was a guy called "ion" and he was licked into dissolution.
15:59:53 <boily> `? ion
15:59:54 <HackEgo> ion? ¯\(°​_o)/¯
16:00:09 <boily> even his wisdom disappeared...
16:05:47 <rdococ> Thanks for the valuable information. I'll keep that in mind if someone smacks me with a mapole, specimen of fish, or some other object.
16:06:08 <int-e> `` cd wisdom; echo *ion*
16:06:09 <HackEgo> abbreviation action algebraic chess notation auction bessel function cat elimination cat introduction cipation citation civilization companion cube composition cut elimination damnation defenestration dereduntantation detonation eurovision hallucination hppavilion hppavilion1 hppavilion[1] hppavilion[42] hppavilion^k hppavilion_m identity function
16:06:22 <int-e> maybe it bonded with some other ion
16:06:49 <rdococ> hipavil
16:06:59 <Taneb> `? algebraic chess notation
16:07:00 <HackEgo> Algebraic chess notation is not a notation for algebraic chess.
16:07:07 <Taneb> `? algebraic chess
16:07:08 <HackEgo> algebraic chess? ¯\(°​_o)/¯
16:07:16 <rdococ> `? cocat
16:07:17 <HackEgo> cocat? ¯\(°​_o)/¯
16:08:29 -!- LKoen has joined.
16:10:35 <boily> `grwp algebraic chess notation
16:10:36 <HackEgo> No output.
16:10:39 <boily> ...
16:11:00 <boily> `grwp pineapple
16:11:01 <HackEgo> anana:ananas is the real pineapple.
16:11:08 <boily> `grwp chess
16:11:09 <HackEgo> algebraic chess notation:Algebraic chess notation is not a notation for algebraic chess.
16:11:17 <boily> `? chess
16:11:18 <HackEgo> Chess is a complex boardgame, where players exchange unclear royal steaks until they decide which of them has lost. The game is recorded through the Gringmuth Moving Pineapple Notation.
16:15:07 -!- S1 has quit (Quit: Leaving).
16:22:08 -!- ^v has quit (Ping timeout: 246 seconds).
16:23:22 -!- ^v has joined.
16:27:58 <fizzie> `` mv wisdom/anana wisdom/ananas
16:28:00 <HackEgo> No output.
16:38:33 <Jafet> `? banana
16:38:34 <HackEgo> Bananananananana BATMAN!
16:48:59 -!- Lord_of_Life has joined.
16:53:38 -!- cAssAndre has joined.
16:58:28 <rdococ> Banatman
17:00:16 -!- cAssAndre has quit (Read error: Connection reset by peer).
17:01:23 -!- keemyb has quit (Quit: https://fnordserver.eu).
17:02:57 -!- ybden has quit (Ping timeout: 256 seconds).
17:04:02 -!- Lord_of_Life has quit (Excess Flood).
17:04:04 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
17:05:29 -!- Lord_of_Life has joined.
17:05:39 -!- ybden has joined.
17:08:53 -!- Lord_of_Life has quit (Excess Flood).
17:10:59 -!- Lord_of_Life has joined.
17:12:28 -!- contrapumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
17:28:57 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
17:37:00 -!- Lord_of_Life has quit (Excess Flood).
17:40:32 -!- contrapumpkin has joined.
17:41:49 -!- contrapumpkin has quit (Client Quit).
17:46:03 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
17:56:31 -!- ais523 has joined.
18:00:36 -!- ais523 has quit (Remote host closed the connection).
18:01:46 -!- ais523 has joined.
18:08:42 -!- ais523 has quit.
18:10:16 <Taneb> `? trace
18:10:17 <HackEgo> trace? ¯\(°​_o)/¯
18:17:00 <boily> Tanelle.
18:17:03 <boily> `? debug
18:17:04 <HackEgo> debug? ¯\(°​_o)/¯
18:21:40 <Taneb> Hello!
18:21:46 <Taneb> I was more referring to the trace of a matrix
18:31:40 <boily> can a matrix have a debug option?
18:34:04 <rdococ> tracing the Matrix...
18:34:41 <rdococ> fracing the Tatrix...
18:35:03 * boily mapoles rdococ into the next diagonal
18:35:56 * rdococ blocks with his bamboo shield
18:36:52 -!- trn has quit (Quit: quit).
18:37:12 * rdococ rolled a 1d6 at random.org... the result was 3
18:37:33 * rdococ successfully blocks the mapole, but the shield is close to breaking (and being delicious).
18:37:45 -!- contrapumpkin has joined.
18:38:17 <boily> https://en.wikipedia.org/wiki/Bamboo#Culinary
18:38:38 <boily> fungot: 2d12 + 1d8
18:38:39 <fungot> boily: programming is tough man to make a coffee while compiling) it only depends on case-sensitivity, otherwise it's trivially impossible
18:39:16 -!- contrapumpkin has quit (Client Quit).
18:39:42 <rdococ> hm
18:43:10 -!- contrapumpkin has joined.
18:44:01 <rdococ> contrapumpkin!
18:44:08 <rdococ> hm
18:44:25 <rdococ> something can be contradictory, but what does it mean for something to be dictory, or ntradictory?
18:49:46 <boily> ntra hth.
18:54:31 -!- nortti has quit (Ping timeout: 268 seconds).
18:54:37 -!- nortti has joined.
18:56:03 -!- DHeadshot has joined.
18:59:32 <rdococ> DHeadshot!
19:17:52 -!- augur has joined.
19:45:05 <Vorpal> hi
19:45:07 <Vorpal> Deewiant_: there?
19:45:33 -!- Deewiant_ has changed nick to Deewiant.
19:45:35 <Deewiant> Yes
19:46:15 <Vorpal> According to coverage tests I just did of cfunge running mycology, the tests for DATE never hit the "is not leapyear" case
19:47:31 <Deewiant> Depends on the instruction you're looking at I guess
19:47:54 <Vorpal> Ah wait, it never hits the "isn't leap year due to the 100 year rule"
19:48:03 <Vorpal> in the shared is_leap_year function
19:48:21 <Vorpal> https://codecov.io/gh/VorpalBlade/cfunge/src/fd1d838ab7198c63380450c620fc4026b04a30e9/src/fingerprints/DATE/DATE.c#L87
19:48:27 <Deewiant> Right
19:48:48 <Vorpal> nor is feb ever 28 days long in any tests
19:49:25 <rdococ> February the 29th is happy somecode cares about it
19:52:02 <int-e> "handle year 0" is cute.
19:52:37 <int-e> what about years 1 to 1582?
19:53:00 <zzo38> I think year 0 is the same as 1 BC isn't it?
19:53:12 <zzo38> (and then year -1 is 2 BC, and so on)
19:53:16 <Vorpal> int-e: I think it is a RCFunge fingerprint so it is probably badly specified
19:53:39 <Vorpal> int-e: also not all countries switched then, so you would /have/ to know which country it is in
19:54:03 <int-e> Vorpal: I know. Russia switched in 1917, was it the last one?
19:54:04 <Vorpal> it is easier and saner to suggest using the proleptic Gregorian calendar
19:54:21 <Vorpal> int-e: look up how Sweden switched, it is really insane
19:55:45 <int-e> oh, I guess zzo38 has it right. it's moving -1, encoding 1 BC, to 0.
19:55:51 -!- hppavilion[1] has joined.
19:56:42 <zzo38> I think Dee wanted to switch to Gregorian calendar gradually, even though most of the royals did not like Gregorian calendar because is from the pope, but actually should have the benefit of its own idea, regardless who invented it (although, since the pope invented it, is why to call Gregorian)
19:57:02 <Vorpal> Dee?
19:57:51 <zzo38> John Dee
19:57:53 <Vorpal> zzo38: Deewiant: http://rcfunge98.com/rcsfingers.html#DATE
19:58:07 <Vorpal> err int-e ^
19:58:13 <Vorpal> "Gregorian calendar is assumed for calendar dates"
20:03:49 <rdococ> hm
20:09:34 -!- Marcela_Gandara has joined.
20:14:15 <int-e> Vorpal: yeah I have to admit I was misled by the comment
20:14:51 <Vorpal> int-e: did you look up how Sweden did the fixing?
20:14:57 <Vorpal> err change
20:15:16 <Vorpal> https://en.wikipedia.org/wiki/Swedish_calendar
20:16:55 <int-e> I may have seen this before.
20:18:12 <int-e> (yes, I have; the occasion being the mystery of the Februrary 30th date.)
20:18:30 <int-e> But thanks for the reminder, I had mostly forgotten about it.
20:20:06 <Vorpal> Also, what about the Arabic calendar?
20:20:14 <Vorpal> don't they have a completely different year?
20:23:59 <int-e> a lunar one, apparently
20:24:21 <fizzie> Thailand has a solar calendar that's got a different year.
20:24:33 <fizzie> Made reading "best before" dates on products a bit challenging.
20:24:40 <rdococ> gtg
20:24:53 <fizzie> "Years are now counted in the Buddhist Era (B.E.): พุทธศักราช, พ.ศ., rtgs: Phutthasakkarat) which is 543 years ahead of the Christian/Common Era." https://en.wikipedia.org/wiki/Thai_solar_calendar
20:25:23 <rdococ> Why not just count from today?
20:25:34 <rdococ> Today is the 1st of Firstmoon, 1.
20:25:37 <rdococ> gtg
20:26:03 -!- Marcela_Gandara has quit (Ping timeout: 240 seconds).
20:26:29 <fizzie> ("Different year" as in the number is different, the definition is the same.)
20:27:16 <Vorpal> fizzie: same rule for leap year as Gregorian then?
20:28:52 <fizzie> I believe so, though of course with an offset in the divisible by 4/100/400 bit. And they adjusted the day the year starts at one point, so there's one short year.
20:30:01 <Vorpal> the problem with code coverage for cfunge is there is a lot of "if (!x()) { ip_reverse(); return; } style of thing for OOM conditions and such
20:30:25 <hppavilion[1]> Has everybody here preordered their Google Gnome yet?
20:30:32 <hppavilion[1]> Or, in this channel, Google GNOME?
20:30:41 <Vorpal> hppavilion[1]: seen the video
20:30:54 <fizzie> I was thinking of just converting a Home with a paper hat.
20:31:08 <fizzie> (Also don't have a garden.)
20:33:21 <fizzie> The Finnish national railway operator (VR) and the national gambling monopoly company (Veikkaus) had a joint April Fool's joke about how you'll be able to start betting (for money) whether the trains run on time or not.
20:33:52 <fizzie> Tries a little too hard to be self-deprecating, but.
20:34:31 <fizzie> I guess technically every time you buy a ticket you're already doing that, because there's a refund if there's a long enough delay.
20:39:13 <Vorpal> fizzie: well, what are the odds on a refund?
20:39:25 <Vorpal> I guess you never get more than you put in?
20:39:30 <shachaf> Why is betting typically illegal in the US?
20:40:33 <zzo38> I have implemented Gregorian, Julian, and Discordian calendars, in TeX.
20:40:37 <fizzie> Vorpal: Yeah, the statutory one can't exceed the price you paid for the tickets. There's different tiers depending on how late they are.
20:40:57 <fizzie> Vorpal: Virgin Trains in UK gave us back more money than we paid, though.
20:41:07 <Vorpal> fizzie: oh? really?
20:41:38 <fizzie> I don't know why, they're supposed to just do the usual refunds, but they sent us back a very apologetic letter with a £50 voucher.
20:41:48 <fizzie> We'd paid something like £34 or somewhere in that ballpark.
20:43:01 <fizzie> The other time they just refunded the bank account of the debit card I had paid with, completely proactively before we could even do a claim.
20:43:11 <zzo38> Do you know? In the next Magic: the Gathering they say there is now embalming. It is activated ability of a card in a graveyard, which exiles that card and creates a token copy which is white instead of the card's colors, a Zombie in addition to the card's subtype, and lacks the card's mana cost.
20:43:58 -!- Marcela_Gandara has joined.
20:49:33 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
21:11:28 -!- ^v has quit (Ping timeout: 258 seconds).
21:13:04 -!- augur has quit (Remote host closed the connection).
21:15:09 -!- ^v has joined.
21:23:55 -!- xkapastel has quit (Quit: Connection closed for inactivity).
21:30:59 -!- Lord_of_Life has joined.
21:32:51 -!- Lord_of_Life has quit (Changing host).
21:32:51 -!- Lord_of_Life has joined.
21:32:51 -!- Lord_of_Life has quit (Changing host).
21:32:51 -!- Lord_of_Life has joined.
21:37:36 -!- DHeadshot has quit (Ping timeout: 240 seconds).
21:56:05 -!- AnotherTest has joined.
22:01:00 <HackEgo> [wiki] [[WysiScript]] N https://esolangs.org/w/index.php?oldid=51635 * B jonas * (+580) Created page with "'''WysiScript''' is a programming language in which programs are formatted (rich) text, and that completely ignores the characters in the input, caring only about their format..."
22:05:24 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=51636&oldid=51624 * B jonas * (+17)
22:25:57 -!- Marcela_Gandara has quit (Ping timeout: 256 seconds).
22:30:14 -!- Marcela_Gandara has joined.
22:44:03 -!- Marcela_Gandara has quit (Ping timeout: 240 seconds).
22:49:03 -!- Zarutian has quit (Ping timeout: 240 seconds).
22:53:49 -!- AnotherTest has quit (Ping timeout: 240 seconds).
23:08:14 -!- erkin has joined.
23:12:21 -!- DHeadshot has joined.
23:12:47 <boily> `wisdom
23:12:48 <HackEgo> partial order//A partial order is just a small thin skeletal category.
23:13:06 <boily> . o O ( are there thick skeletons? )
23:13:23 <shachaf> Of course.
23:17:11 <boily> helloochaf. skeletal pooches.
23:18:40 <zzo38> I think I noticed that too about partial order, before
23:21:47 <Phantom_Hoover> was it someone in #esoteric who did the printable binary
23:23:20 <zzo38> Someone on here mentioned it, but I think Tom 7 made that program.
23:24:01 <Cale> `smlist
23:24:01 <HackEgo> smlist: shachaf monqy elliott mnoqy Cale
23:24:09 <Cale> http://www.supermegacomics.com/index.php?i=452
23:26:21 -!- DHeadshot has quit (Ping timeout: 260 seconds).
23:32:43 -!- LKoen has joined.
23:33:08 <shachaf> `thanks Cale
23:33:08 <HackEgo> Thanks, Cale. Thale.
23:33:27 -!- MoALTz has quit (Quit: Leaving).
23:39:48 <quintopia> helloily happy saturday
23:57:03 -!- ais523 has joined.
23:58:11 -!- oerjan has joined.
23:58:23 <quintopia> helloerjan
23:58:36 <quintopia> holais523
23:58:49 <oerjan> hellopia
23:59:22 -!- hppavilion[1] has joined.
←2017-03-31 2017-04-01 2017-04-02→ ↑2017 ↑all