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: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:38:09 <mauris> \oren\_: ... * p_1^n_k ?
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: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:56 <mauris> cause all the exponents are 0
00:40:38 <fizzie> It seems to be 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:43:13 <\oren\_> and I guess that fully defines the sequence then
00:54:53 -!- Warrigal has quit (Remote host closed the connection).
01:00:50 -!- bender| has joined.
01:01:02 -!- Warrigal has joined.
01:18:55 -!- Warrigal has changed nick to tswett.
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: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:29 <lifthrasiir> ais, hppavilion[1]: well, start with http://us.metamath.org/mpegif/meredith.html ?
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:39:39 <hppavilion[1]> What kind of languages does the world need for serious usage? Ones that could draw on Esotericism?
04:41:24 <lifthrasiir> ah, sorry; were you asking for *programming* languages?
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:59:57 <FreeFull> hppavilion[1]: Dunno about <? and ?>
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).
08:13:21 -!- Froox has quit (Quit: *bubbles away*).
08:13:43 -!- Frooxius has joined.
08:54:48 -!- Invitada- has joined.
08:58:05 -!- Invitada- has left.
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.
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: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: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: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: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: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:00:41 -!- invitada- 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:07:30 -!- invitada- has quit (Read error: Connection reset by peer).
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:34:36 -!- Phantom_Hoover has joined.
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:37 <vanila> can you link a news article?
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: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: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: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:35:22 <vanila> nice go counting tromp
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: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)
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:13:17 -!- quintopi1 has changed nick to quintopia.
20:13:35 -!- quintopia has quit (Changing host).
20:13:35 -!- quintopia has joined.
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: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: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
23:51:51 <zzo38> Yes 2600 still exists
23:52:02 <vanila> https://esolangs.org/wiki/Cheese
23:52:14 <zzo38> And yes there isn't enough open source hardware although the problem mentioned here is a different kind of problem
23:54:00 <hppavilion[1]> Terp :: (String -> Env -> Env, String -> Op -> Terp -> Terp)
23:56:10 -!- augur has quit (Read error: Connection reset by peer).
23:56:24 -!- augur has joined.
23:56:26 <hppavilion[1]> The first item in the Terp tuple is the getins function, which takes a string and returns a function that takes the environment and returns the new environment
23:57:19 <hppavilion[1]> The second item is the takeins function, which takes an instruction name, an operation that that instruction performs, and an interpreter, and it returns a new interpreter with that instruction string (re)defined to the operation