Logs: freenode/#haskell
| 2020-09-25 21:05:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-09-25 21:05:55 | <dmwit> | It says very clearly in the link that the dragon's fire is heatless. |
| 2020-09-25 21:06:05 | <dmwit> | So of course throwing flour in the air doesn't kill us. |
| 2020-09-25 21:06:11 | → | sfvm joins (~sfvm@37.228.215.148) |
| 2020-09-25 21:06:28 | <monochrom> | Oops. |
| 2020-09-25 21:06:45 | <monochrom> | Does that still count as fire? heh |
| 2020-09-25 21:07:00 | <dmwit> | Yeah, that's... sort of Sagan's conclusion, too. |
| 2020-09-25 21:07:11 | <dmwit> | Does this even count as a dragon if there's no way to observe it being a dragon? |
| 2020-09-25 21:07:30 | <monochrom> | It's like Tigger but s/tiger/dragon/ |
| 2020-09-25 21:07:31 | × | mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 2020-09-25 21:07:54 | → | mu joins (~mu@unaffiliated/mu) |
| 2020-09-25 21:08:21 | <monochrom> | http://www.vex.net/~trebla/photo/unorganized/dragon.jpg |
| 2020-09-25 21:09:00 | <dsal> | Lazy IO is the best! My programs all run instantly! Sometimes takes a while to print the output, though. |
| 2020-09-25 21:09:31 | <monochrom> | Um that's not lazy I/O. That's just output buffering. |
| 2020-09-25 21:09:43 | <monochrom> | OK you were joking. Haha. |
| 2020-09-25 21:10:00 | <cheater> | monochrom: it's not output buffering, his dot matrix printer is just a bit slow |
| 2020-09-25 21:10:10 | <monochrom> | I do have students confused by output buffering. And it's a C course. |
| 2020-09-25 21:10:20 | <monochrom> | hahaha |
| 2020-09-25 21:10:53 | <cheater> | monochrom: if it's a C course, make sure to get the shellfish |
| 2020-09-25 21:11:03 | <monochrom> | hahahaha |
| 2020-09-25 21:11:38 | <monochrom> | The course is a unix course too, there is shell. I'll have to think how to turn shell into shellfish. |
| 2020-09-25 21:11:49 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 21:12:25 | → | fluturel joins (~fluturel@82.137.14.51) |
| 2020-09-25 21:12:45 | × | fluturel quits (~fluturel@82.137.14.51) (Client Quit) |
| 2020-09-25 21:13:52 | × | noecho quits (~noecho@2a01:4f8:1c0c:80ee::4223) (Quit: ZNC - http://znc.in) |
| 2020-09-25 21:14:19 | → | noecho joins (~noecho@2a01:4f8:1c0c:80ee::4223) |
| 2020-09-25 21:14:20 | <dmwit> | Oh, hell. I'm a professional programmer that does programming stuff for... well, not quite 8 hours a day ;-)... and I still occasionally get flummoxed by output buffering. |
| 2020-09-25 21:15:14 | <MarcelineVQ> | The trick is to put a couple people between you and the problem. |
| 2020-09-25 21:15:50 | <c_wraith> | so... input buffering? |
| 2020-09-25 21:15:57 | <dmwit> | Ahhh, problem buffering! Why didn't I think of that? |
| 2020-09-25 21:16:36 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-09-25 21:16:42 | → | carlomagno1 joins (~cararell@inet-hqmc02-o.oracle.com) |
| 2020-09-25 21:17:23 | × | mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 2020-09-25 21:17:32 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:8c5f:831a:4acc:45dd) (Ping timeout: 260 seconds) |
| 2020-09-25 21:17:45 | × | carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Ping timeout: 265 seconds) |
| 2020-09-25 21:17:54 | → | mu joins (~mu@unaffiliated/mu) |
| 2020-09-25 21:20:42 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 256 seconds) |
| 2020-09-25 21:20:45 | <dsal> | monochrom: Oh sorry, I was going for the one where I do all this awesome parallelism and the parallel functions compute the IO actions immediately, and then they all happen sequentially when the output is needed. |
| 2020-09-25 21:21:41 | <monochrom> | Ah. |
| 2020-09-25 21:21:57 | hackage | aeson-schemas 1.3.1 - Easily consume JSON data on-demand with type-safety https://hackage.haskell.org/package/aeson-schemas-1.3.1 (leapyear) |
| 2020-09-25 21:22:11 | → | falafel_ joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 2020-09-25 21:22:20 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 21:26:49 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-09-25 21:27:24 | × | mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 2020-09-25 21:28:02 | → | mu joins (~mu@unaffiliated/mu) |
| 2020-09-25 21:31:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-09-25 21:31:56 | <cheater> | monochrom: just use the C shell |
| 2020-09-25 21:32:07 | <monochrom> | Ah, neato |
| 2020-09-25 21:32:31 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 21:32:34 | <monochrom> | Hey, I now recall that "fish shell" exists, too. |
| 2020-09-25 21:35:52 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 2020-09-25 21:36:11 | × | dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2020-09-25 21:36:56 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-25 21:37:50 | × | mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 2020-09-25 21:38:03 | → | mu__ joins (~mu@unaffiliated/mu) |
| 2020-09-25 21:39:56 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 2020-09-25 21:40:02 | → | sand_dull joins (~theuser@62.182.99.37) |
| 2020-09-25 21:41:56 | <maerwald> | it's nice |
| 2020-09-25 21:42:02 | × | nyd quits (~nyd@unaffiliated/elysian) (Quit: nyd) |
| 2020-09-25 21:42:33 | <maerwald> | finally someone figured out that shell is about ergonmics, not features |
| 2020-09-25 21:42:37 | × | falafel_ quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds) |
| 2020-09-25 21:42:44 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 21:42:47 | <maerwald> | (when I need features, I switch to bash temporarily) |
| 2020-09-25 21:45:01 | × | crobbins quits (~crobbins@2600:1700:48eb:8490:4a3:9554:f20a:562c) (Remote host closed the connection) |
| 2020-09-25 21:45:22 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 2020-09-25 21:47:38 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-09-25 21:47:38 | × | mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 2020-09-25 21:48:00 | → | mu joins (~mu@unaffiliated/mu) |
| 2020-09-25 21:48:07 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 21:48:54 | × | sand_dull quits (~theuser@62.182.99.37) (Ping timeout: 272 seconds) |
| 2020-09-25 21:49:02 | <monochrom> | It's probably a programmer trait to prefer features to ergonomics, syntax to semantics. |
| 2020-09-25 21:49:13 | → | falafel_ joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 2020-09-25 21:49:43 | <monochrom> | or generally a human trait to prefer superficial to careful |
| 2020-09-25 21:50:39 | × | cgfuh quits (~cgfuh@181.167.191.58) (Quit: WeeChat 2.9) |
| 2020-09-25 21:51:24 | <Cale> | In the words of Bob the Angry Flower: "I can't drink *possible* beers, I need *actual* beers! Damn you, quantum physics!" |
| 2020-09-25 21:51:30 | <pie_> | sm[m]: well, if you have any suggestions: <_aD> It's fascinating to see how different people's idea of "big" is in computing, and how they handle it. |
| 2020-09-25 21:51:32 | <pie_> | whoops |
| 2020-09-25 21:51:41 | <pie_> | sm[m]: https://github.com/python-parsy/parsy/issues/48 |
| 2020-09-25 21:53:22 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-09-25 21:56:30 | → | aj1 joins (~aj@185.204.1.185) |
| 2020-09-25 21:57:00 | <ddellacosta> | omg I forgot about Bob the Angry Flower, thank you Cale |
| 2020-09-25 21:57:50 | × | mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 2020-09-25 21:57:56 | → | mu__ joins (~mu@unaffiliated/mu) |
| 2020-09-25 21:58:26 | → | luke joins (~luke@bitnomial/staff/luke) |
| 2020-09-25 22:00:38 | → | Rudd0 joins (~Rudd0@185.189.115.98) |
| 2020-09-25 22:01:01 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 2020-09-25 22:01:24 | → | GyroW joins (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) |
| 2020-09-25 22:01:25 | × | GyroW quits (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-09-25 22:01:25 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-09-25 22:01:49 | <dsal> | I used to use tcsh a lot way back in the day and people mocked me for various scripting things you couldn't do in tcsh. I'm like... I write my scripts in bourne shell, but I don't hang out there. |
| 2020-09-25 22:02:20 | <dsal> | A friend had me try nushell which is... an idea. But it's a bit ununixy and a big uphill battle. |
| 2020-09-25 22:04:43 | × | shafox quits (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-09-25 22:04:44 | × | ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 272 seconds) |
| 2020-09-25 22:05:45 | → | ryansmccoy joins (~ryansmcco@156.96.151.132) |
| 2020-09-25 22:06:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-09-25 22:07:33 | × | mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 2020-09-25 22:08:02 | → | mu joins (~mu@unaffiliated/mu) |
| 2020-09-25 22:10:58 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 2020-09-25 22:11:22 | → | GyroW joins (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) |
| 2020-09-25 22:11:22 | × | GyroW quits (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) (Changing host) |
All times are in UTC.