12 Feb 2024 |
sm | I see those mentioned too | 04:31:50 |
15 Feb 2024 |
| orbicularis joined the room. | 13:33:25 |
18 Feb 2024 |
janus.troelsen | Yeah, Idris2 is self-hosting now. Sadly I don't think its known how many iterations from Haskell are needed. I suppose to bootstrap from Haskell you'd have to go Idris1->EarlyIdris2->LaterIdris2. But there may be more steps necessary. | 16:03:26 |
janus.troelsen | I am a bit sceptical of this tendency towards self-hosting, because you start to lose track of language revisions... | 16:04:03 |
janus.troelsen | GHC has the same problem, it was bootstrapped using never-specified compilers running on SPARC... | 16:04:30 |
geekosaur | eh? we know the compilers, we just don't have them any more? SML/NJ -> LML -> HBC (lost, I think) -> GHC | 16:05:41 |
geekosaur | either Lazy ML or HBC is only available in a binary distribution for SPARC these days | 16:07:44 |
geekosaur | self-hosting /per se/ is fine, this trend of building stuff from trusted roots is what I question. how far back do you have to go before it's trusted? | 16:09:43 |
geekosaur | if it ever is (try this with gcc and eventually you have to build with a vendor C compiler you can't get source for) | 16:10:16 |
geekosaur | * self-hosting per se is fine, this trend of building stuff from trusted roots is what I question. how far back do you have to go before it's trusted? | 16:11:07 |
21 Feb 2024 |
| bgamari set a profile picture. | 18:43:54 |
26 Feb 2024 |
| Michael Peyton Jones changed their display name from michaelpj to Michael Peyton Jones. | 16:21:58 |
9 Mar 2024 |
| Mike Pilgrem joined the room. | 11:27:28 |
20 Mar 2024 |
| fendor set a profile picture. | 09:26:53 |
22 Mar 2024 |
sm | Hey all. I was doing a little cleanup of the Haskell spaces, and see a few Libera IRC portal rooms. These are no longer bridged and can't ever be managed again (without unlikely cooperation from Matrix gods). Some of them show history if you join them today, some of them don't. In all cases the history probably exists in IRC logs on the net also.
I think keeping them in the Haskell / Haskell Projects spaces is probably misleading, and feel some cleanup may be good. Any thoughts ?
| 07:40:40 |
sm | Matrix rooms can't be deleted, but we could:
a. remove them from the Haskell spaces and forget about them (easiest)
b. reach out to each project and confirm they are ok with a, then remove them
c. group them under a new subspace with Old in its name, awaiting further action
They include
Haskell > #haskell:libera.chat
Haskell Projects: #haskell-lens:libera.chat #haskell-language-server:libera.chat #reflex-frp:libera.chat #diagrams:libera.chat #hackage:libera.chat #ghc:libera.chat #clash:libera.chat #kmonad:libera.chat #pandoc:libera.chat #haskell-ghcup:libera.chat | 07:42:17 |
| * sm started on b but it will be sloow | 07:51:11 |
| irregularsphere joined the room. | 08:58:41 |
geekosaur | I'd just remove them, as reportedly matrix is slowly deleting the rooms anyway | 15:30:17 |
sm | thanks, I did | 16:05:08 |
sm | TIL: in Element, clicking the space in the sidebar 1-2 times gets you to the manage/explore rooms view | 17:52:14 |
24 Mar 2024 |
| magnolia_mayhem changed their profile picture. | 00:58:01 |
3 Apr 2024 |
| Isaac joined the room. | 17:05:46 |
4 Apr 2024 |
bgamari | does anyone know who has maintainer rights over https://github.com/haskell/hsc2hs | 17:40:26 |
5 Apr 2024 |
chreekat | bgamari: this channel is Matrix meta , not Haskell.org meta. :) | 04:56:46 |
chreekat | https://github.com/orgs/haskell/people?query=role%3Aowner looks like you could ask sclv, Hecate, or Julian | 04:59:28 |
bgamari | ahh | 16:09:37 |
bgamari | thanks chreekat | 16:10:16 |
7 Apr 2024 |
| liskin changed their profile picture. | 19:51:07 |
19 Apr 2024 |
| Nguyễn Trọng Cường joined the room. | 14:53:56 |