Newest at the top
2025-03-25 18:28:49 +0100 | <EvanR> | probably wrong |
2025-03-25 18:28:14 +0100 | <EvanR> | int-e, well my Cont Monad instance typechecked I dunno if it's right though |
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 |