00:06:29 -!- erdic has joined.
00:12:04 <elliott> int-e: a dysfunctional game with a more dysfunctional development team :P
00:12:41 <Bike> dysfunctionaler
00:13:30 <boily> I don't mind the dysfunctionality. as long as I can transform anything that moves (and some of the stuff that don't) into poisoned pincushions on fire, everything is fine.
00:21:21 <oerjan> @tell ais523 <ais523> huh, Haskell has a printf? <-- it abuses type classes something fierce
00:30:40 -!- adu has quit (Quit: adu).
00:31:33 -!- adu has joined.
00:31:47 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
00:32:08 -!- Sgeo has joined.
00:37:11 -!- boily has quit (Quit: OPERATOR CHICKEN).
00:48:05 -!- nys has joined.
01:00:24 -!- adu has quit (Quit: adu).
01:02:09 <kmc> it should be a macro, like Rust's equivalent
01:02:41 <kmc> I used to say that it should use typed formatting combinators instead of format strings
01:02:47 <kmc> but format strings are pretty compelling for i18n
01:03:19 <elliott> I think you can do i18n well with formatting combinators.
01:03:33 <oerjan> kmc: hm it could easily be a quasiquote...
01:03:41 <kmc> i think there is a macro printf somewhere in TH, actually
01:04:15 <kmc> hm, but with the macro you can't load translations at runtime
01:04:26 <kmc> or switch languages very easily
01:04:48 <elliott> kmc: you can do it with Typeable if nothing else.
01:04:59 <oerjan> is there a haskell printf which can do that...
01:05:06 <kmc> elliott: aiui, translators (who are not necessarily developers) are very used to the tooling that goes with format strings
01:05:49 <elliott> kmc: would they care if the translation string looks like "foo" % int % "bar" rather than foo%dbar?
01:05:58 <oerjan> hm i guess it's not that hard to write a wrapper around usual printf
01:06:52 <kmc> for all I know Rust has support for dynamic format strings too
01:06:55 <kmc> after all the compiler is a library
01:09:34 -!- edwardk has joined.
01:10:36 <oerjan> haskell printf doesn't seem to have any of that fancy reordering stuff
01:11:24 <oerjan> sadly with the way C printf works it would be impossible to write a typesafe haskell wrapper around it
01:11:58 <kmc> yeah you want reordering for i18n
01:13:54 <elliott> you want identifier keys, really.
01:14:06 <oerjan> edwardk: hi we decided you have to rename s t a b into s w a t, hth
01:14:21 <kmc> shachaf: today I ate at King of Falaf[ei]l
01:14:29 <kmc> (they spell it both ways on the sign)
01:15:06 <oerjan> elliott: what's an identifier key
01:16:07 -!- fowl has quit (Ping timeout: 276 seconds).
01:17:14 <elliott> oerjan: as in, along the lines of the python '%(foo)s %(bar)s' % {'foo': ..., 'bar': ...} syntax
01:17:17 <kmc> apparently it used to be named Falafel Burger King
01:17:27 <elliott> or '{foo} {bar}'.format(foo=..., bar=...) in python 3
01:17:36 <Sgeo> kmc: can do typesafe format with dependent types
01:17:50 <elliott> Sgeo: no more useful than the macro version in practice
01:18:53 <elliott> oerjan: at that point you have a strong argument for just embedding subexpressions and having it be a templating language. foo and bar can just be locals, after all
01:19:48 <oerjan> elliott: i think kmc's comments are to the effect you _really really_ don't want translators to need to know haskell.
01:20:00 <kmc> shachaf: yes
01:20:09 <kmc> shachaf: though it wasn't as good as the first falafel sandwich I had there
01:20:12 <kmc> it'll never be as good :/
01:20:29 <elliott> oerjan: say you have (\n -> [fmt|Result %d{n} is %s{result n}.|]) [0..10]
01:20:38 <elliott> a translator will see Result %d{n} is %s{result n}.
01:20:54 <elliott> which is more accessible than Result %d{0} is %s{1}. or whatever a direct printf style thing would give you
01:21:04 <elliott> of course embedding complex expressions would be unreadable, but not only for the translator.
01:21:05 <oerjan> oh well i suppose they are opaque enough there
01:21:25 <elliott> if you do something complex you can just let complicated = ... in [fmt| ... %d{complicated} ...|]
01:23:33 -!- shikhin has joined.
01:25:43 -!- conehead has quit (Quit: Computer has gone to sleep).
01:30:40 -!- fowl has joined.
01:32:24 <Sgeo> I would have been pissed if Cryptol's number literal syntax included octal with just a leading 0
01:33:36 -!- realzies has joined.
01:35:47 <kmc> i'm glad you're not pissed
01:39:59 <copumpkin> who ever thought that leading 0 octal thing was a good idea
02:03:00 -!- conehead has joined.
02:13:59 -!- tertu has joined.
02:22:24 -!- shikhout has joined.
02:25:01 -!- shikhin has quit (Ping timeout: 252 seconds).
02:25:02 -!- shikhout has changed nick to shikhin.
02:29:34 -!- conehead has quit (Ping timeout: 276 seconds).
02:37:28 -!- nisstyre has joined.
02:37:46 <ion> http://i.imgur.com/hSgim85.jpg
02:38:20 <ion> I’m not sure why you even want syntax for different bases since every base is 10.
02:40:29 <pikhq> But do you mean 0b10, 0x10, 010, or 10?
02:41:32 <pikhq> Or maybe data:application/octet-stream;base64,10= ?
02:42:19 <Bike> is there a joke in the image somewhere
02:44:02 -!- adu has joined.
02:45:00 <oerjan> no, just an octopussy hth
02:49:51 <ion> Aww, while Erlang supports 16#1abc, it does not support 16#10#1abc or (16#10)#1abc.
03:15:04 -!- nys has quit (Quit: quit).
03:16:04 -!- tertu has quit (Read error: Connection reset by peer).
03:16:22 -!- tertu has joined.
03:25:05 -!- nisstyre has quit (Quit: WeeChat 0.4.3).
03:27:59 <Sgeo> "He got a prison sentence of at least 315 years and 8 months to life behind bars and has a 2309 parole eligibility date."
03:28:39 <Sgeo> I.. what... I don't get it. Is this like 'multiple life sentences'? Can parole eligibility dates be reduced?
03:28:42 <Sgeo> Colin Ferguson
03:30:06 <fowl> Sgeo, just in case prisoners get ahold of trancendence-enabling computers
03:31:00 <Bike> i think you need another judge to change parole eligibility
03:31:12 <fowl> one day we'll be able to put evil people inside mirrors and throw them into space like superman 2
03:31:33 <oerjan> and then we'll all be arrested for galactic littering.
03:31:34 <elliott> `addquote <fowl> one day we'll be able to put evil people inside mirrors and throw them into space like superman 2
03:31:36 <HackEgo> 1187) <fowl> one day we'll be able to put evil people inside mirrors and throw them into space like superman 2
03:33:15 -!- Sorella has quit (Quit: It is tiem!).
03:33:34 -!- kwertii has joined.
03:39:57 <tertu> i think there are some things you can't technically get life imprisonment for, but if you do enough stuff it will add up to past the amount anybody would actually live. i think these things are mostly technicalities.
03:41:18 <Sprocklem> tertu: Colin Ferguson was a murderer. Surely you can get life for that
03:42:10 <tertu> 315 years and 8 months to life
03:42:13 <tertu> that doesn't make sense
03:43:40 <tertu> my attempt at interpreting this is that, if he lived for 315 years, 8 months and showed good behavior the whole time, he could get off then
03:43:48 <tertu> but if he didn't it'd become a life sentence
03:44:22 <fowl> thats pretty common in the states
03:44:29 <Bike> if he's later exonerated of something the entire sentence won't disappear. it's pretty common
03:44:38 <fowl> sentencing to 150+ years
03:44:53 -!- tromp has quit (Remote host closed the connection).
03:45:24 <tertu> okay Bike that makes sense as to why they even do this in the first place
03:45:25 -!- tromp has joined.
03:46:53 <pikhq> Also, life sentences might have possibility of parole, while those effectively don't.
03:47:22 <pikhq> (doesn't apply to federal sentencing: they have ended parole)
03:48:43 -!- atehwa has quit (Read error: Operation timed out).
03:48:50 -!- atehwa has joined.
03:49:43 -!- tromp has quit (Ping timeout: 252 seconds).
03:56:29 <oerjan> hm reddit's i18n has some strange gaps.
03:57:20 <oerjan> my comment dates are a mishmash of english and norwegian, somewhat varying with whether i've collapsed the thread.
03:58:41 <oerjan> i guess someone made a translation years ago which has not been updated when things changed.
03:59:32 <oerjan> denne posten ble lagt til på 24 Apr 2014
03:59:32 <oerjan> 11 poeng (100% liker det)
03:59:32 <oerjan> 11 upvotes 0 downvotes
04:00:14 <oerjan> two lines of english, two lines of norwegian.
04:00:28 <oerjan> (Well properly the Apr should have been lower-case.)
04:04:15 <oerjan> Ved bruk av denne siden aksepterer du vår User Agreement og Privacy Policy. © 2014 reddit inc. Alle rettigheter forbeholdt.
04:04:17 <oerjan> REDDIT and the ALIEN Logo are registered trademarks of reddit inc.
04:07:48 <oerjan> i looked at the Yesod internationalization page. i wonder if _anyone_ ever gets the russian number - noun case correspondence properly.
04:08:30 <oerjan> sorry, noun case and gender, i think
04:08:47 <oerjan> i think at least 1 is inflected for gender
04:09:26 <kmc> i'm told there's also a difference between noun and adjective forms of a number
04:10:10 <oerjan> well the "always translate phrases, not words" advice seems good.
04:10:52 <pikhq> Yeah, a gloss translation seems bad.
04:10:59 <oerjan> until you find a phrase that depends on even larger context for translation.
04:21:04 <lambdabot> (Profunctor p, Functor f1, Functor g, Functor f) => AnIso s t a b -> p (f a) (f1 (g b)) -> p (f s) (f1 (g t))
04:34:48 -!- kwertii has quit (Quit: kwertii).
04:52:48 -!- shikhin has quit (Ping timeout: 252 seconds).
05:12:35 -!- glogbackup has quit (Ping timeout: 252 seconds).
05:14:18 <HackEgo> instimecoin bffe7ecoin madrincoin nietcoin singycoin repartretimercoin reverycoin descends.jscoin nonnelcoin monwarwitzcoin unquecoin hencoin aeolcoin ztcoin acrabarinworcoin buyercoin polisercoin mertcoin mimsheall0coin quotecoin
05:16:02 -!- glogbackup has joined.
05:39:52 -!- FreeFull has quit.
05:50:05 -!- tertu has quit (Ping timeout: 264 seconds).
05:55:42 -!- nisstyre has joined.
05:55:47 -!- lambdabot has quit (Read error: Operation timed out).
05:56:01 -!- glogbackup has quit (Remote host closed the connection).
05:56:37 -!- trout has quit (Read error: Operation timed out).
05:59:58 -!- lambdabot has joined.
06:00:59 -!- glogbackup has quit (Ping timeout: 252 seconds).
06:05:58 -!- glogbackup has quit (Ping timeout: 240 seconds).
06:14:52 -!- Sprocklem has quit (Quit: leaving).
06:15:37 <HackEgo> засыcoin гидроcoin обстренкамилоcoin подкладъйствcoin распрятаcoin бельнойcoin состиротоэиcoin судовеcoin косознашеcoin вайерныхcoin
06:18:17 <fizzie> `run sed -e 's/coin/монета/' -e 's/--eng-1M --esolangs/--russian/' bin/coins | sh
06:18:18 <HackEgo> поквицкоммонета писатмонета халиномонета тыревоймонета вэньскиммонета присобследемонета опитанпаньмонета забушкарейзенноммонета антируюимонета двучнографичмонета льгахмонета пригу
06:19:59 -!- MoALTz has quit (Quit: Leaving).
06:28:17 -!- oerjan has quit (Quit: leaving).
06:45:20 -!- glogbackup has quit (Ping timeout: 252 seconds).
06:45:35 <Taneb> I'm finally unruining lens
06:48:04 -!- MindlessDrone has joined.
06:51:22 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
06:51:32 -!- variable has joined.
06:58:33 -!- glogbackup has quit (Ping timeout: 252 seconds).
07:05:46 <Sgeo> http://www.reddit.com/r/magicTCG/comments/23x4z8/one_turn_7_cards_no_infinite_combos_amount_of/
07:08:13 <Taneb> Magic is a ridiculous game
07:08:26 <Taneb> And a game I very much don't want to get into.
07:19:02 -!- nisstyre has quit (Quit: WeeChat 0.4.3).
07:19:57 <augur_> ive discovered the right way to think about the SKI calculus
07:20:32 <Bike> my dad's a bigtime skiier.
07:20:36 <augur_> kmc: it involves categorical logic
07:26:28 -!- slereah_ has joined.
07:26:49 <Taneb> augur_, does it apply to BCKW calculus too?
07:27:08 <augur_> ive decided thats simplest
07:28:07 <Bike> bckw combinator calculus
07:28:53 <Taneb> slereah_, B = \x y z -> x (y z); C = \x y z -> x z y; W = \x y -> x y y
07:29:02 <kmc> hi slereah_
07:29:39 <Taneb> slereah_, I believe it predates SKI slightly and I find it simpler to write in
07:33:23 -!- glogbackup has quit (Ping timeout: 252 seconds).
07:34:13 <slereah_> I think those are the original letters yeah
07:34:18 <slereah_> In the article of what's his name
07:35:09 <Bike> "Schönfinkel developed a formal system that avoided the use of bound variables. His system was essentially equivalent to a combinatory logic based upon the combinators B, C, I, K, and S. Schönfinkel was able to show that the system could be reduced to just K and S and outlined a proof that a version of this system had the same power as predicate logic." hm hm.
07:36:04 <slereah_> The original article had the one combinator system
07:36:10 <slereah_> But he did say it was pretty pointless
07:36:37 <Bike> the bullshit combinator
07:38:09 -!- glogbackup has quit (Ping timeout: 265 seconds).
07:50:13 <coppro> are there any one-combinator systems?
07:50:58 <Bike> "or the runs-a-UTM combinator"
07:52:01 <coppro> I like that combinator
07:52:28 <coppro> oh, here was a fun one I thought of today: can we get a minor-closed class of graphs, membership in which is undecideable?
07:53:07 <coppro> read: can we design a language that's encoded in a graph so that any minor of a halting graph is also halting?
07:54:54 <slereah_> Plus you can do lambda calculus and such as graphs
07:55:01 <slereah_> The big one is the Kolmogorov machine
07:55:48 <coppro> you need labels though
07:58:18 <nortti> are there any analogues to regexps for languages higher in chomsky hierarchy?
07:58:42 <coppro> unrestricted grammars?
08:00:22 <nortti> well, there are the "regexps" wuth backreferences but those are just ugly and still pretty limited
08:01:12 <coppro> then all those things I named :)
08:02:27 <nortti> yeah, but I've yet to see a notation similar to regexps that I could use with them
08:02:51 <Taneb> What computational class are regexps with unbounded backrefs?
08:03:34 <Bike> i'm going to say CFGs for no rigorous reason
08:03:43 <Bike> nortti: "clearly you should try snobol"
08:04:26 * slereah_ gets a C++ library, discretely moves the public: line
08:04:27 <nortti> Taneb: I'm actually not sure. I know that regexp with backrefs can recognise the a^n b^n c^n style grammar which PDA cannot. however even with backrefs one cannot match a sexpr
08:05:15 <coppro> nortti: how does a regexp with backrefs recognise a^nb^nc^n?
08:05:54 -!- adu has quit (Quit: adu).
08:05:56 <coppro> Bike: They are definitely not CFGs. A CFG cannot match square words
08:06:14 <nortti> yeah, cannot recognise them
08:06:43 <coppro> but at the same time, there are CFGs that they cannot recognise, like matched parens
08:08:14 <FireFly> PCRE has the ability to match the language of matching parens IIRC
08:12:34 <augur_> mm kmc: not so much actually. its more that, the SKI combinators in a categorical setting are sufficient, but the translation isn't direct syntax, it's via composition as well. hmm
08:12:52 <augur_> oh well. ill figure out something to write. :p
08:20:08 <slereah_> The nice thing about SKI is that it doesn't need a terminating character
08:20:23 <slereah_> You can assume that all characters to the left are ` and all to the right are I
08:22:30 <ski> i assume you mean one can omit initial applications and final identities ?
08:33:45 -!- conehead has joined.
09:35:37 -!- conehead has quit (Quit: Computer has gone to sleep).
09:42:55 <Taneb> https://docs.python.org/2.7/library/mmap.html#mmap.flush look at them return values
10:21:48 -!- yorick has joined.
10:25:59 <ski> Happy Happy, Joy Joy
10:26:02 -!- idris-ircslave has quit (Quit: Terminated).
10:26:20 -!- idris-ircslave has joined.
10:26:34 <slereah_> If you ain't the grandaddy of all liars
10:26:53 <slereah_> Though my favorite Ren and Stimpy song remains the Stinky Weaselteat carol
10:35:08 <fizzie> Huh, first time I think I've seen a "P" in df -h output.
10:43:04 <Melvar> Cool. I haven’t even seen a T yet.
10:43:16 <fizzie> http://sprunge.us/LbjS
10:43:23 <fizzie> It's not my disk, of course.
11:23:59 <fizzie> I would think E; E is the standard SI prefix.
11:24:05 <fizzie> Don't know about LVM limitations.
11:24:14 <fizzie> There's still Z and Y beyond that.
11:24:47 <fizzie> "For 64-bit CPUs on 2.6 kernels, the maximum LV size is 8EB."
11:24:58 <fizzie> (Some outdated LVM faq.)
11:28:46 <Jafet> I should probably just do a raid6 instead of forgetting to make backups all the time
11:30:13 -!- nooodl has joined.
11:31:36 <fizzie> RAIDs are kind of less safe when it comes to "user error"-style mishaps.
11:32:00 <fizzie> "rm -rf * ~" and such.
11:32:18 <fizzie> (To remove temporary files ending in ~. Not that I've ever done that.)
11:32:54 <fizzie> Of course a fancy filesystem with snapshots would help.
11:33:04 <Jafet> lvm is pretty safe, as long as the idiot user doesn't get root
11:33:40 <Jafet> Also, the only problems I've had so far are disk failures.
11:34:41 <fizzie> I don't know, I've done "gcc -o file.c" accidentally once or twice.
11:35:25 <Jafet> git reset helps with that.
11:36:27 <Jafet> But yeah, why does gcc truncate the file first
11:36:41 <Jafet> Another fun typo is gcc file.c -o file.c
11:37:17 <fizzie> We have hourly, daily and weekly snapshots (going maybe two months back or so) of home directories in something like /home/.snapshots/... so that people can restore their own files without bothering the administrative folks.
11:38:30 <Jafet> Which snapshotting filesystem is that?
11:38:46 <fizzie> I don't really know, it's a SAN kind of thing.
11:38:57 <fizzie> Might be ZFS-based, I understand that's pretty enterprisey.
11:39:07 <fizzie> (It's exposed over NFS to users.)
11:40:19 <fizzie> Hrm. I went to the .snapshot dir of our "research disk" and did a ls, and it froze up.
11:40:26 <fizzie> That's perhaps not a good sign.
11:40:52 <Jafet> It might be merging diffs.
11:41:08 <Jafet> Well, not at the top-level
11:42:03 <Jafet> It might be nearline, depending on how enterprisey the san is
11:42:22 <fizzie> Well, I abbreviated a bit; there's a couple of different systems.
11:42:43 <fizzie> This research disk is from the university IT department.
11:43:03 <fizzie> The snapshotted homes were from a slightly more local, department-wide SAN from my previous department.
11:43:21 <fizzie> And they've had at least two iterations of it in the time I was there.
11:51:10 <myname> what do you think about a crossover of befunge and malbolge?
11:51:33 <myname> like, you can move over the same char later but it will do other stuff
11:51:49 -!- lambdabot has quit (Remote host closed the connection).
11:54:02 <fizzie> As long as it's not called "belange".
11:54:13 <fizzie> Or some other such name.
11:54:21 <fizzie> Malfunge, bebolge. Whatever.
11:55:25 <fizzie> I kind of like Befunge programs that use the same letters to do "other stuff" in the sense that it's executed e.g. both vertically and horizontally to do different things.
11:55:39 -!- lambdabot has joined.
11:57:38 <Jafet> http://esolangs.org/wiki/multiprogramming
12:08:09 -!- Sorella_ has joined.
12:08:42 -!- Sorella_ has changed nick to Sorella.
12:28:19 <Jafet> Apparently, Windows 8 has a weird made-up "Storage Spaces" thing, which they emphatically describe as not RAID.
12:29:58 <fizzie> "-- enables you to virtualize storage by grouping industry-standard disks into storage pools, and then create virtual disks called storage spaces from the available capacity in the storage pools."
12:30:02 <fizzie> More than a bit, even.
12:30:36 <fizzie> Just remap "industry-standard disks" -> physical volumes, "storage pools" -> volume groups and "storage spaces" -> logical volumes.
12:31:04 -!- Sgeo has quit (Read error: Connection reset by peer).
12:32:31 <Jafet> Does LVM also allow different RAID levels for each volume?
12:37:41 <fizzie> Yes, I think so, these days. It might not be quite as fancy.
12:43:17 <fizzie> "lvcreate --type raid5 -L 5G -i 3 -I 64 -n my_lv vg00" "Creates a 5GiB RAID10 logical volume "vg00/my_lv", with 2 stripes on 2 2-way mirrors." -- (man lvcreate)
12:43:40 <fizzie> Oh, I mismatched some lines.
12:44:00 <fizzie> That's a RAID5 LV, as you might have guessed from the --type argument.
12:47:34 -!- nooodl_ has joined.
12:49:10 -!- tromp has joined.
12:49:38 -!- kronion has joined.
12:49:51 -!- nooodl has quit (Disconnected by services).
12:49:52 -!- nooodl_ has changed nick to nooodl.
12:50:14 -!- tromp has quit (Remote host closed the connection).
12:55:12 -!- kronion has quit (Quit: Leaving.).
13:01:08 <HackEgo> [wiki] [[Special:Log/newusers]] create * CodingBat * New user account
13:24:43 <HackEgo> [wiki] [[@tention!]] http://esolangs.org/w/index.php?diff=39399&oldid=30317 * CodingBat * (+473)
13:24:49 -!- tertu has joined.
13:31:01 -!- drdanmaku has joined.
13:35:05 -!- tertu has quit (Ping timeout: 252 seconds).
13:45:07 -!- Taneb has changed nick to hk3379.
13:48:30 -!- Tritonio has joined.
13:49:47 -!- hk3379 has changed nick to Taneb.
13:55:58 -!- nucular has joined.
13:55:58 -!- nucular has quit (Changing host).
13:55:58 -!- nucular has joined.
13:57:35 -!- CodingBat has joined.
13:58:39 -!- CodingBat has left.
14:02:48 -!- tertu has joined.
14:19:38 -!- Sprocklem has joined.
14:27:08 -!- Vamadeus has joined.
14:27:08 -!- Vamadeus has quit (Changing host).
14:27:08 -!- Vamadeus has joined.
14:43:18 -!- tertu has quit (Ping timeout: 240 seconds).
14:44:11 -!- Sprocklem has quit (Quit: leaving).
14:46:04 -!- Sprocklem has joined.
15:01:26 <Jafet> "1 x PCIe 3.0 x16 Slot, Supports AMD Quad CrossFireX, CrossFireX"
15:03:03 -!- impomatic has joined.
15:10:58 -!- Sprocklem has quit (Quit: brb).
15:11:58 -!- Patashu_ has quit (Ping timeout: 240 seconds).
15:12:38 -!- edwardk has quit (Quit: Computer has gone to sleep.).
15:13:11 -!- Sprocklem has joined.
15:15:38 -!- mhi^ has joined.
15:18:24 <mhi^> Hey, Sprocklem. ;)
15:21:01 <nortti> my plan of luring all of #osdev-offtopic here seems to be working :P
15:22:12 <Sprocklem> nortti: Does shikhin frequent here?
15:32:49 -!- Tritonio has quit (Ping timeout: 240 seconds).
15:35:05 <fizzie> nortti: You didn't feel there was enough off-topic discussion as it is?
15:36:51 <nortti> ðere can never be too much offtopic discussion!
15:37:39 <Sprocklem> (For the record I was here before today)
15:38:51 -!- yorick has quit (Remote host closed the connection).
15:39:17 <HackEgo> U+00F0 LATIN SMALL LETTER ETH \ UTF-8: c3 b0 UTF-16BE: 00f0 Decimal: ð \ ð (Ð) \ Uppercase: U+00D0 \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right)
15:40:13 <Melvar> Not to be confused with đ.
15:40:24 <HackEgo> U+0111 LATIN SMALL LETTER D WITH STROKE \ UTF-8: c4 91 UTF-16BE: 0111 Decimal: đ \ đ (Đ) \ Uppercase: U+0110 \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right)
15:41:20 <nortti> what is the last char in that?
15:41:34 <HackEgo> U+2F79 KANGXI RADICAL NET \ UTF-8: e2 bd b9 UTF-16BE: 2f79 Decimal: ⽹ \ ⽹ \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ Decomposition: <compat> 7F51
15:41:47 <HackEgo> U+00D0 LATIN CAPITAL LETTER ETH \ UTF-8: c3 90 UTF-16BE: 00d0 Decimal: Ð \ Ð (ð) \ Lowercase: U+00F0 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+0110 LATIN CAPITAL LETTER D WITH STROKE \ UTF-8: c4 90 UTF-16BE: 0110 Decimal: Đ \ Đ (đ) \ Lowercase: U+0111 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-
15:42:14 <Jafet> `run unicode ÐĐƉ | fgrep U+
15:42:15 <HackEgo> U+00D0 LATIN CAPITAL LETTER ETH \ Lowercase: U+00F0 \ U+0110 LATIN CAPITAL LETTER D WITH STROKE \ Lowercase: U+0111 \ U+0189 LATIN CAPITAL LETTER AFRICAN D \ Lowercase: U+0256
15:42:39 <Jafet> `run unicode ðр⽹ | grep -E '^U\+'
15:42:40 <HackEgo> U+00F0 LATIN SMALL LETTER ETH \ U+0440 CYRILLIC SMALL LETTER ER \ U+2F79 KANGXI RADICAL NET
15:43:12 <nortti> "It is also used as the letter symbol for the internet cryptocurrency, Dogecoin." https://en.wikipedia.org/wiki/%C4%90
15:45:16 -!- AnotherTest has joined.
15:54:33 <fizzie> http://sprunge.us/dSXL (possible) victory!
15:55:12 <fizzie> Also there is still `unidecode, you don't need to play around with unicode + grep.
15:57:12 <Jafet> Did you beat the poor caged-up drive into submission
16:03:38 -!- Vamadeus has quit (Ping timeout: 240 seconds).
16:04:32 -!- Phantom_Hoover has joined.
16:05:06 -!- slereah_ has quit (Quit: Leaving).
16:11:12 <fizzie> I just put it in a different box.
16:12:18 <fizzie> Somewhat curiously, in my non-boxlike USB dock thing the same drive says "732566646 4096-byte logical blocks" rather than the "5860533168 512-byte logical blocks" + "4096-byte physical blocks" thing it does in this box.
16:17:20 -!- MoALTz has joined.
17:01:21 <HackEgo> [wiki] [[Special:Log/newusers]] create * Creeparoo * New user account
17:17:34 -!- Vamadeus has joined.
17:17:34 -!- Vamadeus has quit (Changing host).
17:17:34 -!- Vamadeus has joined.
17:29:09 <kmc> good morning
17:32:28 <HackEgo> [wiki] [[@tention!]] http://esolangs.org/w/index.php?diff=39400&oldid=39399 * Oerjan * (+0) Why would you change that?
17:35:49 -!- Sprocklem has quit (Ping timeout: 252 seconds).
17:38:55 <kmc> `run cat $(which unicode)
17:38:55 <HackEgo> #!/usr/bin/python \ \ \ import os, glob, sys, unicodedata, locale, gzip, re, traceback, encodings \ import urllib, webbrowser, textwrap \ \ # bz2 was introduced in 2.3, we want this to work also with earlier versions \ try: \ import bz2 \ except ImportError: \ bz2 = None \ \ # for python3 \ try: \ unicode \ except NameError: \
17:39:10 <kmc> `run wc -l $(which unicode)
17:39:58 <Jafet> `cat /bin/unicode.old
17:39:59 <fizzie> It's https://packages.debian.org/search?keywords=unicode nowadays.
17:39:59 <HackEgo> cat: /bin/unicode.old: No such file or directory
17:40:21 <Jafet> `run cat /bin/unicode.*
17:40:21 <HackEgo> cat: /bin/unicode.*: No such file or directory
17:40:40 <fizzie> You don't want a /bin/, you want a bin/.
17:40:50 <Jafet> `run cat bin/unicode.*
17:40:50 <HackEgo> #!/usr/bin/env python \ # -*- encoding: utf-8 -*- \ import re \ import sys \ import unicodedata \ def l(c): m = re.match('(?:U[+])?([0-9a-f]{1,5})$', c, re.I); return unicodedata.lookup(c) if m is None else unichr(int(m.group(1),16)) \ try: \ print u''.join(map(l, sys.argv[1:])).encode('utf-8') \ except KeyError: \ print u'Unknown charac
17:41:03 <fizzie> `run wc -l bin/unicode.old
17:41:57 <HackEgo> U+1DC2 COMBINING SNAKE BELOW \ UTF-8: e1 b7 82 UTF-16BE: 1dc2 Decimal: ᷂ \ ᷂ \ Category: Mn (Mark, Non-Spacing) \ Bidi: NSM (Non-Spacing Mark) \ Combining: 220 (Below) \ \ U+2E92 CJK RADICAL SNAKE \ UTF-8: e2 ba 92 UTF-16BE: 2e92 Decimal: ⺒ \ ⺒ \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+1F40D SNAKE \ UT
17:43:17 <fizzie> I appreciate Unicode 6.x support as much as the next guy, but I have to admit I liked the old scripts more.
17:43:20 <fizzie> These are just so verbose.
17:43:42 <fizzie> Also so many features.
17:43:45 <HackEgo> [wiki] [[Poop]] N http://esolangs.org/w/index.php?oldid=39401 * Creeparoo * (+1236) Created page with "Poop is an esoteric programming language made by Eike Tim Jesinghaus in april 2014. Poop is unusable for programming, because it's just a joke/fun language. Poop has one empty..."
17:44:33 <HackEgo> [wiki] [[Poop]] http://esolangs.org/w/index.php?diff=39402&oldid=39401 * Creeparoo * (+0)
17:45:58 <HackEgo> [wiki] [[Poop]] http://esolangs.org/w/index.php?diff=39403&oldid=39402 * Creeparoo * (+1)
17:46:08 <Jafet> It's a... turning cesspit
17:46:44 <myname> someone told me about a language where the instruction pointer was water/liquid, anybody knows which language this could be?
17:47:09 -!- edwardk has joined.
17:47:10 -!- idris-ircslave has quit (Quit: Terminated).
17:47:15 <Jafet> `run tail -n 3 bin/unicode.old
17:47:15 <HackEgo> print u''.join(map(l, sys.argv[1:])).encode('utf-8') \ except KeyError: \ print u'Unknown character.'
17:47:26 -!- idris-ircslave has joined.
17:48:33 <kmc> the loneliest number
17:49:02 <Slereah> Zero is the loneliest number
17:49:55 -!- FreeFull has joined.
17:52:01 -!- idris-ircslave has quit (Client Quit).
17:52:18 -!- idris-ircslave has joined.
17:53:19 <idris-ircslave> (input):1:1:When elaborating an application of constructor __infer:
17:53:30 <idris-ircslave> (input):1:1:When elaborating an application of constructor __infer:
17:55:34 <Melvar> I made a conffile saying in #esoteric its prefix is only ( , and coded so far that it should obey that, but evidently something is still wrong.
17:56:17 <Jafet> `run mv bin/{un,mult}icode && (head -n -1 bin/unicode.old | sed 's/import sys/import sys, os/'; echo ' os.execvp("multicode", sys.argv[1:])') > bin/unicode && rm bin/unicode.old
17:56:25 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/unicode: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/unicode: cannot execute: Permission denied
17:56:33 <Jafet> `run chmod +x bin/unicode
17:58:27 <Jafet> Wait, remind me why I replaced bin/unicode
17:59:18 <fizzie> Because the old one used Python's built-in Unicode database, which was stuck with Unicode 5.2.
17:59:35 <fizzie> At least that's what I assumed.
18:00:06 <lambdabot> <hint>:1:1: parse error on input ‘:’
18:00:17 -!- variable has quit (Quit: I found 1 in /dev/zero).
18:00:54 <Jafet> `rm bin/UnicodeData.txt
18:01:25 <HackEgo> [U+1F000 MAHJONG TILE EAST WIND]
18:01:45 -!- conehead has joined.
18:02:29 -!- idris-ircslave has quit (Quit: Terminated).
18:02:52 -!- idris-ircslave has joined.
18:02:54 -!- idris-ircslave has quit (Client Quit).
18:04:49 <fizzie> I'd appreciate if this new `unicode did character names correctly.
18:04:53 <HackEgo> Usage: multicode [options] arg \ \ Options: \ -h, --help show this help message and exit \ -x, --hexadecimal Assume arg to be hexadecimal number \ -o, --octal Assume arg to be octal number \ -b, --binary Assume arg to be binary number \ -d, --decimal Assume arg to be decimal number \ -r, --rege
18:05:27 <Jafet> `run sed -i 's/"multicode", /"multicode", ["multicode"] +/' bin/unicode
18:05:47 <Jafet> `unicode BUNNY WOMAN
18:06:13 <Jafet> `unicode WOMAN WITH BUNNY
18:06:14 <HackEgo> U+1F46F WOMAN WITH BUNNY EARS \ UTF-8: f0 9f 91 af UTF-16BE: d83ddc6f Decimal: 👯 \ 👯 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
18:06:40 <fizzie> Oh, so it's a fallback thing now, I missed that entirely.
18:06:48 <fizzie> Well, that's reasonable.
18:07:32 -!- idris-ircslave has joined.
18:07:39 <Jafet> `run multicode DUNNO # just checking
18:08:05 <lambdabot> No instance for (Data.Typeable.Internal.Typeable b0)
18:08:05 <lambdabot> arising from a use of ‘M57523064348926377873909.show_M57523064348926377873...
18:08:05 <lambdabot> The type variable ‘b0’ is ambiguous
18:08:05 <lambdabot> Note: there are several potential instances:
18:08:05 <lambdabot> instance Data.Typeable.Internal.Typeable Data.Aeson.Lens.Primitive
18:08:28 <Melvar> Looks like it’s working now.
18:08:36 -!- MindlessDrone has quit (Quit: MindlessDrone).
18:08:54 -!- variable has joined.
18:10:01 <Melvar> Good news everyone! You can use > for lambdabot again!
18:10:54 <Jafet> I guess we can scrap the five-year soviet reeducation program, then.
18:11:35 <kmc> the first step is to learn to spell it reëducation
18:11:42 -!- variable has quit (Max SendQ exceeded).
18:12:50 <Melvar> Does anyone want to guess what the problem fifteen minutes ago was?
18:13:11 <nortti> (I hope this does not get interpreted
18:13:45 <Melvar> idris-ircslave: ( "calling"
18:14:35 <Melvar> It now also strips its nick before any further interpretation, rather than using “idris-ircslave: ” as a prefix.
18:16:23 <Melvar> nortti: The prefix includes the space.
18:17:14 <Jafet> `run (sed -e 's/import sys/import os, sys/' -e 's/^print \(.*\)$/s = \1/' bin/unidecode; echo $'if u"DUNNO" in s:\n os.execvp("multicode", ["multicode"] + sys.argv[1:])\nelse:\n print s') > /tmp/a && mv /tmp/a bin/unidecode
18:17:21 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/unidecode: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/unidecode: cannot execute: Permission denied
18:17:32 <Jafet> `run chmod +x bin/unidecode
18:17:36 <HackEgo> U+1F46F WOMAN WITH BUNNY EARS \ UTF-8: f0 9f 91 af UTF-16BE: d83ddc6f Decimal: 👯 \ 👯 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
18:18:19 <Jafet> (Yes, they both fall back to the same program)
18:22:13 <fizzie> The unidecode fallback should perhaps be multicode -s explicitly.
18:22:39 <fizzie> (I'm sure people will often need to `unidecode 1234 or some-such, yes.)
18:22:57 -!- pdxleif has joined.
18:23:46 <HackEgo> [U+0031 DIGIT ONE] [U+0032 DIGIT TWO] [U+0033 DIGIT THREE] [U+0034 DIGIT FOUR]
18:23:55 -!- variable has joined.
18:27:34 <fizzie> Well, okay, I guess that doesn't involve a fallback.
18:54:38 -!- mhi^ has quit (Quit: Lost terminal).
18:56:50 -!- mhi^ has joined.
19:21:26 -!- Vamadeus has quit (Remote host closed the connection).
19:43:55 <Bike> "So. It’s World Penguin Day & DNA Day… AND World Malaria Day & Ed Balls Day." kmc you know what to do
19:44:27 <kmc> is it really ed balls day already?
19:45:02 <kmc> seems like last ed balls day was just recently
19:45:08 <kmc> oh it's Monday
19:56:19 -!- Frooxius has joined.
19:59:05 -!- Frooxius has quit (Read error: Connection reset by peer).
19:59:40 -!- Frooxius has joined.
21:00:23 -!- idris-ircslave has quit (Quit: Terminated).
21:00:36 -!- idris-ircslave has joined.
21:01:27 -!- sebbu has quit (Ping timeout: 265 seconds).
21:01:38 -!- idris-ircslave has quit (Client Quit).
21:06:10 -!- idris-ircslave has joined.
21:19:17 -!- edwardk has quit (Ping timeout: 252 seconds).
21:25:24 -!- yorick has joined.
21:32:31 -!- idris-ircslave has quit (Quit: Terminated).
21:32:45 -!- idris-ircslave has joined.
21:32:49 -!- nucular has quit (Quit: Excess Food).
21:33:34 -!- AnotherTest has quit (Ping timeout: 276 seconds).
21:40:25 -!- MoALTz has quit (Quit: Leaving).
21:46:49 -!- Slereah has quit (Ping timeout: 240 seconds).
21:53:13 -!- shachaf has quit (Ping timeout: 240 seconds).
21:53:59 -!- shachaf has joined.
21:56:21 <HackEgo> [wiki] [[Special:Log/newusers]] create * AJMasfield * New user account
21:58:04 <HackEgo> 98076 \ a \ app.sh \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dog \ etc \ factor \ fb \ fb.c \ head \ hello \ hello.c \ ibin \ index.html \ interps \ lib \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test \ Test \ Test.hi \ Test.hs \ UNPA \ Wierd \ wisdom \ wisdom.pdf
21:58:18 -!- sebbu has joined.
21:58:25 <Taneb> `run echo < hello.c
21:58:32 <HackEgo> const char main[] = "AXAYAZA[A\\ATX-pppp-0```- ///P^VTXH10XP4>40PZ414>P_\x0f\x05XATASARAQAP\xc3Hello, world!\n";
21:58:48 -!- sebbu has quit (Changing host).
21:58:48 -!- sebbu has joined.
21:59:36 -!- Slereah_ has joined.
22:07:18 -!- Slereah_ has quit (Remote host closed the connection).
22:08:07 -!- edwardk has joined.
22:08:43 -!- oklopol has quit (Quit: Leaving).
22:10:38 -!- mhi^ has quit (Quit: Lost terminal).
22:21:26 <HackEgo> [wiki] [[Trainscript]] N http://esolangs.org/w/index.php?oldid=39404 * AJMasfield * (+418) Created page with "'''Trainscript''' is an estoreic programing language currently under development. All data in trainscript is represented as train locomotives pulling a cargo of 1's and 0's, ..."
22:26:36 -!- Slereah_ has joined.
22:38:07 -!- Slereah_ has quit (Ping timeout: 265 seconds).
22:42:31 -!- oerjan has joined.
22:47:28 -!- Slereah_ has joined.
22:49:09 <oerjan> <Taneb> I'm finally unruining lens <-- wait why didn't i open that thread
22:49:26 <oerjan> must have clicked only the blog link
22:50:34 <oerjan> or maybe it's another browser tab bug
22:52:10 <ion> What thread?
22:52:19 <ion> What blog?
22:52:51 <oerjan> http://www.reddit.com/r/haskell/comments/23uzpg/lens_is_unidiomatic_haskell/?limit=500
22:53:29 <oerjan> in that thread Taneb admits to his sins. i know this because that comment showed up in my friends list
22:54:04 <Taneb> oerjan, today I pushed 217 lines of documentation into lens
22:54:27 <ion> oerjan: Thanks
22:54:33 <ion> taneb: Nice, thanks for your contribution. :-)
22:54:35 <oerjan> but i haven't yet got to the part of the thread that gives context enough to tell _what_ he's not documented before.
22:54:55 <edwardk> Say 10 Hail Marys and make 3 more lens commits and your sins shall be forgiven.
22:55:00 <Bike> whoa, whoa, comments? what is this, ruby
22:55:05 <Bike> documentation??
22:55:25 <oerjan> edwardk: you're highlighting "lens" right
22:55:33 -!- boily has joined.
22:55:37 <Taneb> edwardk, I managed to not learn the Hail Mary in all four years I spent at a catholic middle school
22:55:41 <Taneb> My greatest pride.
22:56:01 * oerjan doesn't know hail mary, being nominally protestant
22:56:19 <oerjan> although i guess might be the same as that ave maria they sing at christmas?
22:56:39 <Taneb> It mentions fruit of thine womb or something
22:56:55 <oerjan> i remember that fructus part yeah
22:57:18 -!- Slereah_ has quit (Ping timeout: 240 seconds).
22:58:23 <elliott> oerjan: that thread is like an exact repeat of ones seen a year+ ago
22:59:49 <oerjan> `addquote <oerjan> in that thread Taneb admits to his sins. i know this because that comment showed up in my friends list <Taneb> oerjan, today I pushed 217 lines of documentation into lens [...] <edwardk> Say 10 Hail Marys and make 3 more lens commits and your sins shall be forgiven.
22:59:51 <HackEgo> 1188) <oerjan> in that thread Taneb admits to his sins. i know this because that comment showed up in my friends list <Taneb> oerjan, today I pushed 217 lines of documentation into lens [...] <edwardk> Say 10 Hail Marys and make 3 more lens commits and your sins shall be forgiven.
23:01:57 <oerjan> i suppose it might not be entirely clear that all those lines are actually related
23:02:13 <oerjan> elliott: well the next time it will be BETTER DOCUMENTED hth
23:02:32 <elliott> next time I will hopefully not click the link :P
23:02:49 <oerjan> oh i assumed you'd already read it
23:02:58 <oerjan> but i guess you are avoiding reddit
23:04:10 <elliott> well /r/haskell was like the last subreddit I quit reading.
23:05:24 -!- tromp has joined.
23:06:22 -!- Slereah_ has joined.
23:06:37 <oerjan> i seem to be slowly dropping subreddits too, although mainly because i read them in an order and no longer get very much around to the largest ones
23:07:15 <oerjan> well the order is approximately smaller to larger
23:07:35 <Bike> where's /r/TsundereSharks in the lineup
23:07:38 <oerjan> and /r/haskell is the second smallest one
23:07:52 <oerjan> Bike: i'm sorry that's not included
23:08:21 <oerjan> i used to have /r/science but i never got around to it so just removed it
23:08:51 <oerjan> and it's rare that i get up to /r/programming
23:09:29 <oerjan> the approximate is because i tend to read /r/physics before /r/math, even though they keep switching places.
23:12:05 <edwardk> Taneb: I also went to a Catholic grade school. It made me the atheist I am today. ;)
23:12:12 -!- Slereah_ has quit (Read error: Connection reset by peer).
23:13:02 <Taneb> edwardk, I started calling myself "atheist" rather than "probably atheist" last week
23:13:11 <Taneb> Although I am still on good terms with my local priest
23:14:17 <edwardk> The only thing I find myself compelled to do for an hour on Sundays these days is watch Cosmos. ;)
23:15:26 -!- Slereah_ has joined.
23:17:48 -!- nisstyre has joined.
23:18:38 <oerjan> edwardk: noticing the first subthread of that thread i am wondering: since it is iirc possible to get TH to output the resulting haskell file, shouldn't it be possible to make hackage include pre-processed versions that stage 1 architectures can use?
23:19:13 <edwardk> oerjan: it'll output a text dump of what its splicing 'approximately'
23:19:15 <elliott> joeyh has some tool along those lines
23:19:43 -!- Slereah has joined.
23:19:44 -!- Slereah_ has quit (Ping timeout: 252 seconds).
23:19:54 <edwardk> elliott: gave up on #haskell-lens?
23:20:31 <edwardk> anyways. hand hacking up the TH it generates would be fine
23:20:38 <elliott> edwardk: eh :) maybe I'll be back someday but I haven't written much Haskell in a while
23:20:41 <elliott> edwardk: https://joeyh.name/blog/entry/Template_Haskell_on_impossible_architectures/
23:20:52 <elliott> that post/code might have useful leads
23:20:55 <oerjan> yeah but it would be nice if there were an automated process that generally worked
23:21:18 <Bike> "Imagine you had an excellent successful Kickstarter campaign," lost my suspension of disbelief
23:21:33 <oerjan> although i guess in general TH can do OS-specific things that affects its output
23:23:13 <edwardk> anyways the code in lens should be pretty much easily translatable
23:24:01 <oerjan> edwardk: i'm rather thinking about what it would take to make people able to use cabal install normally and have it work that way
23:24:03 <edwardk> it is mostly the IOErrorType Prisms in http://hackage.haskell.org/package/lens-4.1.2/docs/System-IO-Error-Lens.html that vary
23:24:25 <edwardk> having a makeLenses preprocessor or some such?
23:24:39 -!- adu has joined.
23:25:03 <elliott> I'm still holding out for -XLens
23:25:21 <edwardk> well, with the ORF going in in 7.10 you'll be able to reduce the need for makeLenses a bit
23:25:39 <edwardk> makeClassy is still useful though
23:26:12 <oerjan> i'm not actually talking specifically about lens, though.
23:26:54 <edwardk> the main headache would be figuring out what to splice and how
23:27:07 <edwardk> something like that EvilSplicer could probably be modified to work in general thoug
23:27:38 <edwardk> given a 'shadow' -ddump-splices output file that it could read to replace splices or run without the splicer / in generation mode with different flags
23:28:16 <edwardk> so you could rebuild them with a flag, commit them, and when building on stage1 take the splices
23:31:19 -!- adu has quit (Quit: adu).
23:31:54 <oerjan> i guess that joeyh link explains why this is harder than i thought :(
23:32:00 <elliott> how about making TH cross-compilation work?
23:35:31 -!- Sgeo has joined.
23:36:29 <oerjan> "(My longest GHC error message seen on this odyessy was actually a full 500+ kilobytes in size. It included the complete text of Jquery and Bootstrap. At times like these you notice that GHC outputs its error messages o.n.e . c.h.a.r.a.c.t.e.r . a.t . a . t.i.m.e.)"
23:37:38 <oerjan> elliott: is the first comment on that post relevant to that?
23:39:07 <elliott> I would guess not but I'm not sure.
23:40:31 <Bike> huh, jquery's bigger than i thought
23:40:37 <Bike> still less than a tenth of 500 kb
23:41:41 -!- yorick has quit (Remote host closed the connection).
23:49:01 <oerjan> is the term "optic" official lens nomenclature?
23:49:25 <elliott> can lens rebrand as optics yet?
23:49:32 <edwardk> it is better than 'lenslikes'
23:49:57 * oerjan considers 'edwardk highlights on "lens"' confirmed
23:50:15 <HackEgo> fun fact 0 = 1 | fact n = n * fact (n - 1)
23:52:38 <edwardk> oerjan: that last one was me flipping between channels i was talking on =)
23:52:45 <edwardk> but i do sometimes highlight on lens
23:54:59 -!- Patashu has joined.
23:55:45 <oerjan> oh they are the profunctor-generalized version of lenslike
23:58:41 -!- Patashu_ has joined.
23:58:41 -!- Patashu has quit (Disconnected by services).
23:59:07 -!- edwardk has quit (Quit: Computer has gone to sleep.).
23:59:31 <oerjan> i don't think the Apply/Traversal1/Fold1 stuff was there last i looked...
23:59:53 <oerjan> but it's using the lack of pure to ensure there has to be at least one item, i take