Logs: liberachat/#haskell
| 2025-10-31 13:47:25 | → | Jackneill_ joins (~Jackneill@94-21-15-240.pool.digikabel.hu) |
| 2025-10-31 13:47:48 | <int-e> | sure. |
| 2025-10-31 13:48:04 | <tomsmeding> | haven't been able to find suitable diagonal half filled blocks in unicode |
| 2025-10-31 13:49:09 | → | michalz joins (~michalz@185.246.207.200) |
| 2025-10-31 13:50:07 | × | Jackneill quits (~Jackneill@94-21-95-10.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2025-10-31 13:50:37 | <int-e> | yeah I think all Unicode has is ╲╱ and the blocky ▜▛ |
| 2025-10-31 13:51:48 | × | michalz quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2025-10-31 13:52:11 | <tomsmeding> | sm: https://play.haskell.org/saved/tmon1vAt |
| 2025-10-31 13:52:58 | <int-e> | tbh the latter looks fairly decent: https://paste.tomsmeding.com/b4Fwo1Sg |
| 2025-10-31 13:53:10 | <tomsmeding> | oh that's fair |
| 2025-10-31 13:58:21 | <__monty__> | "◥◤" also comes close but not high enough. |
| 2025-10-31 13:58:32 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-10-31 14:03:15 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-31 14:08:51 | × | Googulator11 quits (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-10-31 14:11:22 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-10-31 14:12:49 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 2025-10-31 14:14:45 | <__monty__> | The Sierpiński Carpet doesn't reduce as nicely, does it? |
| 2025-10-31 14:18:41 | <tomsmeding> | that one seems to be most natural in base 3, which is not something we have available easily |
| 2025-10-31 14:24:30 | → | fp joins (~Thunderbi@216-165-247-67.championbroadband.com) |
| 2025-10-31 14:24:45 | Dhark8 | is now known as Shark8 |
| 2025-10-31 14:29:46 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-10-31 14:30:38 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-10-31 14:30:41 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 14:32:07 | × | annamalai quits (~annamalai@157.32.131.152) (Ping timeout: 264 seconds) |
| 2025-10-31 14:33:15 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 14:33:28 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 14:35:25 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-31 14:35:34 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 265 seconds) |
| 2025-10-31 14:42:02 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-10-31 14:42:57 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-31 14:45:08 | × | craunts795335385 quits (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-10-31 14:46:14 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 2025-10-31 14:58:12 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-10-31 15:05:27 | → | Zemy joins (~Zemy@2600:100c:b0a1:9929:64af:16ff:fe6c:2e49) |
| 2025-10-31 15:05:27 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-31 15:06:04 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-31 15:06:55 | × | Zemy quits (~Zemy@2600:100c:b0a1:9929:64af:16ff:fe6c:2e49) (Read error: Connection reset by peer) |
| 2025-10-31 15:07:22 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-31 15:08:24 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) |
| 2025-10-31 15:11:17 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 2025-10-31 15:14:06 | → | Zemy joins (~Zemy@2600:100c:b0a1:9929:b0e8:b9ff:fe4a:2608) |
| 2025-10-31 15:14:06 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-31 15:14:41 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-31 15:17:44 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 256 seconds) |
| 2025-10-31 15:18:18 | × | Zemy quits (~Zemy@2600:100c:b0a1:9929:b0e8:b9ff:fe4a:2608) (Ping timeout: 256 seconds) |
| 2025-10-31 15:20:04 | × | fp quits (~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 244 seconds) |
| 2025-10-31 15:26:21 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-10-31 15:28:51 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-10-31 15:30:20 | <haskellbridge> | <sm> ooh! beautiful |
| 2025-10-31 15:31:03 | <haskellbridge> | <sm> what's the difference between https://play.haskell.org and https://haskell-wasm.github.io/ghc-in-browser again ? ghcjs and wasm respectively ? |
| 2025-10-31 15:35:27 | sajith_ | is now known as sajith |
| 2025-10-31 15:37:38 | × | inline quits (~inline@2a02:8071:57a1:dc0:c33:90af:2d70:1d1d) (Ping timeout: 244 seconds) |
| 2025-10-31 15:42:09 | → | fp joins (~Thunderbi@216-165-247-67.championbroadband.com) |
| 2025-10-31 15:43:55 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-31 15:45:18 | <geekosaur> | doesn't play.haskell.org use regular ghc? it can dump amd64 asm output |
| 2025-10-31 15:46:16 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2025-10-31 15:49:29 | <haskellbridge> | <sm> oh.. play is running ghc on the server, not in the browser |
| 2025-10-31 15:49:43 | <haskellbridge> | <sm> right |
| 2025-10-31 15:50:53 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-31 15:51:10 | × | Fijxu quits (~Fijxu@user/fijxu) (Ping timeout: 246 seconds) |
| 2025-10-31 15:53:30 | → | annamalai joins (~annamalai@157.32.136.128) |
| 2025-10-31 15:55:23 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-31 15:55:46 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-10-31 15:56:34 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-10-31 15:57:23 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2025-10-31 15:57:23 | ChanServ | sets mode +v haskellbridge |
| 2025-10-31 15:59:23 | → | inline joins (~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) |
| 2025-10-31 16:05:10 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2025-10-31 16:06:16 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-31 16:14:48 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-31 16:20:38 | → | deptype joins (~deptype@2406:b400:3a:73c2:bb17:f41f:ac95:7d45) |
| 2025-10-31 16:25:18 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 16:25:31 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 16:26:59 | → | Googulator11 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 16:27:18 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 2025-10-31 16:27:19 | × | inline quits (~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Remote host closed the connection) |
| 2025-10-31 16:28:13 | → | inline joins (~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) |
| 2025-10-31 16:29:58 | × | inline quits (~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Remote host closed the connection) |
| 2025-10-31 16:30:39 | → | Googulator94 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 16:30:44 | × | Googulator11 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-10-31 16:33:44 | × | biberu quits (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2025-10-31 16:33:49 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-31 16:39:06 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-10-31 16:39:43 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 16:47:00 | trickard_ | is now known as trickard |
| 2025-10-31 16:48:22 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) |
| 2025-10-31 16:48:40 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-10-31 16:52:33 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:bb17:f41f:ac95:7d45) |
| 2025-10-31 16:59:15 | × | bggd quits (~bgg@2a01:e0a:819:1510:aa28:625d:5af8:625b) (Remote host closed the connection) |
| 2025-10-31 16:59:54 | × | gustrb quits (~gustrb@user/gustrb) (Quit: gustrb) |
| 2025-10-31 17:02:22 | × | deptype quits (~deptype@2406:b400:3a:73c2:bb17:f41f:ac95:7d45) (Remote host closed the connection) |
| 2025-10-31 17:02:22 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:bb17:f41f:ac95:7d45) (Remote host closed the connection) |
| 2025-10-31 17:04:49 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-31 17:07:40 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-10-31 17:20:39 | → | Googulator98 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 17:20:41 | × | Googulator94 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 17:25:45 | × | Googulator98 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 17:25:49 | → | Googulator68 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 17:26:49 | × | acidjnk quits (~acidjnk@p200300d6e71719308df0744f2dc6c30e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-10-31 17:32:41 | monochrom | is now known as boonochrom |
All times are in UTC.