Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 233 234 235 236 237 238 239 240 241 242 243 .. 5022
— 502,152 events total
2020-09-26 18:49:22 <dolio> Like, you can't write `(a, b, c)` in Agda.
2020-09-26 18:49:48 <dolio> For tuples.
2020-09-26 18:50:14 <monochrom> Haskell 2050 will use GPT-5 to learn your favourite syntax from a corpus you provide! >:)
2020-09-26 18:51:02 <davve> i want brainf*ck
2020-09-26 18:51:04 <monochrom> "I'm done with manually changing the GHC grammar." -- SPJ in 2049.
2020-09-26 18:51:15 → Amras joins (~Amras@unaffiliated/amras0000)
2020-09-26 18:52:21 <monochrom> "I have found a way to integrate GPT-5 into the GHC parser. Committed in HEAD." -- Simon Marlow in 2050
2020-09-26 18:52:39 <dolio> I mean, I like Agda, but I wouldn't say its syntax is categorically better than Haskell's. It's just nice and not nice in different ways.
2020-09-26 18:53:20 <monochrom> I am wary of mixfix, actually
2020-09-26 18:53:45 <dolio> I think it might be bad for Haskell, actually.
2020-09-26 18:54:10 <dolio> Because you'd get people attempting really complicated mixfix syntax hacks like they do with type programming.
2020-09-26 18:54:24 <monochrom> haha
2020-09-26 18:54:24 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-26 18:54:28 → directhex1 joins (~directhex@195.206.169.184)
2020-09-26 18:54:29 <dolio> Struggling to get them to parse unambiguously.
2020-09-26 18:54:32 <monochrom> Yes
2020-09-26 18:55:04 → mu_ joins (~mu@unaffiliated/mu)
2020-09-26 18:55:09 → geekosaur joins (42d52102@66.213.33.2)
2020-09-26 18:55:35 <fluturel> i wonder if there is a brainfuck channel. Brb
2020-09-26 18:55:42 × fluturel quits (~fluturel@82.137.14.51) (Quit: leaving)
2020-09-26 18:56:05 <monochrom> Hrm, they don't need to quit one channel to explore others.
2020-09-26 18:56:49 → fluturel joins (~fluturel@82.137.14.51)
2020-09-26 18:56:54 <fluturel> there is, but no one is on it
2020-09-26 18:57:13 <dolio> Joining any channel will create it.
2020-09-26 18:57:18 <monochrom> "Curiosity kills the cat. Dissatisfaction brings it back!"
2020-09-26 18:57:46 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-26 18:58:05 <fluturel> dolio: that's a bummer
2020-09-26 18:58:18 fluturel is disappointed
2020-09-26 18:58:31 <monochrom> Maybe under another name.
2020-09-26 18:58:49 × mu_ quits (~mu@unaffiliated/mu) (Client Quit)
2020-09-26 18:58:50 <dolio> Yeah, did you do the double hash version? It's what they want 'non-official' channels to be named nowadays.
2020-09-26 18:58:53 <monochrom> At least try all 4 possibilities: #brainfuck, ##brainfuck, #bf, ##bf
2020-09-26 18:59:32 <fluturel> i did not
2020-09-26 18:59:35 <fluturel> will do
2020-09-26 18:59:48 × fluturel quits (~fluturel@82.137.14.51) (Client Quit)
2020-09-26 19:00:13 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-26 19:00:43 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-26 19:00:50 → sand_dull joins (~theuser@185.217.69.182)
2020-09-26 19:02:04 × oisdk quits (~oisdk@2001:bb6:3329:d100:4c4c:f42f:20c9:6844) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-26 19:02:25 <outer_passage> is it possible to have cabal show all ghc warnings for a project without recompiling the whole thing?
2020-09-26 19:02:57 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-lzobmyeruzzsqioe)
2020-09-26 19:03:15 → fluturel joins (~fluturel@82.137.14.51)
2020-09-26 19:03:24 × retropikzel_ quits (~Retropikz@dyvyf3fs8gw7zbnhkmk4y-4.rev.dnainternet.fi) (Quit: Leaving)
2020-09-26 19:03:25 <fluturel> couldn't find anything
2020-09-26 19:03:57 <fluturel> although #bf was kinda weird, seems like it existed already
2020-09-26 19:04:14 <tomsmeding> fluturel: you don't have to leave one channel to join another ;)
2020-09-26 19:04:52 <tomsmeding> evidently there is one (1) person in ##brainfuck
2020-09-26 19:05:25 <tomsmeding> outer_passage: if with "the whole thing" you mean your project, and not the dependencies, then no
2020-09-26 19:05:27 <fluturel> i know, but i can't be bothered to remember how to open multiple tabs and navigate through them. I haven't used irssi in a long long time
2020-09-26 19:05:51 <tomsmeding> because ghc doesn't produce the warnings if it isn't told to do so, and if you don't turn on warning in a project, cabal will not tell ghc to produce warnings at all
2020-09-26 19:06:18 <tomsmeding> fluturel: there are other irc clients :)
2020-09-26 19:06:23 × kuribas quits (~user@ptr-25vy0i7b1r54f1gv0vq.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-09-26 19:07:19 → kenran joins (~maier@mue-88-130-62-149.dsl.tropolys.de)
2020-09-26 19:07:40 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-26 19:11:00 → v_m_v joins (~vm_v@2a02:aa12:3200:6480:f507:71a:9334:3099)
2020-09-26 19:12:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-26 19:14:06 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-26 19:17:01 × adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 264 seconds)
2020-09-26 19:17:45 × marmalodak quits (~marmaloda@c-73-202-176-57.hsd1.ca.comcast.net) (Quit: WeeChat 2.8)
2020-09-26 19:18:49 ← oab parts (~oab@214.92-220-221.customer.lyse.net) ("Killed buffer")
2020-09-26 19:19:47 → knupfer joins (~Thunderbi@200116b82c2b4e00f43aaefffe71283d.dip.versatel-1u1.de)
2020-09-26 19:19:47 × knupfer quits (~Thunderbi@200116b82c2b4e00f43aaefffe71283d.dip.versatel-1u1.de) (Client Quit)
2020-09-26 19:19:58 → knupfer joins (~Thunderbi@200116b82c2b4e00d8f25cb26cf0082b.dip.versatel-1u1.de)
2020-09-26 19:20:01 × sand_dull quits (~theuser@185.217.69.182) (Ping timeout: 246 seconds)
2020-09-26 19:20:54 × svipal quits (5baf3116@91-175-49-22.subs.proxad.net) (Ping timeout: 245 seconds)
2020-09-26 19:21:11 → machinedgod joins (~machinedg@24.105.81.50)
2020-09-26 19:21:28 <ski> fluturel : "<monochrom> Hrm, they don't need to quit one channel to explore others."
2020-09-26 19:22:22 <ski> hm, you can use `Alt-2',`Alt-3' to switch between your channels, i think
2020-09-26 19:23:17 <geekosaur> there's also things like webchat.freenode.net where the channel tabs are graphical
2020-09-26 19:24:52 × justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-09-26 19:25:21 <fluturel> ski: i remembered that as well, but those bindings are for switching between my terminal tabs, so no good. Typing /win <num> seems to work
2020-09-26 19:26:00 <ski> or `<esc> 2',`<esc> 3'
2020-09-26 19:27:15 ski also bound `Alt-p' and `Alt-n' to previous and next. possibly you can already use `Alt' with arrow keys (left and right), too
2020-09-26 19:28:26 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-26 19:30:21 → Lycurgus joins (~niemand@98.4.96.130)
2020-09-26 19:30:22 × psutcliffe quits (~psutcliff@2a00:801:42d:ae17:bde1:9f2f:16be:1acb) (Quit: Leaving)
2020-09-26 19:31:31 <dsal> Since MarcelineVQ shamed me for not writing a README, I wrote one real quick: https://github.com/dustin/gopro
2020-09-26 19:31:58 <davean> fluturel: how are you managing to join a channel without it automaticly creating a tab?
2020-09-26 19:32:11 <davean> I wouldn't know how to do what you seem to be doing
2020-09-26 19:33:22 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-26 19:35:14 <dsal> I realized when documenting this that a prospective user might be pretty sad when trying to bring this up and having to learn how to modify the database to point to different S3 bucket, and like, know how to use S3 and stuff. But I'll wait for a user, I guess. heh
2020-09-26 19:36:04 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-26 19:36:45 × lyxia quits (~lyxia@poisson.chat) (Quit: WeeChat 2.8)
2020-09-26 19:38:02 × kenran quits (~maier@mue-88-130-62-149.dsl.tropolys.de) (Ping timeout: 256 seconds)
2020-09-26 19:39:10 → lyxia joins (~lyxia@poisson.chat)
2020-09-26 19:40:02 × Majiir quits (~Majiir@2601:18c:ca00:a400:211:32ff:fe42:6eda) (Quit: CUT THE HARDLINES!!)
2020-09-26 19:40:29 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-09-26 19:40:39 <fluturel> davean: i just did it the dumb way. Closing irssi and opening it again
2020-09-26 19:40:54 fluturel is stupid
2020-09-26 19:41:23 Lycurgus claps 'is hands
2020-09-26 19:41:28 <davean> fluturel: I didn't even realize you could join a channel like that.
2020-09-26 19:41:51 <ski> `/join #bf' should work, to join that channel
2020-09-26 19:42:28 <ski> davean : how i did it, with ircII, initially
2020-09-26 19:42:49 <fluturel> ski: it does, but i didn't know how to get back to the haskell tab
2020-09-26 19:43:20 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-26 19:44:02 <fluturel> my lazyness only rivals Haskell's
2020-09-26 19:44:06 → Guest_84 joins (59401d45@89-64-29-69.dynamic.chello.pl)
2020-09-26 19:44:07 × ericsagnes quits (~ericsagne@2405:6580:0:5100:45be:1ab8:9d1a:eec6) (Ping timeout: 240 seconds)
2020-09-26 19:44:39 → fxg joins (~fxg@unaffiliated/fxg)
2020-09-26 19:44:43 × Guest_84 quits (59401d45@89-64-29-69.dynamic.chello.pl) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 233 234 235 236 237 238 239 240 241 242 243 .. 5022

All times are in UTC.