Newest at the top
| 2025-03-25 18:22:28 +0100 | califax | (~califax@user/califx) califx |
| 2025-03-25 18:21:12 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-03-25 18:20:43 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-03-25 18:19:35 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-25 18:19:24 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-03-25 18:19:10 +0100 | pdw | (~user@215.156.62.185.bridgefibre.net) (Remote host closed the connection) |
| 2025-03-25 18:18:19 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-03-25 18:16:40 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-03-25 18:14:44 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-03-25 18:11:47 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 244 seconds) |
| 2025-03-25 18:11:23 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-25 18:09:51 +0100 | <EvanR> | now I remember that one |
| 2025-03-25 18:09:04 +0100 | <merijn> | EvanR: https://www.habit-lang.org |
| 2025-03-25 18:08:44 +0100 | <merijn> | EvanR: Ah, Habit that was it |
| 2025-03-25 18:06:58 +0100 | <EvanR> | not to be confused with reversible computing |
| 2025-03-25 18:06:50 +0100 | <EvanR> | retrocomputing |
| 2025-03-25 18:06:24 +0100 | <merijn> | I just can't remember the bloody name |
| 2025-03-25 18:06:20 +0100 | <merijn> | The project is dead before they did anything in terms of usable artifacts, but the spec is an interesting read |
| 2025-03-25 18:06:18 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-03-25 18:06:02 +0100 | <merijn> | EvanR: It was a project at the university of Oregon (iirc) |
| 2025-03-25 18:05:39 +0100 | <EvanR> | cooool |
| 2025-03-25 18:05:13 +0100 | <lambdabot> | Okay. |
| 2025-03-25 18:05:13 +0100 | <mauke> | @where+ clash https://clash-lang.org/ |
| 2025-03-25 18:05:08 +0100 | <merijn> | I forget the name of the spec |
| 2025-03-25 18:04:34 +0100 | <merijn> | Also, there was a project for low-level Haskell |
| 2025-03-25 18:04:13 +0100 | <merijn> | https://clash-lang.org |
| 2025-03-25 18:04:13 +0100 | <merijn> | yeah |
| 2025-03-25 18:04:05 +0100 | <EvanR> | you mean the hardware design |
| 2025-03-25 18:03:56 +0100 | <merijn> | aww |
| 2025-03-25 18:03:54 +0100 | <lambdabot> | I know nothing about clash. |
| 2025-03-25 18:03:54 +0100 | <merijn> | @where clash |
| 2025-03-25 18:03:48 +0100 | <merijn> | EvanR: Just program your chip directly in Haskell ;) |
| 2025-03-25 18:01:02 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2025-03-25 17:55:42 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-03-25 17:54:39 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 260 seconds) |
| 2025-03-25 17:52:51 +0100 | jespada | (~jespada@2800:a4:22ac:eb00:e45c:1f6c:60ff:fb6b) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-25 17:51:40 +0100 | <haskellbridge> | <Liamzee> the unfortunate part, though, is that much of the work will end up being classified |
| 2025-03-25 17:50:40 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f24c8a043139ebe92bd.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-03-25 17:49:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-25 17:45:54 +0100 | <haskellbridge> | <Liamzee> I like Linear Haskell |
| 2025-03-25 17:45:39 +0100 | <haskellbridge> | <Liamzee> Travis Whittaker is working on it, and I think that's one thing they're funding Well-Typed for |
| 2025-03-25 17:45:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-25 17:41:26 +0100 | <EvanR> | with the increased amount of computronium in products this explains a lack of haskell, or opportunity for such safe DSLs |
| 2025-03-25 17:40:22 +0100 | <EvanR> | though there are DSLs to produce programs for low memory environments |
| 2025-03-25 17:40:11 +0100 | <EvanR> | one area I was wondering about is embedded chips. When the memory is low, haskell has no chance of running aiui |
| 2025-03-25 17:36:29 +0100 | <haskellbridge> | <Liamzee> the long-term investment part of haskell, then, is probably not there |
| 2025-03-25 17:36:05 +0100 | fp | (~Thunderbi@130.233.70.95) (Ping timeout: 248 seconds) |
| 2025-03-25 17:35:59 +0100 | <haskellbridge> | <Liamzee> pay is supposed to be better than the alternatives |
| 2025-03-25 17:35:32 +0100 | <haskellbridge> | <Liamzee> iirc the archetypical chinese developer career is that you work your ass off until you're 35, when you can't handle the schedule anymore, then you either retire or move into management |
| 2025-03-25 17:34:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |