←2017-08-27 2017-08-28 2017-08-29→ ↑2017 ↑all
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 <oerjan> bohily
00:35:34 <boily> 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 <boily> `5 w
01:16:02 <HackEgo> 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 <boily> `n
01:16:13 <HackEgo> 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 <shachaf> `cat bin/w
01:25:28 <HackEgo> wisdom "$@"
01:25:36 <shachaf> `cat bin/wisdom
01:25:37 <HackEgo> 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 <shachaf> `sled bin/wisdom//s/"\${/&/; s#//##
01:28:30 <HackEgo> 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 <shachaf> `5 w
01:28:37 <HackEgo> 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 <shachaf> oops
01:28:44 <shachaf> `revert
01:28:46 <HackEgo> Done.
01:28:52 <shachaf> `sled bin/wisdom//s/"\${/&/; s#//#&#
01:28:55 <HackEgo> 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 <shachaf> `5 w
01:29:01 <HackEgo> 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 <shachaf> `n
01:29:03 <HackEgo> 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 <shachaf> oops
01:29:13 <shachaf> `revert
01:29:14 <HackEgo> Done.
01:29:24 <shachaf> `sled bin/wisdom//s/"\${/&/; s#//#&#
01:29:26 <HackEgo> 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 <shachaf> `5 w
01:29:33 <HackEgo> 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] <keyword>[s][punctuation] [...] \ fternooner//fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”, Icelandic „íðdegis“) is
01:29:36 <HackEgo> [wiki] [[Ly]] https://esolangs.org/w/index.php?diff=52949&oldid=52885 * LyricLy * (-88)
01:29:37 <shachaf> `n
01:29:38 <HackEgo> 2/2:a screamingly delicious pastry. \ `help//`help [<command>] 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 <shachaf> Better.
01:30:06 <shachaf> oerjan: do you think color is too much twh
01:31:31 -!- \oren\ has quit (Remote host closed the connection).
01:32:30 <oerjan> color is too much work for me to type in irc, anyway.
01:32:47 <shachaf> Hm?
01:33:04 <oerjan> NEVER MIND
01:43:16 <HackEgo> [wiki] [[Ly]] https://esolangs.org/w/index.php?diff=52950&oldid=52949 * LyricLy * (+95)
01:47:55 <boily> `? coulor
01:47:57 <HackEgo> 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 <shachaf> Cale: Maybe you understand non-interactive zero-knowledge proofs?
02:04:34 <Cale> I'm not even sure what that refers to
02:05:57 -!- boily has quit (Quit: INSISTENT CHICKEN).
02:06:26 <oerjan> . 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 <HackEgo> [wiki] [[Maybe Later]] N https://esolangs.org/w/index.php?oldid=52951 * TehFlaminTaco * (+4404) Initial Writeup.
02:14:59 <HackEgo> [wiki] [[Maybe Later]] M https://esolangs.org/w/index.php?diff=52952&oldid=52951 * TehFlaminTaco * (-25) Category Fixes
02:15:19 <HackEgo> [wiki] [[Maybe Later]] https://esolangs.org/w/index.php?diff=52953&oldid=52952 * TehFlaminTaco * (+0)
02:16:30 <HackEgo> [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 <shachaf> Cale: Do you like the regular kind of zero-knowledge proofs?
02:28:06 <shachaf> 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 <HackEgo> [wiki] [[Special:Log/newusers]] create * Kerbybit * New user account
03:03:25 -!- ATMunn has quit (Quit: See ya! o/).
03:08:26 <HackEgo> [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 <Cale> shachaf: I just have zero knowledge about them
03:17:47 <shachaf> 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 <shachaf> `5 w
04:10:18 <HackEgo> 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 <shachaf> `n
04:10:26 <HackEgo> 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 <shachaf> `n
04:10:29 <HackEgo> 3/3:ional between two expressions, prints a text-based menu prompt in a loop, and more.
04:14:12 <shachaf> oerjan: if i send you a copy of a jam would you jam it
04:15:09 <oerjan> sorry, i only eat genuine jams hth
04:15:28 <shachaf> I mean computer game.
04:15:53 <oerjan> unlikely hth
04:16:07 <oerjan> (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 <zzo38> Do you know how to make poker with tarot?
05:30:14 <zzo38> 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 <zzo38> Do you like this?
05:43:17 <zzo38> 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 <zzo38> (Actually I made a mistake there isn't 32 kind of hand)
06:25:46 <shachaf> zzo38: Is that Double Fanucci?
06:26:36 <zzo38> No, it is poker with tarot cards
06:26:50 <shachaf> I think Double Fanucci is better.
06:27:37 <zzo38> We have to figure out the ranking of the hands by the probability.
06:53:18 -!- wob_jonas has joined.
06:54:02 <wob_jonas> 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 <wob_jonas> 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 <wob_jonas> In particular, how come APR doesn't have one?
07:01:11 <wob_jonas> (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 <mroman> I have three accounts now
07:48:00 <mroman> Is this against the policy :D
08:38:34 <int-e> wtf, who writes "computably enumerable" for "recursively enumerable"
08:41:36 <shachaf> Wouldn't it be a better name?
08:42:15 -!- sleffy has quit (Ping timeout: 240 seconds).
08:43:00 <int-e> too late now
08:47:59 <int-e> 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 <Taneb> 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 <int-e> (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 <mroman> is the fixpoint combinatior this \x.xx thing?
09:35:49 <mroman> it doesn't have a type in simply typed lambda calculus though
09:39:10 <Taneb> 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 <Taneb> Basically it turns f into f (f (f (f (f (f ...
09:40:35 <shachaf> Well, it's not that, because that doesn't type-check.
09:40:41 <Taneb> Well, yes
09:41:14 <Taneb> That's a fixed point combinator in untyped lambda calculus, and a valid type for the whole thingy
09:41:43 <Taneb> But it has to be a black box to the type system
09:41:48 <shachaf> Except you probably need a family of fixed point combinations, I think int-e mentioned.
09:42:55 <Taneb> Yeah
09:43:58 <shachaf> combinators
09:44:04 <shachaf> Wait, what does "combinator" mean again?
09:44:13 <shachaf> I think it should just be called a function.
09:44:14 <Taneb> I don't know, it's kind of an empty word to me
09:44:40 <int-e> 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 <int-e> (Subtraction is more or less needed for testing equality; equality testing is needed for encoding Diophantine set)
09:45:53 <Taneb> int-e, hmm, that is an obstacle
09:46:02 <shachaf> Does STLC have a good representation of natural numbers?
09:49:07 <int-e> 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 <shachaf> How do Church numerals work?
09:51:21 <int-e> :t \n f x -> iterate f x !! n
09:51:23 <lambdabot> Int -> (a -> a) -> a -> a
09:51:31 <shachaf> Sure, I mean in STLC
09:51:40 <shachaf> Do you just assign some particular type?
09:51:42 <int-e> you can instantiate (a -> a) -> a -> a
09:51:53 <shachaf> But nce you instantiate it you get other inhabitants.
09:51:56 <shachaf> o
09:52:20 <int-e> that doesn't really matter for TC considerations
09:54:09 <shachaf> Sure.
09:54:26 <int-e> you have a contract, outside of the type system, to only use actual Church numerals
09:54:48 <shachaf> The question was meant more generally.
09:56:29 <int-e> 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 <int-e> (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 <int-e> anyway. lunch, work... laters
09:58:44 <shachaf> 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 <mroman> \f.(\x.fxx)(\x.fxx)
10:34:18 <mroman> this one?
10:35:05 <mroman> if you call it with x this becomes (\x.xx)(\x.xx)
10:37:23 <mroman> I still don't understand how fix can terminate in haskell.
10:38:10 <mroman> ah. lazy evaluation will do it.
10:38:56 <mroman> 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 <Taneb> @tell mroman No, \f.(\x.f(x x))(\x.f(x x))
10:57:44 <lambdabot> Consider it noted.
10:58:19 <Taneb> @tell mroman this becomes \f.f ((\x.f(x x))(\x.f(x x))
10:58:19 <lambdabot> Consider it noted.
10:58:31 <Taneb> @tell Which is the same but applied to an f
10:58:32 <lambdabot> 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 <mroman> `döts Hardfish
11:58:51 <HackEgo> ​Ḧärdfïsḧ
11:59:10 <mroman> @messages-loud
11:59:10 <lambdabot> oerjan said 5d 11h 45m 5s ago: <mroman_> !bftxt_gen <-- EgoBot is dead, use `! bf_txtgen for HackEgo's version
11:59:10 <lambdabot> Taneb said 1h 1m 26s ago: No, \f.(\x.f(x x))(\x.f(x x))
11:59:10 <lambdabot> Taneb said 1h 51s ago: this becomes \f.f ((\x.f(x x))(\x.f(x x))
12:07:03 <HackEgo> [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 <code>,</code> instruction from Brainfuck which is used to input a character (ASCII) wherea..."
12:07:57 <HackEgo> [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52957&oldid=52948 * Mroman2 * (+53)
12:16:44 <HackEgo> [wiki] [[Härdfïsh]] https://esolangs.org/w/index.php?diff=52958&oldid=52956 * Mroman2 * (+150) * algorithms
12:16:51 <HackEgo> [wiki] [[Härdfïsh]] https://esolangs.org/w/index.php?diff=52959&oldid=52958 * Mroman2 * (+1) /* = Setting a cell to one */
12:17:35 <HackEgo> [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 <HackEgo> [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52961&oldid=52957 * Mroman2 * (+125) /* Some Constants */
12:38:39 <HackEgo> [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52962&oldid=52961 * Mroman2 * (+0) /* With r */
12:39:03 <HackEgo> [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52963&oldid=52962 * Mroman2 * (+69) /* Some Constants */
12:50:08 <int-e> @tell taneb https://mathoverflow.net/questions/261934/is-simply-typed-lambda-calculus-with-fixed-point-combinator-turing-complete
12:50:08 <lambdabot> 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 <HackEgo> [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52964&oldid=52963 * Mroman2 * (+378) /* With r */
13:07:58 <HackEgo> [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 <HackEgo> [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 <HackEgo> [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 <mroman> ah shit.
13:24:40 <HackEgo> [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 <HackEgo> [wiki] [[Hardfish]] https://esolangs.org/w/index.php?diff=52969&oldid=52968 * Mroman2 * (-3464) ! this time it should be correct.
13:40:12 <fizzie> The other day walked past a forest planted by "the Kent Men of the Trees".
13:40:14 <fizzie> 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 <mroman> tfw even a guy from 10'000 BC could draw better animals than you
15:07:07 <kurolox> 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 <mroman> someday somebody will look at brainfuck programs
16:01:54 <mroman> and it will be like voynich manuscript
16:01:59 <moony> lol
16:02:19 <mroman> experts will disagree on the time period
16:02:22 <mroman> and think it's a hoax
16:02:46 <mroman> while others will say it's a cipher hiding important information about extinct plants.
16:03:00 <mroman> others agree that it was created by kids on cocaine
16:03:31 <mroman> but they don't know what cocaine was
16:03:36 <mroman> it has been lost
16:03:38 <mroman> they just know it's some drug
16:03:47 <mroman> so maybe some of the brainfuck stuff contains instructions on how to create cocaine
16:03:57 <moony> 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 <moony> And, i actually think it *might* be turing complete. Which is intresting.
16:04:56 <moony> (Oh, forgot to mention, sets can be compared, and either jmp if yes or just continue if no)
16:06:45 <moony> i already know a pseudo-fibonnaci can be made (With the amount of sets in the set 'A' being the number)
16:08:07 <moony> 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 <moony> 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 <fizzie> 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 <kurolox> cool fizzie
16:49:38 <kurolox> I haven't showed you what I've done with UMLBox, by the way
16:49:48 <kurolox> https://github.com/Kurolox/ArcoexBot
16:51:30 <fizzie> I saw that screenshot, just a few hours late.
16:51:32 <fizzie> Don't know anything about Discord though.
16:53:06 -!- Deewiant has joined.
16:56:09 <int-e> wow, why would you repeat the fs contents instead of padding with zeros
16:56:54 <APic> *shrug*
16:57:10 <APic> That probably has something to do with „Ghost in the Shell“ from the 2017s.
16:57:52 <fizzie> 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 <int-e> Can't blame you, I wouldn't either.
16:58:27 <int-e> But it is curious :)
17:05:17 <fizzie> Well, I see where it happens in the code, but I don't really know the intention.
17:06:16 <fizzie> There's a read loop of the form do { n = pread(...); ... } while ((n < len) && (n != 0)).
17:07:04 <fizzie> 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 <fizzie> Since read would advance the file offset.
17:07:35 <fizzie> 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 <fizzie> So maybe it's actually a bug.
17:07:44 -!- AnotherTest has quit (Ping timeout: 246 seconds).
17:07:59 <APic> *shrug*
17:08:14 <APic> ,o0(git blame)
17:09:15 -!- Phantom_Hoover has joined.
17:09:32 <fizzie> https://github.com/torvalds/linux/commit/8c6157b6b -- looks that way.
17:10:29 <fizzie> 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 <fizzie> But repeatedly reading from the same offset is at least a little odd.
17:12:48 <int-e> if (n < len) memset(&buf[n], 0, len - n); <-- so it was supposed to pad with zeros.
17:13:23 <fizzie> Yes, if it hit EOF. Of course now it won't ever do so.
17:13:32 <fizzie> It does smell a little buggy.
17:13:54 <int-e> 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 <int-e> (I mean, if you emulate a block device, you shouldn't be returning partial blocks)
17:14:48 <fizzie> I'd post on the devel mailing list but that seems like too much work.
17:17:32 <int-e> lkml is scary
17:17:47 <int-e> I guess you'd go to the uml one
17:18:04 <int-e> (hoping that there is one)
17:18:26 -!- Taneb has joined.
17:18:33 <Taneb> I think Ive been losing channels
17:20:08 <Taneb> int-e, thanks for looking that up for me1
17:20:22 <int-e> actually a colleague found it for me :)
17:20:24 <fizzie> int-e: There's a user-mode-linux-devel@lists.sourceforge.net that does seem to be still getting some traffic.
17:20:44 <Taneb> int-e, thank your colleague for me, then
17:23:37 <int-e> will do
17:32:43 <moony> uh, i wonder if that could be used to write to kernel memory? *Totally understands*
17:34:22 <APic> *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 <mroman> relcome to the finish hub
18:48:09 <zzo38> 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 <mroman> @media all and (monochrome)
19:01:57 <lambdabot> Unknown command, try @list
19:02:19 <mroman> at least that's what mozillas dev guide mention
19:02:21 <int-e> epaper?
19:02:28 <mroman> https://developer.mozilla.org/de/docs/Web/CSS/Media_Queries/Using_media_queries#monochrome
19:02:44 <int-e> I mean, there *are* modern monochrome displays.
19:03:07 <mroman> there's even @media tv and (scan: progressive) { ... }
19:03:45 <int-e> is there a test for interlacing too?
19:03:49 <mroman> 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 <mroman> and there's grid selector
19:04:00 <mroman> interesting.
19:04:21 <mroman> in case lynx supports css3 or what?
19:06:02 <mroman> MONOHCROME
19:06:03 <mroman> WHAT IS THIS
19:06:11 <mroman> THE 70s CALLED?
19:06:45 <mroman> there's also min-monochrome
19:06:48 <mroman> i.e. for gameboys
19:06:56 <mroman> which have 4bit monochrome color
19:08:24 <mroman> -moz-windows-theme Requires Gecko 2.0(Firefox 4 / Thunderbird 3.3 / SeaMonkey 2.1)
19:08:25 <mroman> haha
19:08:26 <mroman> ok
19:08:31 <mroman> I guess that's what phishers use
19:08:33 <mroman> and spammers
19:08:50 <mroman> so they can present a fake overlay that looks like an actual windows window
19:09:04 <mroman> just query the theme they use to present the most realistic fake window :D
19:10:46 <mroman> int-e: there's a test for handheld
19:10:52 <mroman> not sure if dot matrix printers count as handheld :D
19:11:07 <mroman> and there's a test for progressive/interlace yes
19:12:04 <mroman> Pseudo-BNF (for those of you that like that kind of thing)
19:12:08 <mroman> bnf?
19:12:17 <mroman> beautiful nude females?
19:12:26 <fizzie> Backus–Naur form.
19:12:30 <mroman> I know :D
19:12:45 <mroman> BraiNFuck
19:13:15 <mroman> [, <media_query> ]
19:13:26 <mroman> I guess this is a sink program then.
19:15:12 <mroman> is htmlx still a thing?
19:15:17 <mroman> or what was it called
19:15:24 <fizzie> XHTML?
19:15:35 <mroman> hta
19:16:25 <mroman> presumably this style is getting somewhat popular again
19:16:36 <fizzie> Apparently there's a XHTML syntax variant as part of HTML5.
19:16:41 <fizzie> https://www.w3.org/TR/html5/the-xhtml-syntax.html
19:16:47 <mroman> except that instead of running code in the browser you run it in a local node.js
19:17:04 <mroman> https://en.wikipedia.org/wiki/Electron_(software_framework)
19:17:08 <mroman> ^- Atom is using that apparentely
19:18:23 <mroman> I hate node.js
19:19:19 <mroman> fizzie: hta was html+visual basic (executed by IE)
19:21:14 <fizzie> Well, Mozilla's got their XUL as well.
19:23:10 -!- archibald__ has joined.
19:24:07 <zzo38> I think grid and monochrome make sense, although I am not sure why you need to test for progressive scan.
19:26:04 <zzo38> 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 <zzo38> 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 <mroman> I hate javascript as well ;)
19:32:20 <zzo38> Then that seem a good enough reason to hate Node.js if you hate JavaScript
19:34:20 <zzo38> 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 <moony> zzo38, eww 'goto
19:50:20 <mroman> eh
19:50:24 <mroman> any good games out there?
19:51:40 <zzo38> I suppose depend, what game you want?
19:55:31 <mroman> I don't know.
19:55:33 <mroman> That's the problem :D
19:56:28 <APic> :D
19:57:06 <zzo38> A computer game, card game, or chess game?
19:57:19 <APic> Games rock.
19:57:26 <int-e> heh I was assuming computer game, by default
19:57:26 <zzo38> (or ones that are more than one of this; that happens too)
19:57:41 <int-e> but that doesn't really solve the problem since there are multitudes of them
19:58:22 <APic> *shruhg*
19:58:39 <APic> s/uhg/ug/
19:59:13 <int-e> what's with the halloween craze, it's not even september
19:59:23 <int-e> (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 <int-e> (but won't buy)
20:00:11 <zzo38> I happen to like the NES/Famicom game "Lunar Limit", which you may run on a NES/Famicom emulator or hardware.
20:06:48 <mroman> yeh computer games
20:06:57 <mroman> for other games I'd need other people
20:07:01 <mroman> which I don't have
20:07:18 <mroman> and can't have
20:07:21 <mroman> too sick for that
20:09:09 <int-e> puzzle, adventure, role playing, jump&run, shooter, strategy, simulator, racing... this still seems rather unspecific so far :P
20:10:31 <mroman> not a huge fan of FPS.
20:10:47 <mroman> and it's gotta by lightweight
20:11:01 <mroman> should run on a ultralight notebook
20:11:11 <mroman> and without mouse
20:11:11 <mroman> so
20:11:13 <mroman> probably more racing/strategy
20:12:18 -!- jaboja has joined.
20:12:55 <int-e> mmm lightweight
20:13:29 <mroman> yeah
20:13:33 <mroman> gotta fight into my backpack
20:13:38 <mroman> :D
20:13:40 <mroman> well
20:13:45 <mroman> also it gotta fit into my backpack
20:13:59 <mroman> why does my brain write fit as fight
20:14:59 <mroman> I wanted to go travel for a long time
20:15:04 <mroman> but too sick all the time to actually do it.
20:15:48 <mroman> so... I waited hoping it would get better eventually
20:16:13 <mroman> 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 <mroman> 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 <int-e> I guess the most lightweight games I'm currently enjoying are the wadjet eye games adventure games
20:18:13 <mroman> 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 <mroman> also it's gotta work offline
20:18:30 <mroman> might not have internet everywhere
20:20:49 <int-e> funny, gog lists spacechem under "strategy"
20:21:00 <int-e> (but also "puzzle")
20:21:31 <int-e> and actually, looking at the screenshots there may be a strategy component to it.
20:24:56 <APic> int-e is wise.
20:27:59 <int-e> `grwp mockery
20:28:03 <HackEgo> No output.
20:28:09 <int-e> `quote mockery
20:28:10 <HackEgo> 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 <mroman> spacechem looks nice
20:37:30 <imode> shenzhen I/O is nice too.
20:40:51 -!- AnotherTest has joined.
20:51:53 <fizzie> And TIS-100 in the middle.
20:53:22 <shachaf> 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 <int-e> 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 <FireFly> S:I/O is more polished than TIS-100, but they're both neat games with different challenges
21:20:45 <int-e> I want a standalone version of the konstruktor game
21:21:58 <int-e> (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 <int-e> 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 <Taneb> int-e, I'd like a standalone Codex of Alchemical Engineering, I think that was the first Zachtronics game I played
21:50:12 <alercah> it's called spacechem :P
21:50:40 <Taneb> alercah, Spacechem has a similar mechanic and conceit but a completely different aesthetic!
21:50:58 <int-e> Taneb: actually it's not too difficult to just download the right files.
21:51:19 <int-e> (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 <int-e> 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 <fizzie> 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 <int-e> fizzie: you can save it for later, when you're back at work
22:43:58 <fizzie> I'm not sure I can.
22:45:54 -!- boily has joined.
22:56:26 <boily> `5 w
22:56:33 <HackEgo> 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 <boily> `n
22:59:40 <HackEgo> 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 <boily> sentience is the primary goal of fungot. fungot shall not reach sentience.
22:59:54 <fungot> 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 <ais523> \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 <shachaf> Spent all day at the hospital. Had an X-ray and a CT scan and all sorts of things.
23:37:02 <shachaf> 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 <boily> helloochaf. everything's fine?
23:52:15 -!- ais523 has quit.
23:52:24 -!- ais523 has joined.
23:53:29 <shachaf> Seems to be.
23:54:14 -!- boily has quit (Ping timeout: 240 seconds).
←2017-08-27 2017-08-28 2017-08-29→ ↑2017 ↑all