Logs: liberachat/#haskell
| 2025-11-09 14:01:46 | <lambdabot> | [1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,16,1,2,1,4] |
| 2025-11-09 14:02:43 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2025-11-09 14:03:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 14:04:08 | <tomsmeding> | if x is not zero, it ends with some zeros (0 or more), a one, and then some zeros (0 or more); say 01000. ~01000 = 10111; -01000 = 10111 + 1 = 11000 |
| 2025-11-09 14:04:28 | <__monty__> | I saw it applied in the context of Clash's BitVector, so it was absolutely not obvious that negate would be two's complement. |
| 2025-11-09 14:04:58 | <tomsmeding> | interesting |
| 2025-11-09 14:06:01 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 14:08:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 14:09:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 14:13:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-09 14:19:26 | → | cyphase joins (~cyphase@user/cyphase) |
| 2025-11-09 14:24:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 14:25:01 | tt12310978324354 | is now known as tt1231 |
| 2025-11-09 14:25:47 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-11-09 14:27:43 | → | califax joins (~califax@user/califx) |
| 2025-11-09 14:29:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 14:34:03 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-11-09 14:35:32 | × | synchromesh quits (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) (Read error: Connection reset by peer) |
| 2025-11-09 14:36:55 | → | synchromesh joins (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) |
| 2025-11-09 14:40:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 14:41:59 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-09 14:44:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 14:46:10 | → | weary-traveler joins (~user@user/user363627) |
| 2025-11-09 14:47:16 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-09 14:47:45 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 14:50:31 | × | tromp quits (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-09 14:52:49 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-09 14:54:36 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-11-09 14:56:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 14:58:06 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 15:00:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 15:04:06 | → | segfaultfizzbuzz joins (~segfaultf@23-93-85-123.dedicated.static.sonic.net) |
| 2025-11-09 15:04:40 | <segfaultfizzbuzz> | https://github.mpg.is/wasm-game/ -- wow,... i was expecting it to be jittery and have big GC pauses and stuff,... it runs so smooth on my machine,... incredible |
| 2025-11-09 15:05:25 | × | qqe_ quits (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-09 15:10:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 15:14:25 | trickard_ | is now known as trickard |
| 2025-11-09 15:16:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 15:28:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 15:33:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 15:44:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 15:49:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 15:57:48 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-11-09 15:59:23 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-09 16:00:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 16:05:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 16:07:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 16:08:06 | <kaol> | segfaultfizzbuzz: https://github.com/dmjio/miso?tab=readme-ov-file#examples has more Haskell+WASM examples, with Miso framework. |
| 2025-11-09 16:15:08 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-09 16:15:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 16:17:57 | <haskellbridge> | <sm> nice eh! wish they'd fix the ball :) |
| 2025-11-09 16:18:23 | <haskellbridge> | <sm> could be a new era for haskell games |
| 2025-11-09 16:25:11 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-09 16:27:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 16:27:28 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-09 16:27:43 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-11-09 16:28:00 | → | poscat joins (~poscat@user/poscat) |
| 2025-11-09 16:28:48 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-11-09 16:31:34 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-09 16:31:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 16:41:48 | → | lukec joins (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2025-11-09 16:41:48 | → | RussetParrotBear joins (45ce440a48@2a03:6000:1812:100::e2) |
| 2025-11-09 16:41:48 | → | pmk joins (6afe4476a1@2a03:6000:1812:100::26d) |
| 2025-11-09 16:41:49 | → | fn_lumi joins (3d621153a5@2a03:6000:1812:100::df7) |
| 2025-11-09 16:41:49 | → | ajrdck joins (e0a4b72d53@user/ajrdck) |
| 2025-11-09 16:41:50 | → | aniketd joins (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2025-11-09 16:41:50 | → | sus joins (1b7af6299f@user/zeromomentum) |
| 2025-11-09 16:41:53 | → | lane joins (809450f172@2a03:6000:1812:100::1300) |
| 2025-11-09 16:41:55 | → | sm2n joins (ae95cb1267@user/sm2n) |
| 2025-11-09 16:41:56 | → | sefidel joins (~sefidel@user/sefidel) |
| 2025-11-09 16:41:56 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2025-11-09 16:41:59 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-11-09 16:42:27 | → | integral joins (sid296274@user/integral) |
| 2025-11-09 16:42:28 | → | bw joins (sid2730@user/betawaffle) |
| 2025-11-09 16:56:28 | → | endokqr joins (~kqr@irc-1.xkqr.org) |
| 2025-11-09 16:56:38 | → | nisstyre joins (wes@user/nisstyre) |
| 2025-11-09 16:56:47 | → | esph joins (~weechat@user/esph) |
| 2025-11-09 16:56:51 | → | davean joins (~davean@davean.sciesnet.net) |
| 2025-11-09 16:58:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 17:03:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 17:05:21 | × | tabaqui quits (~tabaqui@167.71.80.236) (Remote host closed the connection) |
| 2025-11-09 17:05:41 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 2025-11-09 17:12:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 17:12:58 | → | tromp joins (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-09 17:17:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-09 17:18:29 | → | Square3 joins (~Square@user/square) |
| 2025-11-09 17:19:03 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-11-09 17:22:28 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 17:28:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 17:32:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 17:37:13 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-09 17:38:53 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-09 17:41:43 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-11-09 17:43:46 | × | Inline quits (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) (Ping timeout: 244 seconds) |
| 2025-11-09 17:43:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 17:46:52 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2025-11-09 17:48:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-09 17:48:32 | × | srazkvt quits (~sarah@user/srazkvt) (Client Quit) |
| 2025-11-09 17:48:43 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2025-11-09 17:56:08 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-09 17:59:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.