Newest at the top
| 2025-01-19 07:05:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-19 07:00:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 06:57:50 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-19 06:56:40 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:6419:a0b3:3809:d46f) dtman34 |
| 2025-01-19 06:49:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-19 06:47:23 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-19 06:45:47 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-19 06:44:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 06:35:25 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-19 06:31:29 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-01-19 06:30:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-19 06:30:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-19 06:28:04 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-19 06:26:55 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-19 06:20:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-19 06:16:09 +0100 | <chiselfuse> | what happened to prime.haskell.org? |
| 2025-01-19 06:14:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 06:12:28 +0100 | <monochrom> | Apart from 2010 we don't have one. |
| 2025-01-19 06:11:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-19 06:07:58 +0100 | <chiselfuse> | where is the latest haskell spec? i read it's the 2010 report but also prime.haskell.org but that one doesn't load |
| 2025-01-19 06:02:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-19 06:00:20 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-19 05:57:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 05:53:57 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 2025-01-19 05:46:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-19 05:42:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 05:40:11 +0100 | Alexey | (~user@95.165.71.104) (Global Advanced Direct Connect Hub http://global.net.ru) |
| 2025-01-19 05:40:01 +0100 | Alexey | (~user@95.165.71.104) |
| 2025-01-19 05:35:53 +0100 | <r-sta> | clear sign somethings up in the carbon/nitrogen cycle |
| 2025-01-19 05:35:31 +0100 | <r-sta> | appart from merijn logging in and out this channel seems inactive |
| 2025-01-19 05:35:18 +0100 | <r-sta> | .... |
| 2025-01-19 05:31:46 +0100 | <r-sta> | theres a large class of problems that fall under this category |
| 2025-01-19 05:31:28 +0100 | <r-sta> | or like, it can be a really complicated sampling object like a monte carlo distribution or something |
| 2025-01-19 05:31:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-19 05:30:57 +0100 | <r-sta> | s can be eg a matrix or net that is parametric, and theres some helper functions for parametric things |
| 2025-01-19 05:30:32 +0100 | <r-sta> | problem is ML |
| 2025-01-19 05:30:17 +0100 | <r-sta> | idea is to collect together a bunch of function definitions of type (Vec -> Double) -> s -> Vec -> (s,Vec) |
| 2025-01-19 05:28:36 +0100 | <r-sta> | anyone online can talk about maintaining a library? |
| 2025-01-19 05:28:19 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2025-01-19 05:25:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-19 05:24:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 05:18:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-19 05:16:11 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-19 05:15:48 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-19 05:15:30 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: OftenFaded) |
| 2025-01-19 05:13:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 05:11:49 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-19 05:05:58 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-19 05:05:35 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-01-19 05:03:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |