Logs: liberachat/#haskell
| 2025-09-22 13:38:53 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host) |
| 2025-09-22 13:38:53 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 13:39:12 | → | AlexZenon joins (~alzenon@85.174.180.29) |
| 2025-09-22 13:43:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-22 13:43:43 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-09-22 13:44:10 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-09-22 13:49:41 | × | duckworld quits (~duckworld@user/duckworld) (Remote host closed the connection) |
| 2025-09-22 13:50:00 | → | duckworld joins (~duckworld@user/duckworld) |
| 2025-09-22 13:50:30 | → | ystael joins (~ystael@user/ystael) |
| 2025-09-22 13:53:12 | × | duckworld quits (~duckworld@user/duckworld) (Remote host closed the connection) |
| 2025-09-22 13:53:28 | → | duckworld joins (~duckworld@user/duckworld) |
| 2025-09-22 14:03:51 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 2025-09-22 14:05:25 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 14:08:58 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-09-22 14:09:23 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-09-22 14:13:28 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-09-22 14:26:57 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-22 14:36:49 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 2025-09-22 14:38:31 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-22 14:44:24 | → | mari45126 joins (~mari-este@user/mari-estel) |
| 2025-09-22 14:46:28 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 2025-09-22 14:47:16 | × | petrichor quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-22 14:50:46 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-22 14:51:07 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-22 14:51:47 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-22 14:52:00 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-22 14:54:01 | × | Googulator65 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 14:54:17 | → | Googulator65 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 14:55:12 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-09-22 15:00:12 | × | mreh quits (~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 258 seconds) |
| 2025-09-22 15:02:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 15:06:51 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-22 15:13:10 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-22 15:15:56 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-22 15:15:56 | × | Googulator65 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 15:16:03 | → | Googulator45 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 15:18:22 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-09-22 15:20:57 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 15:21:47 | × | dyniec quits (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2025-09-22 15:22:24 | → | dyniec joins (~dyniec@dybiec.info) |
| 2025-09-22 15:24:59 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-09-22 15:25:40 | × | Googulator45 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 15:25:45 | → | Googulator27 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 15:33:49 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-09-22 15:53:16 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-09-22 15:55:41 | → | Googulator85 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 15:55:47 | × | Googulator27 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 15:55:54 | → | Axma58360 joins (~Axman6@user/axman6) |
| 2025-09-22 15:57:03 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-22 15:57:54 | Googulator85 | is now known as Googulator |
| 2025-09-22 15:59:55 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 2025-09-22 16:05:29 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-22 16:17:31 | → | petrichor joins (~jez@user/petrichor) |
| 2025-09-22 16:21:01 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-22 16:23:05 | × | mari45126 quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-22 16:27:27 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Ping timeout: 250 seconds) |
| 2025-09-22 16:29:16 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-09-22 16:30:27 | × | bgamari_ quits (~bgamari@64.223.225.237) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-22 16:31:15 | → | bgamari joins (~bgamari@64.223.225.237) |
| 2025-09-22 16:33:19 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 16:38:15 | → | mreh joins (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-22 16:39:17 | → | williu5 joins (~williu5@user/williu5) |
| 2025-09-22 16:48:06 | × | williu5 quits (~williu5@user/williu5) (Quit: WeeChat 4.7.1) |
| 2025-09-22 16:49:56 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-09-22 16:49:57 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-22 16:50:28 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 16:50:41 | → | Googulator joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 16:54:01 | → | inline joins (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) |
| 2025-09-22 17:00:40 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-22 17:02:17 | <dminuoso_> | So I've been wondering about something with nix. How is it, that a language with extremely poor ergonomics, a stdlib that lack all the fundamental programming tasks, a stdlib that lacks all the advanced functional programming tricks, gives you infinite recursion left and right with virtually no control over strictness, hiding the defining bodies at the end (no where-bindings), very mediocre |
| 2025-09-22 17:02:19 | <dminuoso_> | performance and the poorest of diagnostics (all you get is a universal throw with no catch mechanics).... attracts more users than Haskell? |
| 2025-09-22 17:02:25 | dminuoso_ | is now known as dminuoso |
| 2025-09-22 17:02:25 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-09-22 17:02:50 | <Franciman> | because of nixos, dminuoso |
| 2025-09-22 17:03:17 | <dminuoso> | Franciman: But thats the thing. Guix is lightyears more usable for the same problem domain. |
| 2025-09-22 17:03:36 | <Franciman> | yes |
| 2025-09-22 17:03:40 | <Franciman> | and standard ml is much better than haskell |
| 2025-09-22 17:03:49 | <Franciman> | yet haskell is more famous |
| 2025-09-22 17:03:51 | <Franciman> | such is life |
| 2025-09-22 17:03:56 | <Franciman> | cargo cult, probably |
| 2025-09-22 17:04:09 | <Franciman> | dminuoso: jokes aside the problem with guix is that it's strictly abiding to the free software culture |
| 2025-09-22 17:04:17 | <Franciman> | and they are completely obsessed with reproducibility |
| 2025-09-22 17:04:28 | <Franciman> | this makes adoption harder |
| 2025-09-22 17:04:33 | <Franciman> | because it's more difficult to package stuff |
| 2025-09-22 17:04:50 | <dminuoso> | I would argue that nix packaging is about as difficult. |
| 2025-09-22 17:05:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-22 17:05:07 | <dminuoso> | The frankenstein monster type of nix derivations and hackeries people write left and right is amazing. |
| 2025-09-22 17:05:07 | <Franciman> | nix packaging is not as serious about reproducibility as guix's |
| 2025-09-22 17:05:33 | <Franciman> | other than that guix feels much better to me as well |
| 2025-09-22 17:05:44 | <dminuoso> | Yeah but interfacing with any packaging that is not some ancient autotools packaged thing that mkDerivation somehow can deal with.. |
| 2025-09-22 17:05:46 | <Franciman> | the code is a bit difficult to read for me. But the external UI is very clean |
| 2025-09-22 17:05:49 | <davean> | Yah I've wanted to move to guix but ... |
| 2025-09-22 17:06:03 | <inline> | Ark got shot |
| 2025-09-22 17:06:20 | <inline> | couldn't boot anymore from it's vram |
| 2025-09-22 17:06:22 | <dminuoso> | Franciman: I find nix code to be as hard to read as llvm generated vectorized assembly. |
| 2025-09-22 17:06:25 | <inline> | hahaha |
| 2025-09-22 17:06:26 | <inline> | oh man |
| 2025-09-22 17:06:45 | <Franciman> | lol dminuoso |
| 2025-09-22 17:06:59 | <inline> | it's the second OS which failed to boot on virtualbox now, totally randomly it seems |
| 2025-09-22 17:07:01 | <dminuoso> | Seriously, you get 1700 lines of nix files dealing with fixed point magic, various extend/override tricks, hooking inside out, outside in, double wrapping twisted turning fixed point inversion logic.. |
All times are in UTC.