2025/03/25

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 +0100califax(~califax@user/califx) califx
2025-03-25 18:21:12 +0100califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-03-25 18:20:43 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-03-25 18:19:35 +0100euphores(~SASL_euph@user/euphores) euphores
2025-03-25 18:19:24 +0100zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)
2025-03-25 18:19:10 +0100pdw(~user@215.156.62.185.bridgefibre.net) (Remote host closed the connection)
2025-03-25 18:18:19 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-03-25 18:16:40 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-03-25 18:14:44 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-03-25 18:11:47 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 244 seconds)
2025-03-25 18:11:23 +0100ash3en(~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 +0100tzh(~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 +0100sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection)
2025-03-25 17:55:42 +0100LainExperiments(~LainExper@user/LainExperiments) (Ping timeout: 240 seconds)
2025-03-25 17:54:39 +0100ash3en(~Thunderbi@89.56.182.235) (Ping timeout: 260 seconds)
2025-03-25 17:52:51 +0100jespada(~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 +0100acidjnk(~acidjnk@p200300d6e71c4f24c8a043139ebe92bd.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-03-25 17:49:57 +0100alfiee(~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 +0100alfiee(~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 +0100fp(~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