←2016-01-21 2016-01-22 2016-01-23→ ↑2016 ↑all
00:03:54 -!- Lord_of_Life has quit (Excess Flood).
00:05:06 -!- Lord_of_Life has joined.
00:05:18 <boily> hellochaf. something that is a stack, but also an array?
00:05:59 <shachaf> Maybe it's https://i.ytimg.com/vi/MMDo1czqcto/hqdefault.jpg
00:18:31 -!- Sgeo has joined.
00:31:19 <hppavilion[1]> shachaf: xD
00:31:49 <hppavilion[1]> shachaf: Oh... oh god
00:31:54 <hppavilion[1]> I just opened the link
00:32:43 <\oren\_> let F:ℕ→ℕ be the function that takes a natural number, decomposes it into primes p₁,p₂… exponents n₁,n₂…, then returns p₂^n₁*p₃^n₂*⋯.
00:32:54 <\oren\_> then what the fuck have I invented
00:33:32 <hppavilion[1]> \oren\_: The OH MY GOD I THOUGHT I WAS JUST DOING IDENTITY function?
00:33:53 <\oren\_> letF(1)=2,F(2)=3 F(3)=5 F(4)=
00:34:47 <\oren\_> let's see: F(4)=9 F(5)=7 F(6)=15 F(7)=11 F(8)=27
00:36:29 <\oren\_> F(9)=25 F(10)=21 F(11)=13 F(12)=45
00:36:53 <hppavilion[1]> \oren\_: Just write a program to do it for you
00:38:09 <mauris> \oren\_: ... * p_1^n_k ?
00:38:17 <\oren\_> no
00:38:49 <fizzie> Oh, you mean p_i is the i'th prime overall.
00:38:51 <boily> writing programs is for quitters. real men do it by hand!
00:38:55 <\oren\_> fizzie: yah
00:38:56 <fizzie> Not just the i'th prime in the decomposition.
00:39:19 <\oren\_> yah, that's why F(12) is 45
00:39:25 <mauris> i wouldn't say F(1)=2 then
00:39:45 <\oren\_> what would it be
00:39:48 <mauris> 1
00:39:56 <mauris> cause all the exponents are 0
00:40:04 <\oren\_> oh, right
00:40:38 <fizzie> It seems to be A003961.
00:42:27 <hppavilion[1]> @oeis A003961
00:42:29 <lambdabot> Fully multiplicative with a(p(k)) = p(k+1) for k-th prime p(k).[1,3,5,9,7,15...
00:42:58 <\oren\_> yah, that's true for this
00:43:13 <\oren\_> and I guess that fully defines the sequence then
00:43:45 <\oren\_> cool
00:54:53 -!- Warrigal has quit (Remote host closed the connection).
01:00:50 -!- bender| has joined.
01:01:02 -!- Warrigal has joined.
01:17:25 <hppavilion[1]> Hi, bender|!
01:18:44 <hppavilion[1]> Perhaps I should invent a "formal illogic"
01:18:55 -!- Warrigal has changed nick to tswett.
01:19:56 <hppavilion[1]> A program called "WTFP" ("What the formal proof")
01:20:04 <hppavilion[1]> That implements an entirely foreign sort of math
01:32:57 <hppavilion[1]> Basically, Coq for Surrealist Mathematicians
01:33:16 <ais523> I guess you start with formal logic and change some of the axioms/rules
01:33:22 <ais523> I'm not sure which ones though
01:33:56 <hppavilion[1]> ais523: How about something stranger than that? xD
01:34:22 <ais523> hppavilion[1]: well I'm trying to think of a way to change even one rule in a way that doesn't cause the whole thing to fail spectacularly
01:34:23 <hppavilion[1]> The #esoteric principal: "Too normal, moving on"
01:34:24 <ais523> other than just removing it
01:34:42 <hppavilion[1]> ais523: Fair point. Perhaps something other than a logic?
01:48:49 <boily> tswett: warrigello.
01:51:49 <lifthrasiir> probably not as obscure though
01:59:01 <ais523> hmm, I guess if you remove exchange but keep all the others
01:59:10 <ais523> which is /not/ a standard form of substructural logic
01:59:14 <ais523> you end up with some sort of stack-based logic
01:59:29 <ais523> even then, though, it's still a subset of "regular" logic
02:03:31 -!- hppavilion[2] has joined.
02:06:22 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
02:06:48 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:13:08 -!- hppavilion[2] has quit (Ping timeout: 265 seconds).
02:36:14 -!- boily has quit (Quit: BRAZEN CHICKEN).
02:40:52 -!- andrew has joined.
03:03:04 -!- Froox has joined.
03:06:04 -!- Frooxius has quit (Ping timeout: 276 seconds).
03:43:16 -!- lleu has quit (Quit: That's what she said).
04:23:15 -!- mauris has quit (Read error: Connection reset by peer).
04:25:24 -!- hppavilion1 has joined.
04:25:27 -!- hppavilion1 has changed nick to hppavilion[1].
04:25:36 <hppavilion[1]> http://qr.ae/RgfZ50
04:33:12 <izabera> :)
04:39:39 <hppavilion[1]> What kind of languages does the world need for serious usage? Ones that could draw on Esotericism?
04:40:51 <lifthrasiir> hppavilion[1]: Ithkuil.
04:41:04 <hppavilion[1]> lifthrasiir: ...?
04:41:24 <lifthrasiir> ah, sorry; were you asking for *programming* languages?
04:44:52 <hppavilion[1]> lifthrasiir: Yes xD
04:45:21 <hppavilion[1]> lifthrasiir: Something that fits a niche area, sort of like what PHP does. In fact, an acceptable answer would be "PHP, but good"
04:51:00 <FreeFull> Picat?
04:51:46 <hppavilion[1]> FreeFull: ?
04:54:09 <hppavilion[1]> What are <? and ?> called in XML?
04:59:52 <FreeFull> http://picat-lang.org/
04:59:57 <FreeFull> hppavilion[1]: Dunno about <? and ?>
05:02:59 <hppavilion[1]> FreeFull: I'm getting info on #python
05:03:08 <hppavilion[1]> FreeFull: They recommend I just don't do that
05:04:23 <FreeFull> Use <? ?>?
05:05:29 <hppavilion[1]> FreeFull: Yes
05:22:23 <FreeFull> Picat is a pretty cool language
05:50:36 <hppavilion[1]> FreeFull: Picat is pretty, but isn't anything like Cool
06:09:00 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
07:07:14 -!- hppavilion[1] has joined.
07:28:59 -!- andrew has quit (Ping timeout: 264 seconds).
07:34:22 <hppavilion[1]> FreeFull: I just noticed Picat's logo
08:13:21 -!- Froox has quit (Quit: *bubbles away*).
08:13:43 -!- Frooxius has joined.
08:58:39 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
09:14:12 -!- gniourf has quit (Ping timeout: 272 seconds).
09:28:58 -!- gniourf has joined.
09:30:21 <fizzie> I'm not sure <? ?> themselves have a name, but the syntactical construct of XML that uses them is called a "processing instruction" (PI).
09:32:50 <fizzie> PI ::= '<?' PITarget (S (Char* - (Char* '?>' Char*)))? '?>'
09:33:23 <fizzie> (The XML declaration at the start of the document might technically not be one.)
09:36:49 -!- andrew_ has joined.
11:16:40 -!- kline has quit (Ping timeout: 244 seconds).
11:20:16 -!- andrew_ has quit (Ping timeout: 265 seconds).
11:28:09 -!- kline has joined.
11:30:47 -!- oerjan has joined.
11:35:26 -!- boily has joined.
11:35:56 -!- andrew_ has joined.
11:37:10 <oerjan> bhoily
11:43:46 <boily> hellørjan!
12:07:23 -!- LexiciScriptor has joined.
12:09:42 -!- andrew_ has quit (Remote host closed the connection).
12:09:51 <HackEgo> [wiki] [[111]] https://esolangs.org/w/index.php?diff=46247&oldid=41639 * LexiciScriptor * (+151) added implementation
12:13:12 <Taneb> Why does the topic use at least two different ff ligatures
12:20:31 <oerjan> Taneb: it uses an ff and an ffi ligature
12:20:48 <oerjan> oh and ffl
12:20:53 <Taneb> Aaaaah
12:21:02 <Taneb> The one in fluffy seems a lot bigger to me
12:21:19 <Taneb> Might be a font issue
12:21:27 <Taneb> I'mm not exactly using Computer Modern to IRC
12:21:55 <oerjan> if you're using monospaced font like i, then it's just because it's the only one which is just 2 chars squeezed and not 3
12:23:26 <oerjan> WHY YOU HAVE TWO CLIENTS
12:23:53 <Taneb> Only two?
12:23:57 <Taneb> Huh, I'm slipping
12:24:05 <Taneb> oerjan: I left IRC open on my desktop
12:24:25 <Taneb> I'm using CIRC right now (which is terrible don't use it)
12:24:45 <oerjan> oh so this znc thing is a damn-i've-forgotten-the-word
12:25:13 <oerjan> is it bouncer
12:26:03 <Taneb> Yes
12:26:08 <Taneb> znc is a bouncer
12:26:15 <Taneb> I am using HexChat on my desktop
12:26:19 <Taneb> And CIRC on my Chromebook
12:28:44 -!- boily has quit (Quit: CTHONIC CHICKEN).
12:45:52 -!- LexiciScriptor has quit (Quit: LexiciScriptor).
13:08:57 -!- contrapumpkin has changed nick to copumpkin.
13:48:35 -!- ais523 has quit.
14:18:52 -!- `^_^v has joined.
14:36:51 -!- oerjan has quit (Quit: Gah noise).
14:43:13 -!- p34k has joined.
14:45:29 -!- p34k has quit (Client Quit).
14:50:49 -!- LexiciScriptor has joined.
14:53:50 <Taneb> I forgot this rush
14:54:10 <Taneb> The rush I get when programming using something I'm not used to
15:00:28 <\oren\_> that's 'learning' isnt it
15:03:08 <HackEgo> [wiki] [[Brainfuck algorithms]] M https://esolangs.org/w/index.php?diff=46248&oldid=42784 * YoYoYonnY * (+139) /* String to byte */
15:05:32 <HackEgo> [wiki] [[Brainfuck]] M https://esolangs.org/w/index.php?diff=46249&oldid=46095 * YoYoYonnY * (+22) /* Extensions */
15:06:43 <Taneb> \oren\_, sort of
15:10:36 -!- mauris has joined.
15:13:17 <Taneb> Using a language with poor debugging facility
15:13:43 <Taneb> Very fun when things go wrong
15:16:08 <Taneb> Especially as the language is non-deterministic
15:25:07 <HackEgo> [wiki] [[Brainfuck]] https://esolangs.org/w/index.php?diff=46250&oldid=46249 * YoYoYonnY * (+832) Added conventions
16:05:34 -!- augur has quit (Remote host closed the connection).
16:12:12 -!- J_Arcane has quit (Ping timeout: 265 seconds).
16:18:12 -!- Lord_of_Life has quit (Excess Flood).
16:20:36 -!- Lord_of_Life has joined.
16:26:59 -!- augur has joined.
16:27:43 -!- nycs has joined.
16:29:36 -!- `^_^v has quit (Ping timeout: 265 seconds).
16:31:08 -!- rifter has quit (Quit: Leaving).
16:31:26 -!- lleu has joined.
16:31:39 -!- rifter has joined.
16:31:56 -!- p34k has joined.
16:46:56 -!- J_Arcane has joined.
16:52:20 -!- spiette has joined.
16:58:40 -!- bb010g has quit (Quit: Connection closed for inactivity).
17:05:50 -!- J_Arcane has quit (Ping timeout: 256 seconds).
17:10:39 -!- ski has joined.
17:30:52 -!- vanila has joined.
17:38:17 -!- LexiciScriptor has quit (Quit: LexiciScriptor).
17:52:47 -!- LexiciScriptor has joined.
17:54:22 -!- hppavilion[1] has joined.
18:05:29 -!- augur has quit (Remote host closed the connection).
18:07:14 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
18:16:33 -!- augur has joined.
18:17:05 -!- augur has quit (Read error: Connection reset by peer).
18:17:28 -!- augur has joined.
18:17:51 -!- hppavilion1 has joined.
18:18:27 -!- FreeFull has quit (Quit: Rebooŧ).
18:20:29 -!- FreeFull has joined.
18:22:10 -!- augur has quit (Ping timeout: 245 seconds).
18:25:12 -!- augur has joined.
18:29:39 <hppavilion1> call/cc in CL?
18:34:36 -!- Phantom_Hoover has joined.
18:34:37 <Phantom_Hoover> rl
18:42:31 -!- hppavilion1 has quit (Ping timeout: 265 seconds).
19:05:19 -!- hppavilion1 has joined.
19:10:27 -!- hppavilion1 has changed nick to hppavilion[1].
19:15:13 <izabera> meanwhile in italy, a building collapsed, several people died, one of them was a black woman
19:15:26 <izabera> racist priest refused to bless her coffin
19:17:09 * coppro is in DLL hell
19:17:37 <vanila> can you link a news article?
19:17:53 <LexiciScriptor> she was from morocco
19:17:56 <izabera> http://www.leggo.it/NEWS/ITALIA/don_angelo_chizzolini_rifiuta_benedire_marocchina_morta_foto/notizie/1803417.shtml sorry it's in italian
19:17:59 <LexiciScriptor> not black
19:18:03 <izabera> oh
19:18:04 <vanila> thanks
19:18:19 <LexiciScriptor> but the news is true
19:19:09 <LexiciScriptor> then you read this comment "Ha Fatto bene,perché poi bisogna benedire una non cristiana?fosse successo in Marocco la salma l'avrebbero buttata a mare"
19:19:23 <izabera> idiots
19:20:08 <vanila> i cant beleive this still happening in 2016
19:20:20 -!- bb010g has joined.
19:20:29 <mauris> LexiciScriptor: can you give a rough translation?
19:20:45 <mauris> something like "why bless a non-christian"?
19:21:05 <LexiciScriptor> "the priest did good, why bless a non christian"
19:21:06 <izabera> "good, you don't bless non cristians. it this happened in morocco they'd have thrown her in the sea"
19:21:34 <vanila> "blessing" doesn't do anything
19:21:43 <vanila> he's just being a dickhead
19:21:56 <vanila> everyone sould stop going to his church
19:25:32 -!- XorSwap has joined.
19:27:01 -!- XorSwap has quit (Read error: Connection reset by peer).
19:27:28 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
19:30:20 -!- hppavilion[1] has joined.
19:31:06 -!- Sprocklem has quit (Ping timeout: 250 seconds).
19:32:29 <shachaf> tromp_: I saw your article this morning. TG
19:32:57 -!- zzo38 has joined.
19:33:15 -!- heroux has quit (Ping timeout: 240 seconds).
19:34:51 <tromp_> what's TG?
19:35:15 <shachaf> Too Good
19:35:22 <vanila> nice go counting tromp
19:35:37 <shachaf> Yep.
19:35:43 <shachaf> way to go!
19:37:38 -!- Sprocklem has joined.
19:38:50 -!- Sprocklem has quit (Client Quit).
19:40:22 <zzo38> I received the next issue of 2600 and I do not know why they have latitude/longitude listed on every one and some circular diagram with dots with numbers
19:40:45 <vanila> maybe its geocaching
19:42:05 <zzo38> Possibly?
19:42:34 <zzo38> I realized what else I need to add into Magic: the Puzzling: Codex, which is I need to add rules for timestamps of objects.
19:45:22 <HackEgo> [wiki] [[EsoKit]] https://esolangs.org/w/index.php?diff=46251&oldid=46216 * Hppavilion1 * (+662) EsoKit.ek toplevel functions (for NSIs)
19:45:43 <hppavilion[1]> tromp_: What article?
20:00:38 <tromp_> http://tromp.github.io/go/legal.html
20:01:16 <tromp_> Hacker News thread discussion at https://news.ycombinator.com/item?id=10950875
20:03:21 <int-e> heh, I visited that page about a week ago and was wondering when you'd finish :)
20:03:24 <int-e> congrats!
20:03:38 <tromp_> thanks!
20:13:17 -!- quintopi1 has changed nick to quintopia.
20:13:35 -!- quintopia has quit (Changing host).
20:13:35 -!- quintopia has joined.
20:14:21 <fizzie> TG = Turing-gomplete.
20:25:08 <quintopia> nice work mr. tromp. always fun to see people throwing massive compute resources at finding useless numbers
20:28:02 <vanila> it has a lot of applications
20:49:24 -!- hppavilion[1] has quit (Read error: Connection reset by peer).
20:49:54 -!- hppavilion[1] has joined.
20:54:58 -!- jaboja has joined.
20:56:24 -!- vodkode has changed nick to EasyAsShlt.
21:06:33 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
21:12:53 -!- spiette has quit (Quit: :qa!).
21:20:40 -!- jaboja has quit (Ping timeout: 276 seconds).
21:38:45 <HackEgo> [wiki] [[THRAT]] https://esolangs.org/w/index.php?diff=46252&oldid=35524 * 50.152.193.163 * (-3) Name is Mate Varga, not Matthew
21:43:20 -!- heroux has joined.
21:50:24 -!- nycs has quit (Quit: This computer has gone to sleep).
22:05:48 -!- heroux has quit (Ping timeout: 250 seconds).
22:07:28 -!- MoALTz has quit (Quit: Leaving).
22:14:43 -!- heroux has joined.
22:23:57 -!- MoALTz has joined.
22:44:33 <shachaf> `olist 1020
22:44:46 <shachaf> HackEgo: you're so slow
22:44:51 <shachaf> i want to switch windows to read the olist
22:44:56 <HackEgo> olist 1020: shachaf oerjan Sgeo FireFly boily nortti b_jonas
22:48:41 -!- bb010g has quit (Quit: Connection closed for inactivity).
22:51:15 -!- LexiciScriptor has quit (Quit: LexiciScriptor).
22:53:38 <HackEgo> [wiki] [[Special:Log/newusers]] create * Erinius * New user account
22:54:11 -!- yorick has quit (Quit: quit.).
22:56:42 -!- yorick has joined.
22:56:42 -!- yorick has quit (Changing host).
22:56:42 -!- yorick has joined.
22:59:23 <HackEgo> [wiki] [[Talk:Minebit]] N https://esolangs.org/w/index.php?oldid=46253 * Erinius * (+149) Created page with "== Finite Memory == This page says that Minebit can only have finite memory. But can't its memory and program length be extended as long as you want?"
23:02:24 -!- boily has joined.
23:20:46 -!- J_Arcane has joined.
23:39:53 <zzo38> This new issue of 2600 includes stuff about problems with open source hardware, which I agree with even before they have written about it in 2600 I have realized these problems. However, it is possible to make true open source hardware too
23:41:15 <vanila> im worried because there isn't enough open source hardware
23:46:43 -!- hppavilion[1] has joined.
23:46:50 <hppavilion[1]> I'm trying to figure out Cheese Theory
23:49:18 <boily> 2600 still exists?
23:49:26 <boily> hppavellon[1]. eh?
23:51:06 <hppavilion[1]> boily: It's the formal study of self-modifying, reflective, meta-circular interpreters and the languages that utilize them
23:51:24 <boily> ah. Cheese languages.
23:51:25 <hppavilion[1]> boily: Alternatively, it's me trying to mathematicalize Mascarpone