Newest at the top
| 2026-03-12 21:42:54 +0100 | <gentauro> | yeah. AGPLv3.0 |
| 2026-03-12 21:42:17 +0100 | chewybread | (~chewybrea@user/chewybread) (Ping timeout: 248 seconds) |
| 2026-03-12 21:41:07 +0100 | AlexNoo__ | (~AlexNoo@5.139.232.240) |
| 2026-03-12 21:40:23 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.240) |
| 2026-03-12 21:39:38 +0100 | AlexNoo | (~AlexNoo@5.139.232.240) |
| 2026-03-12 21:38:11 +0100 | <haskellbridge> | <sm> is it open source ? |
| 2026-03-12 21:36:16 +0100 | <gentauro> | now that's saD |
| 2026-03-12 21:36:10 +0100 | <gentauro> | probably the best chat app (non IRC based) and written in Haskell, with a terminal CLI, is not gonna invest anymore effort into the terminal CLI :( |
| 2026-03-12 21:35:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-12 21:35:26 +0100 | gentauro | «Hello, the CLI version is only intended for developer use right now, we do not plan to improve its usability much for regular users, the GUI desktop app is focused on regular users. Thank you for the suggestion» -- SimpleX Chat |
| 2026-03-12 21:33:53 +0100 | <gentauro> | I'm stuck in a terminal with black background and greenish/limeish foreground. I don't understand the fuzz :-\ |
| 2026-03-12 21:31:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 21:26:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-12 21:21:15 +0100 | <geekosaur> | there's also this business of unis asserting ownership of other uni's web namespaces because they're better known or w/e |
| 2026-03-12 21:20:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-12 21:18:54 +0100 | <ski> | similar to many large applications or GUI systems or web sites changing, "just because", presumably to justify having interface designers or somesuch ? |
| 2026-03-12 21:14:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 21:13:38 +0100 | <gentauro> | :( |
| 2026-03-12 21:13:29 +0100 | <gentauro> | ski: every now and then uni's change their websistes and all papers linking are gone |
| 2026-03-12 21:09:21 +0100 | Square | (~Square@user/square) Square |
| 2026-03-12 21:09:19 +0100 | akegalj | (~akegalj@141-138-62-190.dsl.iskon.hr) (Quit: leaving) |
| 2026-03-12 21:09:04 +0100 | Square2 | (~Square@user/square) (Quit: Leaving) |
| 2026-03-12 20:58:00 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-12 20:54:49 +0100 | akegalj | (~akegalj@141-138-62-190.dsl.iskon.hr) |
| 2026-03-12 20:54:14 +0100 | <lambdabot> | https://hackage.haskell.org/package/lvish |
| 2026-03-12 20:54:14 +0100 | <ski> | @hackage lvish |
| 2026-03-12 20:54:09 +0100 | <ski> | (you get non-declarative concurrency, when you allow race conditions, non-deterministic merging of multiple concurrent channels. i guess lvish is a principled way to keep declarativity, in some of those cases) |
| 2026-03-12 20:52:37 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-03-12 20:52:23 +0100 | ski | . o O ( "Dataflow Parallelism: The Par Monad" (chapter 4, "Parallel and Concurrent Programming in Haskell" by Simon Marlow in 2013) <https://web.archive.org/web/20180108044627/http:/chimera.labs.oreilly.com/books/1230000000929/ch04…> ) |
| 2026-03-12 20:50:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2026-03-12 20:49:44 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-12 20:47:08 +0100 | <ski> | it's also possible to construct a "read-only view" of a dataflow variable (logic variable), so that you can't instantiate through it |
| 2026-03-12 20:46:37 +0100 | <ski> | (operations block until their inputs are instantiated) |
| 2026-03-12 20:46:19 +0100 | <ski> | yea, Oz has declaratie concurrency for this |
| 2026-03-12 20:45:45 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-12 20:45:24 +0100 | <monochrom> | I have a feeling that when there are no mutable variables, you have confluence so it doesn't matter what you do. |
| 2026-03-12 20:44:45 +0100 | <monochrom> | For AND, Curry only requires this: Let x be a logic variable, then "x>=5 AND unify(x,10)" and "unify(x,10) AND x>=5" behave the same, both should discover x=10 and compute 10>=5. |
| 2026-03-12 20:43:53 +0100 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2026-03-12 20:43:53 +0100 | chewybread | (~chewybrea@240b:10:9502:4100:80a2:daac:f3ad:170) (Changing host) |
| 2026-03-12 20:43:53 +0100 | chewybread | (~chewybrea@240b:10:9502:4100:80a2:daac:f3ad:170) |
| 2026-03-12 20:42:08 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-12 20:41:48 +0100 | qqq | (~qqq@185.54.22.246) (Ping timeout: 264 seconds) |
| 2026-03-12 20:41:15 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 2026-03-12 20:37:06 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2026-03-12 20:36:48 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-12 20:36:41 +0100 | <ski> | i heard something about the rate at continuing with Sagrada Familia going up, recently, due to being able to use prefab pieces, designed to fit, constructed elsewhere |
| 2026-03-12 20:36:20 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-12 20:35:46 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 248 seconds) |
| 2026-03-12 20:35:29 +0100 | <EvanR> | *your code project is going this well* |
| 2026-03-12 20:35:14 +0100 | AlexNoo | (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |