Newest at the top
| 2025-05-13 19:26:02 +0200 | <monochrom> | Heh. I came up with it just now. I'm too lazy to add it to my page. |
| 2025-05-13 19:23:02 +0200 | <EvanR> | is that one of your tautologies? |
| 2025-05-13 19:18:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-13 19:15:55 +0200 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-13 19:14:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-13 19:13:47 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 272 seconds) |
| 2025-05-13 19:13:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 19:11:01 +0200 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-13 19:09:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-13 19:08:44 +0200 | <monochrom> | Everything is incorrect in some cases. |
| 2025-05-13 19:08:33 +0200 | <yin> | :P |
| 2025-05-13 19:08:09 +0200 | <yin> | can i get rid of GHC.Base? |
| 2025-05-13 19:06:07 +0200 | <yin> | i'm playing with `ghci -XNoImplicitPrelude -ignore-dot-ghci` for "clean slate haskell". is there anyway to shave some more off it or is this it? |
| 2025-05-13 19:03:11 +0200 | Square | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2025-05-13 19:03:04 +0200 | <EvanR> | more or less powerful and uniquely flawed in their own way, leading to quirky dialog |
| 2025-05-13 19:02:03 +0200 | <EvanR> | listToMaybe drop 1 head tail and since there are other "usual suspects" mentioned in this context, there ought to be a blog post collecting them all and sending them on a big budget battle against thanos or something |
| 2025-05-13 18:59:05 +0200 | <yin> | yeah i see what you mean. but i'm a big treating students as intelligent beings |
| 2025-05-13 18:59:00 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-13 18:58:26 +0200 | <EvanR> | being partial doesn't make the always incorrect though |
| 2025-05-13 18:58:03 +0200 | <EvanR> | but I disagree with "no" |
| 2025-05-13 18:57:57 +0200 | <EvanR> | oh obviously |
| 2025-05-13 18:57:49 +0200 | <yin> | no. head and tail are incorrect in some cases |
| 2025-05-13 18:57:23 +0200 | <EvanR> | those may both be incorrect in some cases |
| 2025-05-13 18:56:28 +0200 | <yin> | shouldn't students learn `listToMaybe` and `drop 1` instead? |
| 2025-05-13 18:55:08 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-13 18:54:22 +0200 | euleritian | (~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-05-13 18:54:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-13 18:44:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-13 18:40:33 +0200 | <EvanR> | is what the warning should say |
| 2025-05-13 18:40:13 +0200 | <EvanR> | head and tail are advanced pro tools only for the leet |
| 2025-05-13 18:36:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-13 18:33:39 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:86a6:bb33:585:67c4) (Quit: ubert) |
| 2025-05-13 18:32:13 +0200 | euleritian | (~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de) |
| 2025-05-13 18:29:02 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 244 seconds) |
| 2025-05-13 18:26:09 +0200 | euleritian | (~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-05-13 18:21:28 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-13 18:18:34 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-05-13 18:16:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 18:08:35 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-13 18:07:06 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-05-13 18:00:52 +0200 | [exa] | dives into the glue |
| 2025-05-13 18:00:25 +0200 | <[exa]> | unfortunately the setters&getters can't be "any" monad, they only get MonadIO |
| 2025-05-13 17:59:07 +0200 | <[exa]> | I'd love to have State-ish lenses for that, as in `sliderInt "position" x 0 100` where x points into some `Position{_x::Int, ...}` or so |
| 2025-05-13 17:58:05 +0200 | <[exa]> | you do `sliderInt "value" someRefToInt 0 100` and it updates the ref |
| 2025-05-13 17:58:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-13 17:57:36 +0200 | <[exa]> | btw it's for this thing: https://hackage.haskell.org/package/dear-imgui-2.3.1/docs/DearImGui.html#v:sliderInt |
| 2025-05-13 17:56:31 +0200 | <[exa]> | let's make a bit of glue that connects this together |
| 2025-05-13 17:55:26 +0200 | <[exa]> | monochrom: for StateVar? yeah looks like that |
| 2025-05-13 17:53:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 17:52:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |