Newest at the top
2025-03-25 18:53:31 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
2025-03-25 18:51:33 +0100 | siers | (~ij@user/ij) ij |
2025-03-25 18:51:12 +0100 | siers | (~ij@user/ij) (Ping timeout: 246 seconds) |
2025-03-25 18:46:03 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
2025-03-25 18:45:08 +0100 | <cheater> | sorry, i retrocomputed your sentence and all i got was "those two things are exactly the same." |
2025-03-25 18:45:01 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
2025-03-25 18:44:22 +0100 | <EvanR> | cheater, I said NOT to be confused |
2025-03-25 18:43:56 +0100 | jespada | (~jespada@2800:a4:22ac:eb00:e45c:1f6c:60ff:fb6b) jespada |
2025-03-25 18:42:02 +0100 | Garvita | gog |
2025-03-25 18:40:20 +0100 | Garvita | (~Garvita@103.72.6.69) |
2025-03-25 18:39:33 +0100 | <gogetter> | are here any mentors for gsoc? |
2025-03-25 18:39:17 +0100 | Garvita | gogetter |
2025-03-25 18:38:25 +0100 | Garvita | (~Garvita@103.72.6.69) |
2025-03-25 18:38:01 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
2025-03-25 18:37:33 +0100 | <cheater> | i thought retrocomputing was where you uncompute data, reversing the entropy gradient compared to normal computing |
2025-03-25 18:36:29 +0100 | raym | (~ray@user/raym) raym |
2025-03-25 18:35:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-25 18:34:32 +0100 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
2025-03-25 18:34:20 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:102d:f23f:3d0e:5609) (Quit: ubert) |
2025-03-25 18:31:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
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 |