00:16:13 -!- moon_ has quit (Ping timeout: 244 seconds).
01:00:17 -!- tromp has quit (Remote host closed the connection).
01:15:25 -!- moon_ has joined.
01:17:20 -!- byteflame has quit (Ping timeout: 258 seconds).
01:22:30 -!- tromp has joined.
01:24:35 <hppavilion[1]> I just read about four-color glossies and marketroids
01:24:53 <hppavilion[1]> Do marketing departments ever actually promise that a product will do something in violation of the laws of physics?
01:26:03 <boily> it's more surprising when they don't.
01:26:26 <boily> hppavilion[1]: are you reading the http://www.catb.org/jargon/html/index.html per chance?
01:30:56 <boily> how many sides to a scowgon?
01:34:29 -!- codergeek42 has joined.
01:35:12 -!- moonythedwarf_ has joined.
01:35:54 <boily> `relcome codergeek42
01:35:55 <HackEgo> codergeek42: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
01:36:40 <codergeek42> Hello; and thanks for the colorful welcome, haha :)
01:38:20 -!- moon_ has quit (Ping timeout: 265 seconds).
01:50:29 -!- moonythedwarf_ has quit (Ping timeout: 250 seconds).
01:50:32 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
01:51:28 -!- codergeek42 has quit (Quit: "brb").
01:59:13 -!- codergeek42 has joined.
01:59:13 -!- codergeek42 has quit (Changing host).
01:59:13 -!- codergeek42 has joined.
02:07:30 -!- FreeFull has quit (Quit: Goodnight).
02:18:29 -!- Akaibu has joined.
02:20:23 -!- augur has quit (Read error: Connection reset by peer).
02:20:57 -!- augur has joined.
02:30:16 -!- boily has quit (Quit: HYDROCHLORIC CHICKEN).
02:32:20 -!- hppavilion[1] has joined.
02:33:32 <hppavilion[1]> `le/rn scowgon file/The scowgon file requires Scala to open
02:46:25 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
02:49:32 -!- miketo has joined.
02:49:53 -!- miketo has left.
02:57:52 -!- jaboja has quit (Ping timeout: 240 seconds).
03:00:28 -!- AlexR42 has joined.
03:24:52 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
03:25:01 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
03:50:32 -!- hppavilion[1] has joined.
04:31:12 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
04:49:15 <Lymia> I forgot the commands :(
04:49:18 <zemhill__> Lymia: I do !zjoust; see http://zem.fi/bfjoust/ for more information.
04:49:24 <Lymia> !zjoust test ({<})%0
04:49:25 <zemhill__> Lymia.test: points -46.00, score 0.00, rank 47/47
04:49:32 <Lymia> !zjoust test ({})%0
04:49:33 <zemhill__> Lymia.test: points -34.00, score 2.61, rank 47/47 (--)
04:56:41 -!- Jafet has joined.
05:17:15 -!- oerjan has joined.
05:35:27 -!- codergeek42 has quit (Quit: Ex-Chat).
05:42:06 -!- AlexR42 has joined.
05:49:55 -!- MDead has joined.
05:52:57 -!- MDude has quit (Ping timeout: 276 seconds).
05:52:59 -!- MDead has changed nick to MDude.
06:07:27 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
06:07:52 -!- Kaynato has quit (Ping timeout: 240 seconds).
06:27:07 <oerjan> @tell shachaf <shachaf> L <-- itym NC^0 hth
06:31:33 <oerjan> @tell boily <boily> how many sides to a scowgon? <-- bleen hth
06:32:48 <oerjan> @tell shachaf <shachaf> `revert <-- PSA: `revert doesn't work after file creation.
06:33:22 <oerjan> maybe it did, this time.
06:33:39 <HackEgo> The scowgon file requires Scala to open
06:43:27 <pikhq> Scowgon? Does that form a scowhedron?
07:11:24 <shachaf> oerjan: Then what did it do?
07:11:42 <lambdabot> oerjan said 44m 35s ago: <shachaf> L <-- itym NC^0 hth
07:11:42 <lambdabot> oerjan said 38m 53s ago: <shachaf> `revert <-- PSA: `revert doesn't work after file creation.
07:13:41 -!- hppavilion[1] has joined.
07:35:59 <oerjan> shachaf: probably a stupid bug not treating deleted files correctly?
07:36:18 <oerjan> so they're not removed from the hg repository.
07:37:10 <oerjan> although it will look in HackEgo like they were removed, until a later change synchronizes with the repository
07:38:13 <oerjan> i think fizzie or someone looked into it at one point.
07:38:37 <oerjan> but it's in the part of HackEgo that he doesn't feel authorized to change.
07:39:23 <oerjan> (especially since he doesn't have access to where Gregor keeps the repository for HackEgo's own code
07:40:09 <oerjan> idle : 26 days 4 hours 10 mins 28 secs [signon: Sun Jul 24 04:29:24 2016]
07:40:28 <oerjan> one wonders why Gregor even logs on
07:41:01 <pikhq> Habit, obligation, forgetting to log off but just being way too busy?
07:41:34 <oerjan> the last one looks most likely to me
07:42:01 <pikhq> I hear "professor" is a busy job if you do it right.
07:43:08 <oerjan> you have to wear many hats. gregor should be good at that.
07:44:27 <oerjan> choosemyhat.com doesn't look too active.
07:44:58 <pikhq> Maybe we should choose some hats and surprise him.
07:47:46 * pikhq would like to applaud his choice of academic website... http://the.gregor.institute/
07:54:33 -!- augur has quit (Remote host closed the connection).
08:03:12 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
08:10:03 -!- AnotherTest has joined.
08:15:23 -!- oerjan has quit (Quit: Later).
08:34:58 -!- augur has joined.
08:39:07 -!- izabera has changed nick to bibibi.
08:39:12 -!- bibibi has changed nick to izabera.
08:59:30 -!- AnotherTest has quit (Ping timeout: 276 seconds).
09:00:27 -!- AnotherTest has joined.
10:18:30 <Taneb> I haven't been on IRC much lately
11:19:52 -!- AnotherTest has quit (Ping timeout: 240 seconds).
11:35:45 -!- boily has joined.
11:40:16 <HackEgo> just//Just is just a just adverb.
11:42:06 <lambdabot> oerjan said 5h 10m 33s ago: <boily> how many sides to a scowgon? <-- bleen hth
12:08:45 -!- Reece` has joined.
12:10:04 -!- AlexR42 has joined.
12:16:14 <Lymia> !zhill test (.{<})*-1
12:16:27 <Lymia> !zjoust test (.{<})*-1
12:16:29 <zemhill__> Lymia.test: points -34.00, score 2.61, rank 47/47 (--)
12:16:39 <Lymia> !zjoust test ({<})*-1
12:16:39 <zemhill__> Lymia.test: points -46.00, score 0.00, rank 47/47 (--)
12:19:14 -!- boily has quit (Quit: LONG CHICKEN).
12:21:36 -!- AnotherTest has joined.
12:44:50 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
12:47:19 -!- AnotherTest has quit (Ping timeout: 260 seconds).
12:59:56 -!- AnotherTest has joined.
13:04:40 -!- AnotherTest has quit (Ping timeout: 265 seconds).
13:11:01 -!- augur has quit (Remote host closed the connection).
13:13:16 -!- keelbix has joined.
13:19:29 -!- keelbix has quit (Ping timeout: 244 seconds).
13:30:22 -!- AnotherTest has joined.
13:32:51 -!- aloril has quit (Ping timeout: 264 seconds).
13:35:06 -!- AnotherTest has quit (Ping timeout: 276 seconds).
13:51:53 -!- aloril has joined.
13:58:53 -!- AnotherTest has joined.
14:08:24 -!- AnotherTest has quit (Ping timeout: 260 seconds).
14:08:29 <Lymia> My bfjoust evaluator works
14:08:38 <Lymia> It evaluates Nyuroki correctly... let's see.
14:09:54 -!- AnotherTest has joined.
14:11:02 <Lymia> Preperation fails.
14:11:10 <Lymia> I have no idea how it works and the minimal test case :(
14:28:03 -!- AnotherTest has quit (Ping timeout: 264 seconds).
14:52:06 -!- AnotherTest has joined.
15:11:53 -!- augur has joined.
15:16:25 -!- augur has quit (Ping timeout: 244 seconds).
15:17:22 -!- `^_^v has joined.
15:20:29 -!- bibibi has joined.
15:40:06 -!- MoALTz has joined.
15:52:25 <HackEgo> drones are tools used to perform certain criminal actions that were not possible in ancient times.
16:12:03 <int-e> `` cd wisdom; echo *dron*
16:12:04 <HackEgo> cyberdrone drone drone sex
16:12:10 <HackEgo> cyberdrone is a drone flying in cyberspace.
16:12:24 <int-e> `cwlprits cyberdrone
16:18:42 -!- MDead has joined.
16:21:23 -!- MDude has quit (Ping timeout: 265 seconds).
16:21:27 -!- MDead has changed nick to MDude.
16:22:46 <Lymia> This crappy BFJoust parser is so slloooow
17:26:37 -!- Kaynato has joined.
17:27:07 -!- AnotherTest has quit (Ping timeout: 244 seconds).
17:30:03 -!- oerjan has joined.
17:37:28 <oerjan> fizzie: i think the wiki bridge is down hth
17:37:44 <oerjan> i think fizzie might be a bit down too.
17:39:23 * oerjan blocks the unsuccessful spammer
17:39:54 <Taneb> oerjan, it was rather spammy when I left on my travels
17:40:30 <oerjan> when was that. the spammers came back a couple days ago, more clever than ever
17:40:53 <Taneb> The third of this month
17:42:09 <oerjan> so now i'm waiting for ais523 to come back to see if he can outsmart them again, but i'm starting to get skeptical.
17:42:54 -!- Lord_of_Life has quit (Excess Flood).
17:43:38 -!- Lord_of_Life has joined.
17:43:39 <oerjan> oh there was an ip spammer too.
17:44:12 <oerjan> (see Special:AbuseLog)
17:46:19 <quintopia> oerjan: are the spam edits classified and logged?
17:46:36 <quintopia> like do we have years of tagged spam edits?
17:46:40 <oerjan> oh they're still trying.
17:46:53 <oerjan> quintopia: it might seem so.
17:47:57 <quintopia> oerjan: do all wiki edits get tossed into one log file or database record somewhere?
17:49:07 <oerjan> quintopia: i think it's in there, i just checked that i can see the spammer's attempted edits
17:49:42 <oerjan> maybe there's some cleanup of old ones, i wouldn't know.
17:56:06 -!- FreeFull has joined.
18:11:16 <oerjan> ok, there are blocked edits from 2013 with full diffs
18:11:36 <oerjan> so no automatic cleanup
18:12:48 <fizzie> I'll prop up the bridge once I'm at a table that I can fit a laptop on.
18:13:14 <oerjan> i see that some of the spammers from the other day got caught by the automatic ip block too
18:19:27 -!- centrinia has joined.
18:22:23 <izabera> https://imgur.com/gallery/6Til9 how cute
18:38:10 <\oren\> izabera: I'm more interested in hwo they intend to sort the sand into colors again
18:48:03 -!- AnotherTest has joined.
18:51:36 <Lymia> !bfjoust test https://paste.lymia.moe/lymia/46248257d265f6b1e56554235cc2b9006da2eb6e.bfjoust
18:51:43 <Lymia> !zjoust test https://paste.lymia.moe/lymia/46248257d265f6b1e56554235cc2b9006da2eb6e.bfjoust
18:51:45 <zemhill__> Lymia.test: points -36.57, score 2.37, rank 47/47 (--)
18:53:15 <Lymia> !zjoust test https://paste.lymia.moe/lymia/5dfa80f615343cb8955dd64b594d98cdfafd63d9.bfjoust
18:53:17 <zemhill__> Lymia.test: points -36.86, score 2.28, rank 47/47 (--)
18:58:18 <Lymia> !zjoust test https://paste.lymia.moe/lymia/e331635fc748ebf9d201cfc674b190714fb03424.bfjoust
18:58:20 <zemhill__> Lymia.test: points -34.02, score 3.16, rank 47/47 (--)
19:00:51 -!- centrinia has quit (Quit: Leaving).
19:01:30 <zemhill__> oerjan: I do !zjoust; see http://zem.fi/bfjoust/ for more information.
19:01:47 <oerjan> Lymia: you can get some statistics from the website, i believe.
19:02:15 <Lymia> And the results are mind boggling wtf.
19:02:23 <Lymia> With the intent of this program in mind.
19:02:46 <Lymia> !zjoust test https://paste.lymia.moe/lymia/84827ed9ed0d4dc0cb7f8489e90df45ab5832318.bfjoust
19:02:48 <zemhill__> Lymia.test: points -33.90, score 3.14, rank 47/47 (--)
19:04:50 <Lymia> So the program just doesn't work.
19:08:19 <Lymia> !zjoust test https://paste.lymia.moe/lymia/7fdf75b11c9ea906754a8787e8199fdb409a99f3.bfjoust
19:08:20 <zemhill__> Lymia.test: points -33.90, score 3.14, rank 47/47 (--)
19:08:39 <Lymia> Now to figure out wht's wrong
19:13:41 -!- augur has joined.
19:17:50 -!- augur has quit (Ping timeout: 250 seconds).
19:27:59 <Lymia> !zjoust test https://paste.lymia.moe/lymia/e0847898b2186628e6949965d0edfaab5736b8a9.bfjoust
19:28:01 <zemhill__> Lymia.test: points -35.10, score 2.96, rank 47/47 (--)
19:28:11 <fizzie> Oh right, that bridge.
19:29:21 <Lymia> It's achieving something now
19:30:57 <Lymia> !zjoust test https://paste.lymia.moe/lymia/d75ff3e94b52bb1fe05dea7766829c6a0f8a6025.bfjoust
19:30:59 <zemhill__> Lymia.test: points -35.21, score 3.07, rank 47/47 (--)
19:31:38 <oerjan> you realize your points are going down hth
19:32:25 <oerjan> i guess it's been even lower
19:32:34 <zemhill__> oerjan.calibrate: points -46.00, score 0.00, rank 47/47
19:32:56 <Lymia> The points are not what matters.
19:33:45 <Lymia> !zjoust test https://paste.lymia.moe/lymia/75a53eee87ad7d592fb32e331636cf253e87dd7d.bfjoust
19:33:47 <zemhill__> Lymia.test: points -26.33, score 7.22, rank 47/47
19:35:04 <Lymia> Now to actually debug this thing.
19:35:11 <\oren\> i wonder why melon soda isnt sold in canada
19:35:13 <Lymia> Since it woks on a proof of concept level.
19:35:33 <Lymia> The score breakdown should probably demonstrate what the intent of this is. :V
19:51:54 <Lymia> !zjoust test https://paste.lymia.moe/lymia/2a17d78342568d627b48ce9c4e8963bc406714d2.bfjoust
19:51:56 <zemhill__> Lymia.test: points -34.12, score 3.35, rank 47/47 (--)
19:59:42 -!- augur has joined.
20:10:24 <zemhill__> Lymia.test: points -46.00, score 0.00, rank 47/47 (--)
20:10:32 <Lymia> !zjoust hotel_bombing https://paste.lymia.moe/lymia/d7e1498f11a08cd81bb166dc5d89a6e0c240d1a5.bfjoust
20:10:34 <zemhill__> Lymia.hotel_bombing: points -34.14, score 3.08, rank 47/47
20:20:31 -!- moon_ has joined.
20:31:17 <Lymia> !zjoust hotel_bombing <
20:31:18 <zemhill__> Lymia.hotel_bombing: points -46.00, score 0.00, rank 47/47 (--)
20:32:27 <Lymia> !zjoust determinism https://paste.lymia.moe/lymia/b8c4f982e8134dde75c04d585514fcb9a34fcd31.bfjoust
20:32:29 <zemhill__> Lymia.determinism: points -23.05, score 9.63, rank 47/47
20:33:11 <myname> melon soda sounds awesome
20:35:19 <myname> oh, they don't sell it in europe either
20:46:03 -!- Jafet has quit (Ping timeout: 264 seconds).
20:48:38 <\oren\> myname: It is amazing, in net cafes they have it on the self serve machines; but not sold anywhere in Canada, afaict.
20:49:42 <\oren\> You can also get a vanilla ice cream float with melon soda at certain places.
20:50:37 <myname> unless you send my some, in this case you are a hero
20:50:53 <\oren\> myname: Well I can't get any right now; I had it when I went to Tokyo
20:51:16 <\oren\> I'm trying toi figure out if I can get it delivered.
20:51:32 <myname> napajapan sells it for 4 bucks a buttle
20:51:48 <\oren\> but srsly melon ice cream float is like ADHD in a cup
20:52:08 <myname> also, i love read bean ice
20:52:16 <myname> that stuff is so damn delicious
20:52:28 <myname> the fuck is wrong with me today
20:56:50 -!- augur has quit (Remote host closed the connection).
20:59:46 <\oren\> https://en.wikipedia.org/wiki/International_availability_of_Fanta#Japan
21:00:10 <\oren\> that's gotta be like 50 flavors of fanta
21:01:32 <myname> i wonder what la france tastes like
21:04:53 <HackEgo> [wiki] [[Special:Log/newusers]] create * Bodlypoqdorthys * New user account
21:06:20 <\oren\> I like spam and bacon sandwiches
21:07:36 <\oren\> lets see if they can get past the new filters
21:10:25 <\oren\> unless they're going to wait 24 hours and then start spamming
21:11:43 <HackEgo> [wiki] [[Q.u.i.c.kb.o.ok.s. .su.p.po.r.t .p.h.o.n.e .n.u.m.b.er.1.8.8.8.5.1.3.5.9.7.8. Qui.ck.b.o.ok.s. .he.l.p. d.es..k .p.ho.n.e. .n.u.mb.e.r]] N https://esolangs.org/w/index.php?oldid=49607 * Bodlypoqdorthys * (+9894) Created page with "POINT OF SALE~SupPort◄1-888-513-5978► QuickBooks point of sale support phone number ◄QuickBooks point of sale customer care Phone
21:12:08 -!- jaboja has joined.
21:18:47 <HackEgo> [wiki] [[Q.u.ic.k.bo.o.ks. p.r.e.mi.e.r. t.e.ch. .s.u.pp.o.r.t. .ph.o.n.e. .nu.m.b.erΏΏ1.8.8.8.5.1.3.5.9.7.8ΏΏ Qu.ic.k.bo.oks .p.r.em.i.er. t.e.ch. su.pp.o.rt .nu.mb.e.r]] N https://esolangs.org/w/index.php?oldid=49608 * Bodlypoqdorthys * (+9894) Created page with "POINT OF SALE~SupPort◄1-888-513-5978► QuickBooks point of sale support phone number ◄QuickBooks poin
21:19:46 <HackEgo> [wiki] [[Special:Log/abusefilter]] modify * Oerjan * modified [[Special:AbuseFilter/8]] ([[Special:AbuseFilter/history/8/diff/prev/45]])
21:19:54 <oerjan> let's see how this works.
21:25:31 <oerjan> alas, this is a filter that simply forbids recent (< 24 hours) users, period.
21:25:51 <oerjan> so it's not very sustainable.
21:26:50 <oerjan> hm they don't seem to have tried again yet
21:27:32 <HackEgo> [wiki] [[Special:Log/delete]] delete * Oerjan * deleted "[[Q.u.ic.k.bo.o.ks. p.r.e.mi.e.r. t.e.ch. .s.u.pp.o.r.t. .ph.o.n.e. .nu.m.b.erΏΏ1.8.8.8.5.1.3.5.9.7.8ΏΏ Qu.ic.k.bo.oks .p.r.em.i.er. t.e.ch. su.pp.o.rt .nu.mb.e.r]]": Spam: content was: "POINT OF SALE~SupPort◄1-888-513-5978► QuickBooks point of sale support phone number ◄QuickBooks point of sale cust
21:27:53 <HackEgo> [wiki] [[Special:Log/block]] block * Oerjan * blocked [[User:Bodlypoqdorthys]] with an expiry time of indefinite (account creation disabled): Spamming links to external sites
21:28:18 <HackEgo> [wiki] [[Special:Log/delete]] delete * Oerjan * deleted "[[Q.u.i.c.kb.o.ok.s. .su.p.po.r.t .p.h.o.n.e .n.u.m.b.er.1.8.8.8.5.1.3.5.9.7.8. Qui.ck.b.o.ok.s. .he.l.p. d.es..k .p.ho.n.e. .n.u.mb.e.r]]": Spam: content was: "POINT OF SALE~SupPort◄1-888-513-5978► QuickBooks point of sale support phone number ◄QuickBooks point of sale customer care Phone Number►P..."
21:30:07 <\oren\> Hmm maybe I can find out who their phone provider is and report them
21:31:35 <oerjan> btw the spammer tried 7 other edits that _were_ caught by the other filter.
21:32:16 <oerjan> bug question, should i disable the nuclear option again... i think not since i was half planning to go to bed soon.
21:38:56 <\oren\> their number is being served by Level 3 Communications. I am filing variius complaints
21:39:24 <\oren\> hopefully I will get in touch with the downstream provider and identify the scammer
21:40:19 <\oren\> When I called him he attempted to get my username and password, probably to install ransomware
21:41:28 -!- `^_^v has quit (Quit: This computer has gone to sleep).
21:44:49 <\oren\> and then he wanted me to enable windows' remote desktop stuff
21:44:59 <myname> what was the reason to dosable the nuclear option?
21:45:18 <myname> "i'm sorry, i run haiku"
21:46:02 <\oren\> No more like "sorry dude, that's the password to level 3 of Metroid"
21:46:19 <izabera> if you take 4 random points on a sphere, what's the avg volume of the tetrahedron?
21:47:00 <oerjan> myname: to allow normal people to register again?
21:47:31 <myname> oerjan: i thought the nuclear option was "you can register, but you cannot edit for 24 hours"
21:47:53 <oerjan> no, although maybe i should do that instead.
21:48:25 <myname> that way you can register, we can stop spam and serious accounts just do have to wait
21:49:31 <oerjan> i have a feeling the group throttling options for the filter aren't enabled, or else i could make a filter that limits the number of people registering and one that limits what each can edit...
21:49:47 <oerjan> *for the filter system
21:49:58 <oerjan> (the option looked greyed out)
21:51:59 <oerjan> i suppose fizzie might have some configuration options as well.
21:54:36 <quintopia> it would seem that a filter which autoblocks users who creates pages with titles that contain the string "Quickbooks" once all non-alphabetics are removed would be in order?
21:56:48 <myname> that would work for this specific spam
21:56:54 <myname> but not for spam in general
21:57:23 <quintopia> but it would give us some more insight into the sorts of things the spammers will try
21:59:07 <oerjan> oh the new filter caught someone.
22:01:33 -!- Reece` has quit (Read error: Connection reset by peer).
22:02:22 <oerjan> it was not a quickbooks spam, and i think only that filter stopped it.
22:02:59 -!- augur has joined.
22:04:55 -!- hppavilion[1] has joined.
22:05:03 <oerjan> no. 8 which disables everything by accounts < 24 hours
22:05:20 <hppavilion[1]> the DoJ announced it will no longer be contracting with private prisons!
22:06:52 <oerjan> it almost got caught by filter 3, except that only applies to userpages
22:11:59 <oerjan> @tell fizzie Spammers started again, I've used my new filter 8 to shut off new users entirely because I'm about to go to bed. (That also accidentally caught a non-quickbook spam by an IP.)
22:12:33 -!- oerjan has quit (Quit: Nite).
22:14:14 <\oren\> izabera: well, WLoG, we can consider the first point to be the north pole
22:15:38 <izabera> i tried generating a bunch of these and the smallest height ends up being surprisingly small
22:15:55 <izabera> or maybe not so surprisingly, but it did surprise me
22:16:03 <izabera> most of them are basically 2d
22:17:03 -!- moon_ has quit (Ping timeout: 240 seconds).
22:17:35 <\oren\> iirc, to pick random points on a sphere, you can use the lambert projection
22:18:27 * izabera just used meridians and parallels..
22:18:53 <\oren\> izabera: that won't give you an equl number of points in each area
22:19:10 <\oren\> it will have a lot more points near the poles
22:20:24 <\oren\> instead, pick a random longitude, and then pick a random number y in (-1,1), and take the arcsine of y
22:20:28 -!- jaboja has quit (Read error: Connection reset by peer).
22:20:51 <\oren\> that will give you equally distributed points
22:24:49 <\oren\> hmm, alos WLoG, we may assume the second point to have a longitude of 0
22:25:44 <\oren\> so we're only really looking at a problem with 5 degrees of freedom
22:28:03 <\oren\> in fact, WLoG, assume the third point has a positive longitude, restricting the problem by chirality
22:31:32 -!- moon_ has joined.
22:32:54 -!- jaboja has joined.
22:33:03 <\oren\> so you're picking point 2 from a line, and point 3 from a hemisphere, and only point 4 is picked from a full sphere
22:35:03 -!- MoALTz has quit (Quit: Leaving).
22:35:30 <shachaf> I have a new computer and I was considering installing NixOS on it.
22:35:39 <shachaf> But then I decided that it would be a big headache so I didn't do it.
22:43:01 <shachaf> copumpkin has scrapped :'(
22:43:35 <shachaf> I could still do it, I guess.
22:44:02 <shachaf> Someone who uses NixOS said that today they would prefer installing Debian and setting up Nix for their local user instead.
22:44:53 <shachaf> copumpkin: Also that book is out of preorder.
22:45:17 <shachaf> Even though it's just a new edition of a book which has been out for years?
22:45:33 <shachaf> If you tell me your address I'll order you a copy.
22:46:15 <shachaf> Do you think I should scrap Ubuntu and install NixOS?
22:47:45 <copumpkin> I'm about to go overseas for a couple of weeks, but will order it when I Get home (otherwise it'll just be sitting on my porch for a week and I'd rather nobody steal it)
22:49:16 <shachaf> copumpkin: There are lots of things where the NixOS approach is obviously better than the Debian approach.
22:49:39 <shachaf> But I don't look forward to, say, having to do a lot of work to set up my volume buttons.
22:49:48 <shachaf> Or suspend when I close the laptop lid. Or wifi.
22:49:54 <shachaf> All sorts of things like that.
22:50:01 <copumpkin> I've only used it on headless servers
22:50:08 <copumpkin> although I know a few people who run it on laptops
22:50:22 <shachaf> A server would be a different situation.
22:50:35 <shachaf> Also being able to run binaries downloaded from the Internet would be nice.
22:50:42 -!- hppavilion[1] has quit (Ping timeout: 258 seconds).
22:51:03 <shachaf> You use Mac OS for your desktop OS, if I remember correctly.
22:51:23 <shachaf> Now I'm not sure what you were yupping.
22:52:14 <copumpkin> I still use Nix/NixOS wherever I get the chance
22:55:08 <pikhq> I wish more random Linux binaries on the Internet would actually ship static linked.
22:56:53 <shachaf> Well, with NixOS you don't even have /lib64/ld-linux-x86-64.so.2 or whatever it is.
22:59:09 <shachaf> Though NixOS's variant of dynamic linking where things are dynamically linked to a particular file hash (I think?) has many of the same advantages.
22:59:35 <shachaf> copumpkin: It's kind of scow how every programming language comes with its own build system/package manager. If you ask me.
22:59:45 <shachaf> There's hardly ever a justification for it.
23:00:10 <copumpkin> except windows isn't very well supported
23:00:22 <shachaf> Yes, they should just use Nix or something.
23:00:25 <shachaf> Is Nix a good build system?
23:00:29 <pikhq> shachaf: Yeah; the relevant advantage of static linking *here* is it lets you just throw up binaries on a website and it'll work in any imaginable distro.
23:00:39 <copumpkin> it's mostly okay, although not many people use it for actual building
23:00:46 <shachaf> Maybe they should just use Bazel.
23:00:50 <copumpkin> but I'd at least skip doing your own package resolution
23:01:06 <shachaf> Bazel is pretty good in the environment that it lives in.
23:01:16 <shachaf> I'm not sure how well it would work in other contexts.
23:01:51 <shachaf> At least it's fairly declarative.
23:03:52 -!- moon_ has quit (Ping timeout: 240 seconds).
23:09:27 -!- AnotherTest has quit (Ping timeout: 264 seconds).
23:22:50 -!- moon_ has joined.
23:43:42 -!- hppavilion[1] has joined.
23:49:43 -!- Zarutian has joined.