00:00:02 -!- danieljabailey has quit (Quit: ZNC 1.6.4+deb1 - http://znc.in). 00:00:20 -!- danieljabailey has joined. 00:11:15 -!- augur has joined. 00:25:06 -!- oerjan has joined. 00:27:20 -!- boily has joined. 00:28:59 bohily 00:35:34 bonsœøœøœøœøœøirjan 00:41:01 -!- jaboja has quit (Remote host closed the connection). 01:15:34 -!- ATMunn has changed nick to nnuMTA. 01:15:49 -!- moony has changed nick to ynoom. 01:15:56 `5 w 01:16:02 1/2:diagram//A diagram is just a functor. \ equal temperament//Equal temperament is just intonation that's evenly spaced. \ unlambda//``ci`r`.!`.l`.a`.i`.v`.i`.r`.t`. `.t`.s`.e`.'`.c`. `.,`.a`.d`.b`.m`.a`.l`.n`.U`ci \ french//Le français n'est pas le démon, visitez les Coupeurs. Ne pas couvrir. Meilleur avant! \ orodruin//The Orodruin is a mounta 01:16:12 `n 01:16:13 2/2:in heated by earth spirits. Sauron moved to Mordor because boiling water for his morning tea with the fires of the Orodruin was so convenient. 01:18:19 -!- nnuMTA has changed nick to ATMunn. 01:21:44 -!- jaboja has joined. 01:25:27 `cat bin/w 01:25:28 wisdom "$@" 01:25:36 `cat bin/wisdom 01:25:37 f=$(find wisdom -ipath "wisdom/*$1*" -type f -print0 | shuf --random-source=/dev/urandom -z -n1); if [ -n "$f" ]; then echo -n "${f#wisdom/}//"; cat "$f"; else echo "That's not wise."; fi | rnooodl 01:28:28 `sled bin/wisdom//s/"\${/&/; s#//## 01:28:30 bin/wisdom//f=$(find wisdom -ipath "wisdom/*$1*" -type f -print0 | shuf --random-source=/dev/urandom -z -n1); if [ -n "$f" ]; then echo -n "${f#wisdom/}"; cat "$f"; else echo "That's not wise."; fi | rnooodl 01:28:32 `5 w 01:28:37 1/2:something-that-isn't-in-hackego's-wisdomIt is now. \ zimbabweolsner's desk points zimbabwards. It is highly dependent on tswett's michiganic orientation. \ associativityAssociativity means that h(th) = (ht)h, if you're flexible about it. \ monoidal categoryMonoidal categories are just 2-categories with a single object. \ all the tropes 01:28:43 oops 01:28:44 `revert 01:28:46 Done. 01:28:52 `sled bin/wisdom//s/"\${/&/; s#//#&# 01:28:55 bin/wisdom//f=$(find wisdom -ipath "wisdom/*$1*" -type f -print0 | shuf --random-source=/dev/urandom -z -n1); if [ -n "$f" ]; then echo -n "${f#wisdom/}//"; cat "$f"; else echo "That's not wise."; fi | rnooodl 01:28:56 `5 w 01:29:01 1/2:tea//Tea is concentrated fuel made by distilling occult herbs in a silver alambic. Americans attempted to reduce its potency by dumping some in the Ocean. \ htdh//HtDH is a classic text on How to Design Hotdogs or possibly Hogprams. It is all about functional condiments, and was co-authored by Herence Tao and Don Ho. \ e-module//E-modules 01:29:02 `n 01:29:03 2/2: are modules over a web ring. Uaneb invented them. \ spork//A spork is something to be randomly held in front of penguins. \ quote//Quotes are just elements of the quantum dilapidated bogosphere. See qdb. 01:29:12 oops 01:29:13 `revert 01:29:14 Done. 01:29:24 `sled bin/wisdom//s/"\${/&/; s#//#&# 01:29:26 bin/wisdom//f=$(find wisdom -ipath "wisdom/*$1*" -type f -print0 | shuf --random-source=/dev/urandom -z -n1); if [ -n "$f" ]; then echo -n "${f#wisdom/}//"; cat "$f"; else echo "That's not wise."; fi | rnooodl 01:29:28 `5 w 01:29:33 1/2:stibia//Stibia is a spice that grows in your leg. \ `learn//`learn creates a wisdom entry and tries to guess which word is the key. Syntax (case insensitive): `learn [a|an|the] [s][punctuation] [...] \ fternooner//fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”, Icelandic „íðdegis“) is 01:29:36 [wiki] [[Ly]] https://esolangs.org/w/index.php?diff=52949&oldid=52885 * LyricLy * (-88) 01:29:37 `n 01:29:38 2/2:a screamingly delicious pastry. \ `help//`help [] gives HackEgo's default help message, or help for a specific command. Or currently possibly some other wisdom. \ yorick//We know nothing about yorick, alas. 01:29:44 Better. 01:30:06 oerjan: do you think color is too much twh 01:31:31 -!- \oren\ has quit (Remote host closed the connection). 01:32:30 color is too much work for me to type in irc, anyway. 01:32:47 Hm? 01:33:04 NEVER MIND 01:43:16 [wiki] [[Ly]] https://esolangs.org/w/index.php?diff=52950&oldid=52949 * LyricLy * (+95) 01:47:55 `? coulor 01:47:57 Coulor is the correct spelling. 01:53:42 -!- ybden has quit (Read error: Connection reset by peer). 01:55:13 -!- ybden has joined. 01:58:25 -!- \oren\ has joined. 02:02:01 <\oren\> Wow, AWS machine rebooted for the first time in like a year 02:04:07 Cale: Maybe you understand non-interactive zero-knowledge proofs? 02:04:34 I'm not even sure what that refers to 02:05:57 -!- boily has quit (Quit: INSISTENT CHICKEN). 02:06:26 . o O ( he can only prove he does it in a blog post, not on irc ) 02:07:55 -!- sleffy has joined. 02:10:07 -!- sleffy has quit (Client Quit). 02:10:21 -!- sleffy has joined. 02:10:34 -!- sleffy has quit (Client Quit). 02:10:51 -!- sleffy has joined. 02:14:21 [wiki] [[Maybe Later]] N https://esolangs.org/w/index.php?oldid=52951 * TehFlaminTaco * (+4404) Initial Writeup. 02:14:59 [wiki] [[Maybe Later]] M https://esolangs.org/w/index.php?diff=52952&oldid=52951 * TehFlaminTaco * (-25) Category Fixes 02:15:19 [wiki] [[Maybe Later]] https://esolangs.org/w/index.php?diff=52953&oldid=52952 * TehFlaminTaco * (+0) 02:16:30 [wiki] [[Language list]] M https://esolangs.org/w/index.php?diff=52954&oldid=52930 * TehFlaminTaco * (+18) Added Maybe Later to the list. 02:19:29 -!- hppavilion[1] has joined. 02:27:55 Cale: Do you like the regular kind of zero-knowledge proofs? 02:28:06 You probably don't like the name because it's probabilistic. 02:56:05 -!- augur has quit (Remote host closed the connection). 03:01:22 -!- sleffy has quit (Ping timeout: 260 seconds). 03:02:46 -!- sleffy has joined. 03:03:16 [wiki] [[Special:Log/newusers]] create * Kerbybit * New user account 03:03:25 -!- ATMunn has quit (Quit: See ya! o/). 03:08:26 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=52955&oldid=52940 * Kerbybit * (+116) /* Introductions */ 03:08:31 -!- augur has joined. 03:17:33 shachaf: I just have zero knowledge about them 03:17:47 Good! 03:35:03 -!- sleffy has quit (Ping timeout: 252 seconds). 03:35:30 -!- sleffy has joined. 03:54:03 -!- hppavilion[1] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH). 04:10:13 `5 w 04:10:18 1/3:fternooner//fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”, Icelandic „íðdegis“) is a screamingly delicious pastry. \ promise problem//A promise problem is one that happens because you promise too much. Their reduction to NP is p. difficult. \ eventually//Eventually we'll have a better wisdom h 04:10:26 `n 04:10:26 2/3:ere. \ despair//Despair is but the first step towards eternal damnation. \ select//select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, condit 04:10:28 `n 04:10:29 3/3:ional between two expressions, prints a text-based menu prompt in a loop, and more. 04:14:12 oerjan: if i send you a copy of a jam would you jam it 04:15:09 sorry, i only eat genuine jams hth 04:15:28 I mean computer game. 04:15:53 unlikely hth 04:16:07 (not even sure what that means, but still unlikely.) 04:19:45 -!- sleffy has quit (Ping timeout: 240 seconds). 04:21:59 -!- sleffy has joined. 04:38:59 -!- augur has quit (Quit: Leaving...). 05:14:21 Do you know how to make poker with tarot? 05:30:14 Now I made up a list of the kind of hand of poker with tarot, which has 32 kind of hand 05:34:52 -!- jaboja has quit (Remote host closed the connection). 05:35:11 Do you like this? 05:43:17 If you have the 2 and 4 and 6 of money, and the III and V of trumps, then it makes a impure straight flush. 05:45:48 (Actually I made a mistake there isn't 32 kind of hand) 06:25:46 zzo38: Is that Double Fanucci? 06:26:36 No, it is poker with tarot cards 06:26:50 I think Double Fanucci is better. 06:27:37 We have to figure out the ranking of the hands by the probability. 06:53:18 -!- wob_jonas has joined. 06:54:02 Why are there barely any easily reusable libraries that give you a balanced search tree with a C interface, and can you recommend one? 06:54:33 That sort of thing exists with interfaces for a lot of other programming languages, but I've only seen one with a C interface, the one in GNU libc, and that library is highly nonportable. 06:55:39 In particular, how come APR doesn't have one? 07:01:11 (Also the interface in GNU libc sucks, it's limited) 07:11:32 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 07:28:31 -!- oerjan has quit (Quit: Nite). 07:47:49 -!- mroman has joined. 07:47:55 I have three accounts now 07:48:00 Is this against the policy :D 08:38:34 wtf, who writes "computably enumerable" for "recursively enumerable" 08:41:36 Wouldn't it be a better name? 08:42:15 -!- sleffy has quit (Ping timeout: 240 seconds). 08:43:00 too late now 08:47:59 Taneb: anyway, yes, I believe a fixed point combinator makes the simply typed lambda calculus TC, but what I have in mind would work with Diophantine sets, so it's not exactly obvious. In particular, even with a fixed point combinator, I don't see a way of doing full primitive recursion directly. 08:50:32 int-e, thank you 08:51:10 -!- AnotherTest has joined. 08:52:10 -!- kurolox has joined. 08:56:30 -!- imode has quit (Ping timeout: 240 seconds). 08:56:47 (The best part about that use of "computably enumerable" is the next sentence: 'The MRDP theorem states that a set of integers is Diophantine if and only if it is /computably/ enumerable. A set of integers S is /recursively/ enumerable [...]' https://en.wikipedia.org/wiki/Diophantine_set) 09:05:46 -!- AnotherTest has quit (Ping timeout: 264 seconds). 09:31:59 -!- AnotherTest has joined. 09:35:30 is the fixpoint combinatior this \x.xx thing? 09:35:49 it doesn't have a type in simply typed lambda calculus though 09:39:10 mroman, no, it's \f.(\x.f(x x)) (\x.f(x x)), I think it has the type (X -> X) -> X 09:39:53 Basically it turns f into f (f (f (f (f (f ... 09:40:35 Well, it's not that, because that doesn't type-check. 09:40:41 Well, yes 09:41:14 That's a fixed point combinator in untyped lambda calculus, and a valid type for the whole thingy 09:41:43 But it has to be a black box to the type system 09:41:48 Except you probably need a family of fixed point combinations, I think int-e mentioned. 09:42:55 Yeah 09:43:58 combinators 09:44:04 Wait, what does "combinator" mean again? 09:44:13 I think it should just be called a function. 09:44:14 I don't know, it's kind of an empty word to me 09:44:40 Taneb: Err, I have a gap, since I cannot do subtraction. (I have a predecessor function for Church numerals, but it changes the type of the numeral, so it cannot be iterated). I'm not sure that this can be overcome. 09:45:37 (Subtraction is more or less needed for testing equality; equality testing is needed for encoding Diophantine set) 09:45:53 int-e, hmm, that is an obstacle 09:46:02 Does STLC have a good representation of natural numbers? 09:49:07 Church numerals is the only thing that I can see working; in particular all the nice ADT ideas seem to run into the problem that a type cannot contain itself. 09:50:45 How do Church numerals work? 09:51:21 :t \n f x -> iterate f x !! n 09:51:23 Int -> (a -> a) -> a -> a 09:51:31 Sure, I mean in STLC 09:51:40 Do you just assign some particular type? 09:51:42 you can instantiate (a -> a) -> a -> a 09:51:53 But nce you instantiate it you get other inhabitants. 09:51:56 o 09:52:20 that doesn't really matter for TC considerations 09:54:09 Sure. 09:54:26 you have a contract, outside of the type system, to only use actual Church numerals 09:54:48 The question was meant more generally. 09:56:29 So anyway, without changing the type you can define a family of functions called extended polynomials. you have constants, addition, multiplication, and if-zero-then-else. not enough to get a predecessor 09:57:41 (that's without fixed point combinators; I don't really have a good handle on how much power they can actually add) 09:58:37 anyway. lunch, work... laters 09:58:44 Can you represent naturals as unfolds instead of folds? 10:22:44 -!- mroman has quit (Ping timeout: 260 seconds). 10:33:26 -!- mroman has joined. 10:34:17 \f.(\x.fxx)(\x.fxx) 10:34:18 this one? 10:35:05 if you call it with x this becomes (\x.xx)(\x.xx) 10:37:23 I still don't understand how fix can terminate in haskell. 10:38:10 ah. lazy evaluation will do it. 10:38:56 but (\x.xx)(\x.xx) definitely doesn't have a type in ST LC. 10:53:04 -!- mroman has quit (Ping timeout: 260 seconds). 10:56:49 -!- erkin has joined. 10:57:43 @tell mroman No, \f.(\x.f(x x))(\x.f(x x)) 10:57:44 Consider it noted. 10:58:19 @tell mroman this becomes \f.f ((\x.f(x x))(\x.f(x x)) 10:58:19 Consider it noted. 10:58:31 @tell Which is the same but applied to an f 10:58:32 Consider it noted. 11:22:27 -!- erkin has quit (Ping timeout: 260 seconds). 11:28:10 -!- Taneb has left ("Leaving"). 11:34:16 -!- boily has joined. 11:58:45 -!- mroman has joined. 11:58:48 `döts Hardfish 11:58:51 ​Ḧärdfïsḧ 11:59:10 @messages-loud 11:59:10 oerjan said 5d 11h 45m 5s ago: !bftxt_gen <-- EgoBot is dead, use `! bf_txtgen for HackEgo's version 11:59:10 Taneb said 1h 1m 26s ago: No, \f.(\x.f(x x))(\x.f(x x)) 11:59:10 Taneb said 1h 51s ago: this becomes \f.f ((\x.f(x x))(\x.f(x x)) 12:07:03 [wiki] [[Härdfïsh]] N https://esolangs.org/w/index.php?oldid=52956 * Mroman2 * (+895) Created page with "''Härdfïsh'' is a cross-over of [[Brainfuck]] and [[Hardfish]]. It introduces the , instruction from Brainfuck which is used to input a character (ASCII) wherea..." 12:07:57 [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52957&oldid=52948 * Mroman2 * (+53) 12:16:44 [wiki] [[Härdfïsh]] https://esolangs.org/w/index.php?diff=52958&oldid=52956 * Mroman2 * (+150) * algorithms 12:16:51 [wiki] [[Härdfïsh]] https://esolangs.org/w/index.php?diff=52959&oldid=52958 * Mroman2 * (+1) /* = Setting a cell to one */ 12:17:35 [wiki] [[Härdfïsh]] https://esolangs.org/w/index.php?diff=52960&oldid=52959 * Mroman2 * (+102) /* Setting a cell to one */ moo :( 12:19:08 -!- boily has quit (Quit: MINIM CHICKEN). 12:20:33 -!- atslash has joined. 12:36:46 [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52961&oldid=52957 * Mroman2 * (+125) /* Some Constants */ 12:38:39 [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52962&oldid=52961 * Mroman2 * (+0) /* With r */ 12:39:03 [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52963&oldid=52962 * Mroman2 * (+69) /* Some Constants */ 12:50:08 @tell taneb https://mathoverflow.net/questions/261934/is-simply-typed-lambda-calculus-with-fixed-point-combinator-turing-complete 12:50:08 Consider it noted. 13:01:18 -!- Vorpal has joined. 13:01:18 -!- Vorpal has quit (Changing host). 13:01:18 -!- Vorpal has joined. 13:07:14 [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52964&oldid=52963 * Mroman2 * (+378) /* With r */ 13:07:58 [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52965&oldid=52964 * Mroman2 * (-10) /* With r */ fucked up the spaces. 13:16:08 -!- jaboja has joined. 13:21:36 [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52966&oldid=52965 * Mroman2 * (+5943) /* With r */ all constants with r (non optimal) 13:23:00 [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52967&oldid=52966 * Mroman2 * (+6821) /* Without r */ all constast without r (non optimal) 13:23:34 ah shit. 13:24:40 [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52968&oldid=52967 * Mroman2 * (-5943) Undo revision 52966 by [[Special:Contributions/Mroman2|Mroman2]] ([[User talk:Mroman2|talk]]) 13:30:01 [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52969&oldid=52968 * Mroman2 * (-3464) ! this time it should be correct. 13:40:12 The other day walked past a forest planted by "the Kent Men of the Trees". 13:40:14 They sound like a tribe or a cult or something. 13:42:13 -!- mroman has quit (Quit: away). 13:51:42 -!- zseri has joined. 14:10:05 -!- jaboja has quit (Ping timeout: 240 seconds). 14:19:54 -!- ATMunn has joined. 14:32:48 -!- `^_^v has joined. 14:36:42 -!- mroman has joined. 14:37:31 tfw even a guy from 10'000 BC could draw better animals than you 15:07:07 Hey fizzie, have you commited the fixes to UMLBox? 15:44:15 -!- MDude has quit (Ping timeout: 240 seconds). 15:59:31 -!- ynoom has changed nick to moony. 16:01:49 someday somebody will look at brainfuck programs 16:01:54 and it will be like voynich manuscript 16:01:59 lol 16:02:19 experts will disagree on the time period 16:02:22 and think it's a hoax 16:02:46 while others will say it's a cipher hiding important information about extinct plants. 16:03:00 others agree that it was created by kids on cocaine 16:03:31 but they don't know what cocaine was 16:03:36 it has been lost 16:03:38 they just know it's some drug 16:03:47 so maybe some of the brainfuck stuff contains instructions on how to create cocaine 16:03:57 I had the idea for a programming language that uses only sets. (Only type is a set. A set can contain a set. Sets can be combined, split by a reference set, have all matches in one set removed from another, and have all matches duplicated) 16:04:21 And, i actually think it *might* be turing complete. Which is intresting. 16:04:56 (Oh, forgot to mention, sets can be compared, and either jmp if yes or just continue if no) 16:06:45 i already know a pseudo-fibonnaci can be made (With the amount of sets in the set 'A' being the number) 16:08:07 pseudo arthimetric and a jump-if-equal... Yea. Anyone else have a opinion on this? I think it should be possible to do 3-cell unbounded brainfuck. 16:15:18 In fact... Hmm, wow, i think it should be possible to make a turing complete language by using 3 of any datastructure that can contain itself. Bounded or not. 16:39:36 kurolox: Hadn't when you asked, but now sent them out: https://bitbucket.org/GregorR/umlbox/pull-requests/1 16:42:50 -!- imode has joined. 16:49:26 cool fizzie 16:49:38 I haven't showed you what I've done with UMLBox, by the way 16:49:48 https://github.com/Kurolox/ArcoexBot 16:51:30 I saw that screenshot, just a few hours late. 16:51:32 Don't know anything about Discord though. 16:53:06 -!- Deewiant has joined. 16:56:09 wow, why would you repeat the fs contents instead of padding with zeros 16:56:54 *shrug* 16:57:10 That probably has something to do with „Ghost in the Shell“ from the 2017s. 16:57:52 int-e: I don't know, but that seems clearly to be what's happening. I haven't looked it up in the code. 16:58:21 Can't blame you, I wouldn't either. 16:58:27 But it is curious :) 17:05:17 Well, I see where it happens in the code, but I don't really know the intention. 17:06:16 There's a read loop of the form do { n = pread(...); ... } while ((n < len) && (n != 0)). 17:07:04 I'm guessing it used to use regular "read" at some point, in which case that'd repeatedly read until enough bytes had been read or an EOF occurred. 17:07:16 Since read would advance the file offset. 17:07:35 And then maybe later on it was changed to a pread call, which takes the offset as an argument, but the loop wasn't modified to increment that. 17:07:44 So maybe it's actually a bug. 17:07:44 -!- AnotherTest has quit (Ping timeout: 246 seconds). 17:07:59 *shrug* 17:08:14 ,o0(git blame) 17:09:15 -!- Phantom_Hoover has joined. 17:09:32 https://github.com/torvalds/linux/commit/8c6157b6b -- looks that way. 17:10:29 Well, "bug" is arguable, I don't think the documentation specifies what *should* happen when the backing file isn't multiple-of-a-block sized. 17:10:44 But repeatedly reading from the same offset is at least a little odd. 17:12:48 if (n < len) memset(&buf[n], 0, len - n); <-- so it was supposed to pad with zeros. 17:13:23 Yes, if it hit EOF. Of course now it won't ever do so. 17:13:32 It does smell a little buggy. 17:13:54 so yes it's a bug... though I have a hard time imagining any actual problems... and that's despite having an actual example! :P 17:14:32 (I mean, if you emulate a block device, you shouldn't be returning partial blocks) 17:14:48 I'd post on the devel mailing list but that seems like too much work. 17:17:32 lkml is scary 17:17:47 I guess you'd go to the uml one 17:18:04 (hoping that there is one) 17:18:26 -!- Taneb has joined. 17:18:33 I think Ive been losing channels 17:20:08 int-e, thanks for looking that up for me1 17:20:22 actually a colleague found it for me :) 17:20:24 int-e: There's a user-mode-linux-devel@lists.sourceforge.net that does seem to be still getting some traffic. 17:20:44 int-e, thank your colleague for me, then 17:23:37 will do 17:32:43 uh, i wonder if that could be used to write to kernel memory? *Totally understands* 17:34:22 *shrug* 17:46:36 -!- sleffy has joined. 17:53:39 -!- mroman has quit (Ping timeout: 260 seconds). 18:34:45 -!- mroman has joined. 18:34:58 relcome to the finish hub 18:48:09 Is there any CSS media selector for monochrome? (This will be most useful in case of printers, although it can apply to monochrome displays as well) 18:55:17 -!- MDude has joined. 19:01:57 @media all and (monochrome) 19:01:57 Unknown command, try @list 19:02:19 at least that's what mozillas dev guide mention 19:02:21 epaper? 19:02:28 https://developer.mozilla.org/de/docs/Web/CSS/Media_Queries/Using_media_queries#monochrome 19:02:44 I mean, there *are* modern monochrome displays. 19:03:07 there's even @media tv and (scan: progressive) { ... } 19:03:45 is there a test for interlacing too? 19:03:49 Determines whether the output device is a grid device or a bitmap device. If the device is grid-based (such as a TTY terminal or a phone display with only one font), the value is 1. Otherwise it is zero. 19:03:58 and there's grid selector 19:04:00 interesting. 19:04:21 in case lynx supports css3 or what? 19:06:02 MONOHCROME 19:06:03 WHAT IS THIS 19:06:11 THE 70s CALLED? 19:06:45 there's also min-monochrome 19:06:48 i.e. for gameboys 19:06:56 which have 4bit monochrome color 19:08:24 -moz-windows-theme Requires Gecko 2.0(Firefox 4 / Thunderbird 3.3 / SeaMonkey 2.1) 19:08:25 haha 19:08:26 ok 19:08:31 I guess that's what phishers use 19:08:33 and spammers 19:08:50 so they can present a fake overlay that looks like an actual windows window 19:09:04 just query the theme they use to present the most realistic fake window :D 19:10:46 int-e: there's a test for handheld 19:10:52 not sure if dot matrix printers count as handheld :D 19:11:07 and there's a test for progressive/interlace yes 19:12:04 Pseudo-BNF (for those of you that like that kind of thing) 19:12:08 bnf? 19:12:17 beautiful nude females? 19:12:26 Backus–Naur form. 19:12:30 I know :D 19:12:45 BraiNFuck 19:13:15 [, ] 19:13:26 I guess this is a sink program then. 19:15:12 is htmlx still a thing? 19:15:17 or what was it called 19:15:24 XHTML? 19:15:35 hta 19:16:25 presumably this style is getting somewhat popular again 19:16:36 Apparently there's a XHTML syntax variant as part of HTML5. 19:16:41 https://www.w3.org/TR/html5/the-xhtml-syntax.html 19:16:47 except that instead of running code in the browser you run it in a local node.js 19:17:04 https://en.wikipedia.org/wiki/Electron_(software_framework) 19:17:08 ^- Atom is using that apparentely 19:18:23 I hate node.js 19:19:19 fizzie: hta was html+visual basic (executed by IE) 19:21:14 Well, Mozilla's got their XUL as well. 19:23:10 -!- archibald__ has joined. 19:24:07 I think grid and monochrome make sense, although I am not sure why you need to test for progressive scan. 19:26:04 I think handheld shouldn't be needed either (although tests for some of the features of handheld (individually) can make some more sense). 19:29:16 If you hate Node.js then you need not use it, although, I use Node.js (but not Electron; I will usually make command-line programs or SDL). 19:31:18 I hate javascript as well ;) 19:32:20 Then that seem a good enough reason to hate Node.js if you hate JavaScript 19:34:20 There are some problems with JavaScript I think, such as a lack of macros and lack of goto, but usually they aren't much problematic 19:37:30 -!- erkin has joined. 19:40:47 zzo38, eww 'goto 19:50:20 eh 19:50:24 any good games out there? 19:51:40 I suppose depend, what game you want? 19:55:31 I don't know. 19:55:33 That's the problem :D 19:56:28 :D 19:57:06 A computer game, card game, or chess game? 19:57:19 Games rock. 19:57:26 heh I was assuming computer game, by default 19:57:26 (or ones that are more than one of this; that happens too) 19:57:41 but that doesn't really solve the problem since there are multitudes of them 19:58:22 *shruhg* 19:58:39 s/uhg/ug/ 19:59:13 what's with the halloween craze, it's not even september 19:59:23 (is there another spooky event coming up?) 19:59:50 * int-e is looking at https://www.humblebundle.com/spooky-horror-bundle 20:00:07 (but won't buy) 20:00:11 I happen to like the NES/Famicom game "Lunar Limit", which you may run on a NES/Famicom emulator or hardware. 20:06:48 yeh computer games 20:06:57 for other games I'd need other people 20:07:01 which I don't have 20:07:18 and can't have 20:07:21 too sick for that 20:09:09 puzzle, adventure, role playing, jump&run, shooter, strategy, simulator, racing... this still seems rather unspecific so far :P 20:10:31 not a huge fan of FPS. 20:10:47 and it's gotta by lightweight 20:11:01 should run on a ultralight notebook 20:11:11 and without mouse 20:11:11 so 20:11:13 probably more racing/strategy 20:12:18 -!- jaboja has joined. 20:12:55 mmm lightweight 20:13:29 yeah 20:13:33 gotta fight into my backpack 20:13:38 :D 20:13:40 well 20:13:45 also it gotta fit into my backpack 20:13:59 why does my brain write fit as fight 20:14:59 I wanted to go travel for a long time 20:15:04 but too sick all the time to actually do it. 20:15:48 so... I waited hoping it would get better eventually 20:16:13 but now I'm in the "fuck it. if it's not better within n weeks I'm gonna pack my things and travel the world" mood. 20:16:50 because arguably sitting ill at home somehow managing to go to work and not get fired everyday isn't really too much of a great life either. 20:17:22 I guess the most lightweight games I'm currently enjoying are the wadjet eye games adventure games 20:18:13 you're constantly asking yourself "what the fuck am I working for just so I can spend the time I'm not working in pain (and the time I'm working)" 20:18:17 also it's gotta work offline 20:18:30 might not have internet everywhere 20:20:49 funny, gog lists spacechem under "strategy" 20:21:00 (but also "puzzle") 20:21:31 and actually, looking at the screenshots there may be a strategy component to it. 20:24:56 int-e is wise. 20:27:59 `grwp mockery 20:28:03 No output. 20:28:09 `quote mockery 20:28:10 No output. 20:30:04 -!- moony has changed nick to ICZEROSMELLS. 20:30:06 -!- ICZEROSMELLS has changed nick to moony. 20:30:29 -!- h0rsep0wer has joined. 20:33:38 spacechem looks nice 20:37:30 shenzhen I/O is nice too. 20:40:51 -!- AnotherTest has joined. 20:51:53 And TIS-100 in the middle. 20:53:22 In the middle between nice and nice? 20:54:09 -!- archibald__ has quit (Quit: Leaving). 20:55:11 -!- `^_^v has quit (Quit: Leaving). 21:01:34 released between the two? 21:09:02 -!- `^_^v has joined. 21:14:43 -!- augur has joined. 21:15:36 -!- AnotherTest has quit (Read error: Connection reset by peer). 21:20:08 S:I/O is more polished than TIS-100, but they're both neat games with different challenges 21:20:45 I want a standalone version of the konstruktor game 21:21:58 (this one, http://www.zachtronics.com/kohctpyktop-engineer-of-the-people/ ) 21:23:10 -!- h0rsep0wer has quit (Quit: Leaving). 21:24:49 -!- mroman has quit (Ping timeout: 260 seconds). 21:30:34 <\oren\> ugh... the entire machine goes catatonic everytime I run this 21:31:20 <\oren\> we turned off memory limits, so now it is just using up every byte of memory and the system is fucked 21:32:30 hmm, "this" 21:33:26 <\oren\> int-e: it's a program that, apparently, tries to load everything into memory regardless of whether it fits 21:40:28 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 21:40:33 -!- iovoid has quit (Ping timeout: 248 seconds). 21:48:26 int-e, I'd like a standalone Codex of Alchemical Engineering, I think that was the first Zachtronics game I played 21:50:12 it's called spacechem :P 21:50:40 alercah, Spacechem has a similar mechanic and conceit but a completely different aesthetic! 21:50:58 Taneb: actually it's not too difficult to just download the right files. 21:51:19 (for the one I wanted, perhaps that's also true for yours...) 21:55:18 <\oren\> Also: why the hell can hipchat insert a .gif file, but not a .txt file? 21:55:47 <\oren\> why is hipchat so stuuupiiid 21:57:27 what about "hip" doesn't suggest "stupid"? 21:58:04 <\oren\> atlassian is a terrible company 22:00:40 -!- zseri has quit (Quit: Page closed). 22:24:42 int-e: Did you *have* to post that link? I'm on vacation, I can't afford to get stuck by a flash game for the rest of it. 22:28:12 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:29:11 -!- `^_^v has joined. 22:29:11 -!- `^_^v has quit (Client Quit). 22:31:33 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 22:33:36 fizzie: you can save it for later, when you're back at work 22:43:58 I'm not sure I can. 22:45:54 -!- boily has joined. 22:56:26 `5 w 22:56:33 1/2:sentience//sentience is the primary goal of wisdom. wisdom is the primary goal of sentience. \ companion cube//There's cake inside it. Tear it apart, rip open your companion, and extract the delicious, delicious cake... \ kitt//Kitt is the singular of kitten. \ physiology//Physiology looks confusingly like psychology when written in Eng 22:59:39 `n 22:59:40 2/2:lish. \ nightstar//The Nightstars are an unscientific myth of a sky covered in faint flickering lights. Only hermits and superstitious farmers believe this. 22:59:54 sentience is the primary goal of fungot. fungot shall not reach sentience. 22:59:54 boily: the world of space, or maybe even most cases things are independent. the results of the previous roll has no bearing on the current roll! 23:06:58 -!- MDude has joined. 23:07:00 -!- MDead has joined. 23:11:47 -!- MDead has quit (Ping timeout: 260 seconds). 23:12:13 -!- MDude has quit (Ping timeout: 276 seconds). 23:14:40 -!- augur has quit (Remote host closed the connection). 23:14:45 -!- MDude has joined. 23:15:19 -!- augur has joined. 23:19:43 -!- augur has quit (Ping timeout: 248 seconds). 23:29:08 -!- ais523 has joined. 23:31:55 -!- ais523 has quit (Read error: Connection reset by peer). 23:32:20 -!- ais523 has joined. 23:32:24 <\oren\> "Due to light pollution, the Milky Way is not visible to more than one-third of humanity, including 60% of Europeans and nearly 80% of North Americans." 23:34:08 \oren\: I don't think I've ever seen it with my eyes unaided 23:34:25 <\oren\> http://advances.sciencemag.org/content/2/6/e1600377.full 23:35:54 <\oren\> In large cities, it never gets dark enough to actually count as nautical nighttime 23:36:26 <\oren\> in the centre of a city, monochrome night-vision is never necessary 23:36:54 Spent all day at the hospital. Had an X-ray and a CT scan and all sorts of things. 23:37:02 Seems like I'm OK. 23:37:46 -!- iovoid has joined. 23:43:12 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 23:49:47 helloochaf. everything's fine? 23:52:15 -!- ais523 has quit. 23:52:24 -!- ais523 has joined. 23:53:29 Seems to be. 23:54:14 -!- boily has quit (Ping timeout: 240 seconds).