Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 281 282 283 284 285 286 287 288 289 290 291 .. 17987
— 1,798,618 events total
2021-06-04 16:40:15 → jaror[m] joins (~jaror@2001:470:69fc:105::265)
2021-06-04 16:41:39 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-06-04 16:41:56 → aweinstock joins (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com)
2021-06-04 16:42:48 × sclv quits (sid39734@tooting.irccloud.com) (Changing host)
2021-06-04 16:42:48 → sclv joins (sid39734@haskell/developer/sclv)
2021-06-04 16:43:43 <dsal> Well, I don't think building this on my Mac is even going to be a thing. It seems that OS X broke a bunch of junk and nix struggled to keep up. Going back in time just opens old wounds.
2021-06-04 16:44:34 <dsal> But at least I know how to go back in time now. heh. Problem with nix on non-nixos, I guess. Somewhere, some compiler/linker recipe wants to link against /usr/lib/system/libcache.dylib which stopped existing at some point.
2021-06-04 16:48:15 × boxscape quits (~boxscape@user/boxscape) (Ping timeout: 245 seconds)
2021-06-04 16:48:47 → mpt joins (~tom@p57a566da.dip0.t-ipconnect.de)
2021-06-04 16:50:33 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-06-04 16:50:36 → haltux joins (~haltux@a89-154-181-47.cpe.netcabo.pt)
2021-06-04 16:53:15 × mpt quits (~tom@p57a566da.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-06-04 16:55:46 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-06-04 16:55:59 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-06-04 16:57:49 <justsomeguy> I want to represent a series of evaluation steps in my notes (in lc, and haskell, and math). Is there a widely agreed upon symbol for "simplifies to"?
2021-06-04 16:58:25 × motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit)
2021-06-04 16:58:42 → motherfsck joins (~motherfsc@user/motherfsck)
2021-06-04 16:59:07 → chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr)
2021-06-04 16:59:43 <monochrom> In big-step operational semantics, expr ⇓ value
2021-06-04 16:59:51 <opqdonut> justsomeguy: ==> is used often (as an ascii approximation of the evaluation arrow used in LaTeXed papers)
2021-06-04 17:00:30 <opqdonut> that might get confused with implication in the wrong context of course...
2021-06-04 17:00:51 <monochrom> In small-step, → or any funny arrow you like.
2021-06-04 17:02:40 × pe200012 quits (~pe200012@218.107.17.245) (Ping timeout: 272 seconds)
2021-06-04 17:02:43 × smitop quits (~smitop@user/smitop) (Remote host closed the connection)
2021-06-04 17:03:23 → smitop joins (~smitop@user/smitop)
2021-06-04 17:03:39 <justsomeguy> Maybe I should avoid arrows, they have so many meaning depending on the usage. Or I suppose I can quote each evaluation step, somehow, and leave the arrows unquoted.
2021-06-04 17:06:17 → arjun joins (~user@user/arjun)
2021-06-04 17:06:24 → boxscape joins (~boxscape@user/boxscape)
2021-06-04 17:06:53 → Erutuon joins (~Erutuon@user/erutuon)
2021-06-04 17:06:58 <boxscape> My terminal seems to handle unicode characters fine, but ghc error messages and ghci in- and output only display question marks if I use e.g. a greek letter. Is there a way to fix it? (I assume so, since yahb's output seems fine)
2021-06-04 17:07:23 <boxscape> er
2021-06-04 17:07:24 <boxscape> never mind
2021-06-04 17:07:32 <boxscape> I just found the solution -.-
2021-06-04 17:07:42 <justsomeguy> What was it?
2021-06-04 17:08:03 <c_wraith> was the terminal not using utf8?
2021-06-04 17:08:05 <boxscape> well, I still have to figure it out what it was, but it turns out that if I use the ghc.nix script unicode works, so it must be somewhere in there
2021-06-04 17:08:27 × jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
2021-06-04 17:08:45 <boxscape> my LANG is en_US.UTF-8 without ghc.nix, is that what you are referring to c_wraith?
2021-06-04 17:08:46 <monochrom> My ghc gives "Variable not in scope: α :: Char" just fine.
2021-06-04 17:09:42 <WorldSEnder> justsomeguy: I've seen \leadsto, i.e. ↝ being used
2021-06-04 17:10:01 <monochrom> Mine is en_CA.UTF-8 so perhaps Canada is better. :)
2021-06-04 17:10:03 <c_wraith> boxscape: well, I suppose I should have been asking about the interaction between your terminal's setting and your locale settings. Because that's where the problem is going to be
2021-06-04 17:10:11 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-04 17:10:12 <boxscape> hm, okay
2021-06-04 17:10:20 <boxscape> I don't know a ton about this subject tbj
2021-06-04 17:10:23 <boxscape> s/j/h
2021-06-04 17:10:44 <justsomeguy> WorldSEnder: Well, that may work. At least it's not a symbol I'm using anywhere else. Where does that notation come from (or where did you see it used)?
2021-06-04 17:12:14 <WorldSEnder> If I could remember. I'll see if I can dig it up
2021-06-04 17:13:18 <justsomeguy> Thank for taking the time to do that :^)
2021-06-04 17:13:23 <justsomeguy> *Thanks
2021-06-04 17:13:28 <boxscape> okay, so, running `export LC_ALL=en_US.UTF-8` and then `sudo locale-gen` seems to have fixed it
2021-06-04 17:15:45 <boxscape> correction, the `sudo locale-gen` is irrelevant
2021-06-04 17:15:52 × awth13 quits (~user@193.27.14.133) (Quit: ERC (IRC client for Emacs 27.2))
2021-06-04 17:19:23 <dsal> Specifying `path: [nixpkgs=https://nixos.org/channels/nixpkgs-20.09-darwin/nixexprs.tar.xz]` doesn't break Linux, but it doesn't fix my Mac. yay
2021-06-04 17:21:07 × ixlun- quits (~matthew@109.249.184.235) (Read error: Connection reset by peer)
2021-06-04 17:21:07 × ixlun quits (~matthew@109.249.184.235) (Read error: Connection reset by peer)
2021-06-04 17:21:34 <justsomeguy> boxscape: You may want to 'shopt -s globasciiranges' if you use bash pattern expansions like [a-z] a lot, otherwise the characters sort differently for en_US.UTF-8, to become aAbBcC….
2021-06-04 17:21:56 <boxscape> justsomeguy ah, thank you
2021-06-04 17:22:10 <WorldSEnder> https://link.springer.com/content/pdf/10.1007/978-3-030-45231-5_30.pdf uses it, but specifically for beta reduction, so I might have misremembered
2021-06-04 17:22:31 <justsomeguy> boxscape: No problemo. Locale stuff is surprisngly complex.
2021-06-04 17:23:06 <boxscape> Yeah I'm glad I haven't had to deal with it very much
2021-06-04 17:23:40 → awth13 joins (~user@193.27.14.133)
2021-06-04 17:24:21 → ddellaco_ joins (~ddellacos@89.46.62.83)
2021-06-04 17:25:20 <justsomeguy> Thanks for finding that for me, WorldSEnder
2021-06-04 17:27:22 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds)
2021-06-04 17:28:26 → gethuen joins (uid502979@id-502979.stonehaven.irccloud.com)
2021-06-04 17:28:45 <WorldSEnder> no problem, I did find a SO answer that uses it now. https://cs.stackexchange.com/a/49890/93561 not much, but I'm not the only one, yay!
2021-06-04 17:31:30 → hololeap joins (hololeap@user/hololeap)
2021-06-04 17:33:40 × azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 245 seconds)
2021-06-04 17:34:12 → a6a45081-2b83 joins (~aditya@106.212.70.132)
2021-06-04 17:35:24 → ddellacosta joins (~ddellacos@86.106.143.66)
2021-06-04 17:36:18 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-06-04 17:37:50 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-04 17:39:54 × ddellacosta quits (~ddellacos@86.106.143.66) (Ping timeout: 264 seconds)
2021-06-04 17:41:21 ← arjun parts (~user@user/arjun) (ERC (IRC client for Emacs 28.0.50))
2021-06-04 17:41:26 → Guest38 joins (~textual@188-182-241-27-dynamic.dk.customer.tdc.net)
2021-06-04 17:44:29 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-04 17:45:14 → azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
2021-06-04 17:45:54 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds)
2021-06-04 17:47:37 × Guest38 quits (~textual@188-182-241-27-dynamic.dk.customer.tdc.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-04 17:49:16 → Guest38 joins (~textual@188-182-241-27-dynamic.dk.customer.tdc.net)
2021-06-04 17:50:23 × fjmorazan quits (~quassel@user/fjmorazan) (Quit: fjmorazan)
2021-06-04 17:50:34 → fjmorazan joins (~quassel@user/fjmorazan)
2021-06-04 17:51:29 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds)
2021-06-04 17:52:28 → dunkeln joins (~dunkeln@94.129.65.28)
2021-06-04 17:53:19 → hexfive joins (~eric@50.35.83.177)
2021-06-04 17:53:57 × hexfive quits (~eric@50.35.83.177) (Client Quit)
2021-06-04 17:55:17 × peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-06-04 17:57:00 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds)
2021-06-04 17:58:16 × zebrag quits (~chris@user/zebrag) (Ping timeout: 245 seconds)
2021-06-04 17:58:49 → zebrag joins (~chris@user/zebrag)
2021-06-04 18:00:17 → chddr joins (~Thunderbi@185.183.93.82)
2021-06-04 18:01:00 × zebrag quits (~chris@user/zebrag) (Client Quit)
2021-06-04 18:01:27 × chddr quits (~Thunderbi@185.183.93.82) (Client Quit)
2021-06-04 18:02:41 ← jakalx parts (~jakalx@base.jakalx.net) ()
2021-06-04 18:04:00 → zebrag joins (~chris@user/zebrag)
2021-06-04 18:04:21 → wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-04 18:11:57 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Remote host closed the connection)
2021-06-04 18:15:33 × taeaad quits (~taeaad@user/taeaad) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-06-04 18:16:12 → fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
←Prev  Next→
Page 1 .. 281 282 283 284 285 286 287 288 289 290 291 .. 17987

All times are in UTC.