←2020-07-30 2020-07-31 2020-08-01→ ↑2020 ↑all
00:12:54 <zzo38> Now I think the icon fonts is working. (I used the suggestion mentioned here to make the icon fonts to be vector fonts; the raster data will be recorded when the icon font is loaded.)
00:13:44 <zzo38> (For pure monochrome icons, normal fonts probably will work better, I think.)
00:14:02 -!- xelxebar has quit (Remote host closed the connection).
00:14:21 -!- xelxebar has joined.
00:17:59 <zzo38> Does ais523 know how to make icon of card game they were designing (if any icons should be needed)?
00:20:26 -!- imode has joined.
00:45:01 -!- Soni has quit (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.).
00:47:18 -!- Soni has joined.
00:51:03 -!- Arcorann has joined.
00:56:52 -!- Cale has quit (Ping timeout: 260 seconds).
01:16:35 <zzo38> I have a idea of a Magic: the Gathering card which can have "protection from cards".
01:19:21 <zzo38> (or, which grants protection from cards to enchanted permanent, maybe)
01:19:31 -!- Cale has joined.
01:58:19 <shachaf> If every year you get returns of r on your money and then save 1 money, then after n years you have f^n(0), where f(x) = rx + 1. This is (r^n - 1)/(r - 1)
01:58:31 <shachaf> Is there a nice way to see why the ratio of "returns after n years - 1" to "returns after one year - 1" is this value?
02:07:36 <Cale> https://www.youtube.com/watch?v=HIEWgwRrY9s
02:08:33 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
02:09:09 <Cale> I find it easier to think about in terms of the fact that 1/(1-r) = 1 + r + r^2 + ...
02:09:45 <shachaf> Yes, you can phrase it as (1 - r^n)/(1 - r)
02:10:10 <Cale> Yeah, or (1/(1-r)) - r^n * (1/(1-r))
02:10:21 <shachaf> Right.
02:10:34 <Cale> But yeah, I'm not sure about the ratio thing
02:10:36 <shachaf> Another thing you can do when r is an integer is to say that 1+r+r^2+...+r^n is the number "111...111" in base r
02:11:16 <shachaf> 111...111 = 999...999/9 = (10^n - 1)/(10 - 1)
02:11:49 -!- Lord_of_Life has joined.
02:12:07 -!- Phantom__Hoover has joined.
02:12:10 <shachaf> (Maybe n is off by 1 here.)
02:12:26 <int-e> there's the telescoping trick
02:13:05 <int-e> (10-1)*11111 = 111110-11111 = 100000-1.
02:13:39 <esowiki> [[User:ZippyMagician/Ideas]] https://esolangs.org/w/index.php?diff=76352&oldid=76336 * ZippyMagician * (+2292) Re-add
02:14:40 <int-e> or, properly written: sum_{0 <= i < n} x^i = 1/(x-1) sum_{0 <= 0 < n} x^(i+1) - x^i =[telescoping happens here]= (x^n - 1)/(x-1)
02:16:26 <shachaf> What is telescoping?
02:16:55 <shachaf> I'm still curious about the "ratio of return-1s". What should I be expecting that kind of thing to mean?
02:18:14 <shachaf> Cale: No kids and three money sounds pretty good.
02:18:49 -!- Phantom__Hoover has quit (Ping timeout: 256 seconds).
02:19:36 <int-e> shachaf: telescoping is when one half of a term in a series cancels with the other half of the next term. https://en.wikipedia.org/wiki/Telescoping_series
02:20:10 <shachaf> Oh, it's an actual term to look up, I didn't realize.
02:20:17 <int-e> here x^(k+1) (for i = k) and -x^(k+1) (for i = k+1)
02:43:22 -!- adu has joined.
03:12:57 -!- xelxebar_ has joined.
03:13:23 -!- xelxebar has quit (Ping timeout: 240 seconds).
03:42:26 -!- Lord_of_Life_ has joined.
03:43:45 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
03:43:46 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
04:00:20 -!- adu has quit (Quit: adu).
04:25:09 -!- t20kdc has joined.
05:31:04 -!- sprocklem has quit (Ping timeout: 256 seconds).
05:37:35 -!- sprocklem has joined.
07:22:25 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
07:35:33 -!- Frater_EST has joined.
07:46:06 -!- imode has quit (Ping timeout: 260 seconds).
08:04:26 -!- xelxebar_ has quit (Quit: ZNC 1.7.2+deb3 - https://znc.in).
08:04:26 -!- hendursa1 has joined.
08:05:13 -!- cpressey has joined.
08:06:19 -!- hendursaga has quit (Ping timeout: 240 seconds).
08:06:19 -!- xelxebar has joined.
08:07:21 -!- kritixilithos has joined.
08:33:13 -!- b_jonas has quit (Quit: leaving).
08:33:47 -!- Phantom__Hoover has joined.
08:44:11 -!- craigo has quit (Ping timeout: 240 seconds).
08:51:11 <fizzie> Come to think of it, why is it called "telling someone about the birds and the bees" in English? The equivalent Finnish idiom refers to "the flowers and the bees", which makes a lot more sense; pollination and all that.
08:56:00 <Taneb> There's a Wikipedia page https://en.wikipedia.org/wiki/The_birds_and_the_bees with some discussion on the origin
08:56:17 -!- Sgeo has quit (Read error: Connection reset by peer).
08:57:05 <fizzie> Right, I guess it's birds and bees as two separate things.
08:57:47 <int-e> . o O ( Whoever named that Mars rover "Perseverence" has never heard of jinxing it. )
08:57:54 <fizzie> "Irreversible binomial" sounded like a math thing, but turned out to be a language thing.
08:59:54 <shachaf> kissat seems like a pretty good SAT solver.
09:00:01 <shachaf> It won a bunch of the 2020 competition.
09:00:04 <shachaf> And it has the best name?
09:00:10 <shachaf> It's difficult to compete.
09:01:55 <fizzie> fi:kissat = en:cats, but I have a feeling that wasn't intentional.
09:04:32 <shachaf> https://github.com/arminbiere/kissat says it's a coincidence.
09:04:35 <shachaf> But I doubt that.
09:04:46 <shachaf> That was the reason I said it has the best name.
09:05:19 <int-e> well, if you do your due diligence and google the name you'll figure that out
09:06:05 <int-e> If you duckduckgo you may find https://www.ilves-kissat.fi/ ... Google does not seem to deem it nearly as relevant :P
09:06:52 <int-e> Ah, so that's Armin Biere's newest SAT solver.
09:10:32 <int-e> . o O ( It's too bad that "clause" is singular and "claws" is plural. Otherwise there would be many puns. )
09:10:40 <shachaf> Yes, it's the new CaDiCaL
09:12:20 <int-e> "Kissat is a "keep it simple and clean bare metal SAT solver" written in C. [...] Coincidentally "kissat" also means "cats" in Finnish."
09:12:59 <cpressey> You'll think I'm mad as a hatter when I tell you that every SAT solver must have three different names
09:14:05 <int-e> This isn't the Lord of the Rings.
09:14:18 <shachaf> No, it's old possum's book.
09:14:55 <int-e> cpressey: Also, tbf, a reimplementation in a different language (even if it's moving from C++ to C) can justify a new name.
09:16:05 <shachaf> Book of practical kissat?
09:17:03 <shachaf> CaDiCaL takes 80 CPU seconds to compile here, and kissat takes 13.
09:17:25 <shachaf> (That's 9.3s and 1.6s with -j12.)
09:17:43 <int-e> that's a pretty good speedup
09:18:08 <shachaf> That's what you get for using C++, I think.
09:18:12 <int-e> unless the CPU time is all in spinlocks :P
09:18:47 <shachaf> Why would cc use any spinlocks?
09:25:10 <int-e> Here it starts hypertreading after -j6 and -j12 is only ~10% faster than -j6.
09:25:26 <int-e> (for kissat)
09:26:30 <shachaf> Oh, that's fair, I guess.
09:27:47 <int-e> (the missing `h` was intentional, in case you're wondering)
09:28:22 -!- TheLie has joined.
09:43:03 -!- kritixilithos has quit (Ping timeout: 240 seconds).
09:46:34 -!- kritixilithos has joined.
09:49:14 <int-e> http://int-e.eu/~bf3/tmp/b.txt -- how does going beyond -j12 reduce sys time?
09:49:37 <int-e> (for cadical)
10:02:41 -!- TheLie has quit (Remote host closed the connection).
10:03:11 <shachaf> Mysterious.
10:05:14 <int-e> anyway, ymmv (and I'm still pretty happy with the performance of this computer... it's almost 4 years old now, wow)
10:07:32 -!- cpressey1 has joined.
10:09:49 -!- cpressey has quit (Ping timeout: 264 seconds).
10:11:11 <shachaf> I wonder how much total CPU time it would use if it was all in one translation unit.
10:15:45 -!- Frater_EST has quit (Remote host closed the connection).
10:23:57 <esowiki> [[Math&Matrix]] https://esolangs.org/w/index.php?diff=76353&oldid=76332 * FLeckami21 * (+700)
10:28:57 <esowiki> [[Math&Matrix]] https://esolangs.org/w/index.php?diff=76354&oldid=76353 * FLeckami21 * (+9) /* Matrix form */
10:41:38 -!- cpressey1 has changed nick to cpressey.
10:52:41 -!- tromp has quit (Ping timeout: 244 seconds).
11:47:28 -!- cpressey has quit (Quit: A la prochaine.).
11:53:30 <esowiki> [[Math&Matrix]] M https://esolangs.org/w/index.php?diff=76355&oldid=76354 * TwilightSparkle * (-13) There are presets about common phrases here.
12:01:41 -!- t20kdc has quit (Remote host closed the connection).
12:57:18 -!- cpressey has joined.
13:13:34 -!- cpressey1 has joined.
13:14:35 -!- cpressey has quit (Ping timeout: 240 seconds).
13:16:50 -!- cpressey1 has changed nick to cpressey.
13:29:03 <rain1> https://math.stackexchange.com/users/7234/bill-gosper woah cool
13:30:31 -!- hendursa1 has quit (Quit: hendursa1).
13:30:57 -!- hendursaga has joined.
13:44:05 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds).
14:07:03 <fizzie> @metar EGLL
14:07:03 <lambdabot> EGLL 311350Z AUTO 15016KT 9999 NCD 37/11 Q1009 NOSIG
14:07:10 <fizzie> That's just ridiculous.
14:08:28 <esowiki> [[Special:Log/newusers]] create * Maxi * New user account
14:18:37 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=76356&oldid=76343 * Maxi * (+151) /* Introductions */
14:33:11 <int-e> @metar lowi
14:33:11 <lambdabot> LOWI 311420Z 06009KT 030V090 9999 FEW070 FEW075TCU 33/15 Q1016 NOSIG
14:33:27 <int-e> that's too warm already if you ask me
14:34:35 -!- lambdabot has quit (Remote host closed the connection).
14:37:21 -!- lambdabot has joined.
14:48:35 -!- tromp has joined.
14:53:22 -!- tromp has quit (Ping timeout: 260 seconds).
15:08:58 -!- cpressey has quit (Ping timeout: 260 seconds).
15:10:18 -!- spruit11 has quit (Quit: Lost terminal).
15:16:24 -!- spruit11 has joined.
15:27:05 -!- Arcorann has quit (Read error: Connection reset by peer).
15:42:04 -!- Lord_of_Life_ has joined.
15:44:59 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
15:45:02 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
15:45:38 -!- craigo has joined.
16:35:47 <zzo38> I invented my own kind of cryptographic randomized padding, where each frame consists of: the length of worthless data, the worthless data, the sequence number, the checksum of all data so far in this frame and all previous frames, the length of the payload data, and then the payload data.
16:36:03 <zzo38> (Splitting the data into frames can be done arbitrarily.)
16:36:54 -!- tromp has joined.
16:41:49 -!- tromp has quit (Ping timeout: 272 seconds).
16:43:32 -!- MDude has joined.
16:45:22 <esowiki> [[BFBASIC]] https://esolangs.org/w/index.php?diff=76357&oldid=37601 * Maxi * (-22) Removed link to Wayback machine, since the page is available.
17:07:33 -!- b_jonas has joined.
17:09:44 <zzo38> How to request more testers?
17:12:03 -!- kritixilithos has quit (Ping timeout: 240 seconds).
17:19:08 -!- imode has joined.
17:27:07 -!- adu has joined.
17:30:53 -!- tromp has joined.
17:33:35 -!- kritixilithos has joined.
17:33:51 <esowiki> [[Unleash]] https://esolangs.org/w/index.php?diff=76358&oldid=76338 * Hakerh400 * (+0) /* Instruction % */
17:41:38 -!- tromp_ has joined.
17:41:38 -!- tromp has quit (Read error: Connection reset by peer).
17:50:18 -!- Phantom__Hoover has joined.
18:08:37 -!- Sgeo has joined.
18:18:43 -!- kritixilithos has quit (Ping timeout: 240 seconds).
19:41:53 -!- aaaaaa has joined.
19:55:06 <aaaaaa> Hi all. Is there a channel for demomaking?
19:59:35 -!- tromp_ has quit (Remote host closed the connection).
20:03:11 <esowiki> [[BFBASIC]] https://esolangs.org/w/index.php?diff=76359&oldid=76357 * Maxi * (+136)
20:09:15 <b_jonas> probably. those retro guys are weirdos like us, some of them probably hang out on IRC somewhere. but I don't know the details sadly.
20:20:49 <b_jonas> you could ask alis
20:24:34 -!- alienapefarm has joined.
20:31:27 -!- tromp has joined.
20:31:43 <fizzie> IRCnet, and to some degree EFnet, has(/had) a certain amount of association with the demoscene.
20:32:24 <fizzie> Less sure about specific channels though. pouët says http://www.pouet.net/topic.php?which=8192&page=1 (but that's from back in 2011 (but that's not *so* old))
20:32:36 <b_jonas> ah yeah, that would make more sense, they're on the old style networks rather than freenode or oftc
20:32:50 <b_jonas> that's the kind of nonsense why I still have to connect to ircnet
20:33:48 <fizzie> I think a few of my more demoscene-oriented friends frequented #coders, if I remember right.
20:35:28 -!- alienapefarm has left.
21:00:55 <b_jonas> also my tooth hurts. it's not bad, it only stops me from eating on the left site. such a problem happens often enough I dread the day when I'll have a problem with teeth in both sides of my jaws and I won't be able to eat at all.
21:10:48 -!- aaaaaa has quit (Quit: leaving).
21:47:51 <spruit11> b_jonas: I've been showcasing some of your programs you wrote in another channels. Thanks again.
21:48:06 <spruit11> I also finally got around to analyzing them. Neat tricks!
21:48:23 <b_jonas> spruit11: can you be specific? thanks
21:48:41 <b_jonas> I wrote programs in other channels? do you mean like #jsoftware?
21:48:41 <spruit11> The two quines and the mandelbrot renderer.
21:48:49 <b_jonas> ah, that's not a channel but ok
21:49:09 <spruit11> Nono. I've been showcasing your programs, into other channels.
21:49:22 <b_jonas> ah, *into* other channels. I see.
21:49:27 <spruit11> You're now known as the 'genius from #esoteric'.
21:49:45 <spruit11> Didn't know if you would appreciate a direct reference.
21:50:34 <b_jonas> ok, now I'm not sure which two quines. I wrote more than two quines, both in J (which is what the mandelbrot renderer is written in, unless there's another one I totally forgot about) and in perl
21:50:41 <b_jonas> I think I only wrote exactly two quines in C though
21:50:48 <b_jonas> and exactly two in SQLite for that matter
21:51:04 <spruit11> Egel! I am the guy who ran egelbot here for a while.
21:51:15 <b_jonas> oh, the egel quines and egel mandelbrot renderer
21:51:15 <b_jonas> I see
21:51:26 <b_jonas> yes, I know you wrote egel, but I forgot about those things
21:51:35 <b_jonas> I write quines in a lot of things
21:51:59 <spruit11> I finally got the trick myself. Neat.
21:52:06 <b_jonas> which trick?
21:52:19 <b_jonas> the trick of writing quines in general, or the trick of writing that sort of quine that I'm writing?
21:52:42 <spruit11> The trick to the quines you wrote. Don't know if there are more techniques.
21:55:06 <zzo38> There are some ways to write quines and polyglots depending on the programming language.
21:55:11 <b_jonas> other #esoteric regulars might be able to tell about that
21:55:14 <b_jonas> yeah, what he says
21:57:55 <zzo38> Writing polyglot programs can also be useful for various purposes sometimes.
21:59:51 <b_jonas> especially public header files for libraries where the header is a C/C++ polyglot. C++ was designed to make that possible usually.
22:00:21 <zzo38> Yes, you can use #ifdef for that, and I have seen that it is common
22:00:29 <b_jonas> you usually don't even need ifdefs
22:00:41 <b_jonas> just avoid a few things that break the combination
22:00:54 <b_jonas> the ifdefs come in when you want it to work with the MS compiler too
22:00:59 <zzo38> Yes, the programming language is similar enough that sometimes it works without.
22:01:42 <b_jonas> especially if it's not very old C or very old C++
22:05:05 <spruit11> I just hope my usual gibberish comes across to C++. I really have no idea what I am doing exactly in that language.
22:05:16 <spruit11> Seems to work out, somehow.
22:05:34 <b_jonas> spruit11: but... isn't the egel implementation written in C++ already?
22:08:50 <b_jonas> zzo38: you have read https://perlmonks.com/?node_id=591502 right? it's my favorite polyglot, written by a friend
22:08:51 <spruit11> Sure. No idea what I am doing.
22:08:56 <spruit11> But works.
22:09:04 -!- adu has quit (Quit: adu).
22:09:09 <b_jonas> yeah, everyone starts like that
22:41:27 <zzo38> To make a polyglot with PostScript and with a shell script that executes the PostScript program, you might add the first line like: (exec gs -dNODISPLAY -dNOSAFER -q -- "$0" "$@"; ')pop%('); exit # (you can also define a different output than -dNODISPLAY, or you can handle selecting the output device in the PostScript code instead, using setpagedevice)
22:42:11 -!- TheLie has joined.
22:46:42 -!- Phantom__Hoover has quit (Ping timeout: 256 seconds).
22:52:21 -!- tromp has quit (Remote host closed the connection).
23:12:33 -!- adu has joined.
23:21:43 -!- xelxebar has quit (Remote host closed the connection).
23:28:53 -!- TheLie has quit (Remote host closed the connection).
23:34:25 -!- sprocklem has quit (Ping timeout: 264 seconds).
23:36:02 -!- sprocklem has joined.
23:55:01 -!- adu has quit (Quit: adu).
23:59:28 -!- sprocklem has quit (Ping timeout: 256 seconds).
←2020-07-30 2020-07-31 2020-08-01→ ↑2020 ↑all