Logs: liberachat/#haskell
| 2025-09-12 16:37:56 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-09-12 16:40:59 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 2025-09-12 16:52:50 | → | ski joins (~ski@remote11.chalmers.se) |
| 2025-09-12 17:01:37 | → | segfaultfizzbuzz joins (~segfaultf@c-71-202-235-127.hsd1.ca.comcast.net) |
| 2025-09-12 17:06:51 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-09-12 17:09:54 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-12 17:14:36 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-12 17:15:10 | × | Square2 quits (~Square@user/square) (Ping timeout: 265 seconds) |
| 2025-09-12 17:15:37 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Client Quit) |
| 2025-09-12 17:15:44 | → | Googulator18 joins (~Googulato@94-21-175-125.pool.digikabel.hu) |
| 2025-09-12 17:19:30 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-12 17:19:52 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-12 17:20:54 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-12 17:24:43 | × | MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Ping timeout: 248 seconds) |
| 2025-09-12 17:25:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-12 17:36:51 | × | tromp quits (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-12 17:36:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 17:37:46 | → | Axma82253 joins (~Axman6@user/axman6) |
| 2025-09-12 17:39:45 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-12 17:41:12 | <geekosaur> | https://discourse.haskell.org/t/haskell-security-response-team-2025-april-june-report/12496 is probably a better place to look to contact them? |
| 2025-09-12 17:41:46 | <geekosaur> | first heading, even |
| 2025-09-12 17:43:30 | → | tromp joins (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) |
| 2025-09-12 17:45:34 | <tomsmeding> | they seem to be gone |
| 2025-09-12 17:53:23 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2025-09-12 17:54:44 | × | tromp quits (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-12 17:58:45 | <EvanR> | we're putting together a team :tm: |
| 2025-09-12 18:05:38 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-12 18:12:20 | × | segfaultfizzbuzz quits (~segfaultf@c-71-202-235-127.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2025-09-12 18:14:55 | → | segfaultfizzbuzz joins (~segfaultf@c-71-202-235-127.hsd1.ca.comcast.net) |
| 2025-09-12 18:21:16 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-09-12 18:22:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) |
| 2025-09-12 18:24:31 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-12 18:24:40 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-09-12 18:26:25 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2025-09-12 18:26:26 | <zzz> | The A-Team is translated as "Class A Squad" in my country if you back-translate it literally so I was going to make a joke involving classes before I remembered the original name. |
| 2025-09-12 18:31:55 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2025-09-12 18:40:17 | × | monochrom quits (trebla@216.138.220.146) (Read error: Connection reset by peer) |
| 2025-09-12 18:42:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-12 18:45:04 | ← | humodz parts (~humodz@user/humodz) (The Lounge - https://thelounge.chat) |
| 2025-09-12 18:54:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 18:57:27 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-12 18:58:15 | → | monochrom joins (trebla@216.138.220.146) |
| 2025-09-12 18:59:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-12 19:00:05 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-12 19:00:45 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-09-12 19:01:07 | × | segfaultfizzbuzz quits (~segfaultf@c-71-202-235-127.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2025-09-12 19:02:18 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-09-12 19:04:57 | → | sprotte24 joins (~sprotte24@p5b039b62.dip0.t-ipconnect.de) |
| 2025-09-12 19:05:38 | → | Googulator77 joins (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-12 19:05:49 | × | Googulator18 quits (~Googulato@94-21-175-125.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-12 19:10:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 19:11:23 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-12 19:20:33 | <monochrom> | class Squad a |
| 2025-09-12 19:21:41 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-09-12 19:21:57 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-09-12 19:39:45 | × | dtman34_ quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 250 seconds) |
| 2025-09-12 19:44:45 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp) |
| 2025-09-12 19:47:45 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-09-12 19:50:27 | → | OftenFaded5 joins (~OftenFade@user/tisktisk) |
| 2025-09-12 19:50:40 | → | fp1 joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-09-12 19:54:15 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-09-12 19:54:38 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-09-12 19:55:24 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-12 19:55:45 | → | Axman6 joins (~Axman6@user/axman6) |
| 2025-09-12 19:57:00 | × | fp1 quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-09-12 19:57:33 | × | Axma82253 quits (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-12 20:01:56 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-12 20:16:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-12 20:16:38 | × | OftenFaded5 quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-09-12 20:17:02 | → | OftenFaded74 joins (~OftenFade@user/tisktisk) |
| 2025-09-12 20:23:25 | → | OftenFaded26 joins (~OftenFade@user/tisktisk) |
| 2025-09-12 20:23:29 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-09-12 20:26:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 20:27:03 | × | OftenFaded74 quits (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-12 20:32:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-12 20:40:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 20:42:52 | <haskellbridge> | <magic_rb> I've implemented a kind of STG in rust for Nix evaluation. I managed to make it recursion less how the paper from 2016. What i dont understand is how to do primops. I mean if i have a primop such as "(+ 4 2)" i have a block of code representing that primop ("+") and i pass it two arguments "4" and "2". So far so good. However I'm not sure how to force the two arguments. I can start a "new" evaluation but that... |
| 2025-09-12 20:42:57 | <haskellbridge> | ... then incurs a new function on the rust, which i dont know if thats bad? but that means you can overflow the Rust stack but chaining enough primops |
| 2025-09-12 20:43:38 | <haskellbridge> | <magic_rb> not sure what do to do, how does GHC do it? the design they describe in https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/eval-apply.pdf wont work to evaluate "4" and then "2", or at least i dont see how i could make it do that |
| 2025-09-12 20:47:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-12 20:55:34 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-12 20:56:01 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-12 20:58:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 20:58:35 | → | pavonia joins (~user@user/siracusa) |
| 2025-09-12 21:00:31 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-12 21:03:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-12 21:03:54 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-12 21:11:13 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-12 21:14:00 | → | Guest58 joins (~Guest77@130.44.133.214) |
| 2025-09-12 21:14:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 21:17:27 | × | OftenFaded26 quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-09-12 21:20:17 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-12 21:23:07 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-09-12 21:23:24 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-12 21:26:21 | × | Googulator77 quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-12 21:26:39 | → | Googulator77 joins (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-12 21:33:27 | × | stefan-__ quits (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2025-09-12 21:35:32 | → | stefan-__ joins (~m-yh2rcc@42dots.de) |
| 2025-09-12 21:35:39 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-09-12 21:36:26 | × | tromp quits (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) (Quit: My iMac has gone to sleep. ZZZzzz…) |
All times are in UTC.