Newest at the top
| 2025-03-31 16:21:36 +0200 | fp | (~Thunderbi@130.233.70.95) fp |
| 2025-03-31 16:21:21 +0200 | jespada | (~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-31 16:21:08 +0200 | XZDX | (~xzdx@user/XZDX) (Ping timeout: 272 seconds) |
| 2025-03-31 16:21:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1654:70d2:c294:d90) |
| 2025-03-31 16:19:03 +0200 | <haskellbridge> | <Bowuigi> Oh actually a FIFO would work without clever trickery, that's way easier to work with |
| 2025-03-31 16:14:03 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-03-31 16:13:06 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-03-31 16:12:59 +0200 | <haskellbridge> | <Bowuigi> I don't think I can cut much more, I don't know if a FIFO would work instead of a UNIX socket, it would be annoying if you want to change the settings on a window while something else is running (unless I fix that with some clever trickery) |
| 2025-03-31 16:12:10 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-03-31 16:11:19 +0200 | <tomsmeding> | :p |
| 2025-03-31 16:11:05 +0200 | <haskellbridge> | <Bowuigi> I managed to cut like 90% of the features of a text editor but I still have to do some things lol |
| 2025-03-31 16:10:08 +0200 | <haskellbridge> | <Bowuigi> Yeah, I wanted to make this as small as possible because of that |
| 2025-03-31 16:09:41 +0200 | <tomsmeding> | watch out for the time sink |
| 2025-03-31 16:09:34 +0200 | <tomsmeding> | making editors is fun |
| 2025-03-31 16:09:26 +0200 | <haskellbridge> | <Bowuigi> Might implement basic autocompletion at some point but not now |
| 2025-03-31 16:08:52 +0200 | <haskellbridge> | <Bowuigi> No minibuffer or command buffer either |
| 2025-03-31 16:08:13 +0200 | manny2 | (~manny@2601:445:700:69b0:43cb:caf0:77c8:51bc) |
| 2025-03-31 16:08:05 +0200 | <haskellbridge> | <Bowuigi> I don't manage windows either |
| 2025-03-31 16:07:56 +0200 | <haskellbridge> | <Bowuigi> Not sure yet, can't decide between vty and termbox |
| 2025-03-31 16:07:37 +0200 | <tomsmeding> | escape sequences for cursor movement, drawing, etc. |
| 2025-03-31 16:07:25 +0200 | <tomsmeding> | what are you using for terminal IO? |
| 2025-03-31 16:06:12 +0200 | <haskellbridge> | <Bowuigi> Not that much, really. The server part is fairly simple, Haskell makes IPC reasonably easy and the most complex part of the editor is probably handling keybindings and syntax highlighting |
| 2025-03-31 16:04:12 +0200 | fp | (~Thunderbi@130.233.70.95) (Ping timeout: 252 seconds) |
| 2025-03-31 16:03:10 +0200 | Digit | (~user@user/digit) Digit |
| 2025-03-31 16:01:48 +0200 | noctux | (~noctux@user/noctux) noctux |
| 2025-03-31 16:01:08 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-03-31 16:00:02 +0200 | <mari-estel> | sounds challenging |
| 2025-03-31 15:57:24 +0200 | noctux | (~noctux@user/noctux) (Ping timeout: 252 seconds) |
| 2025-03-31 15:56:55 +0200 | <haskellbridge> | <Bowuigi> Any recommendations for using UNIX sockets? I'm looking to quickly hack around an Acme-like text editor |
| 2025-03-31 15:56:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-03-31 15:56:22 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-03-31 15:49:41 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-31 15:47:48 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-31 15:47:33 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-03-31 15:41:13 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-31 15:38:27 +0200 | internatetional | (~nate@2400:9800:d:fb6:1:0:8dba:4857) (Ping timeout: 252 seconds) |
| 2025-03-31 15:36:42 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-31 15:35:57 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-03-31 15:33:07 +0200 | srk | (~sorki@user/srk) srk |
| 2025-03-31 15:32:30 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-03-31 15:20:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6) (Ping timeout: 248 seconds) |
| 2025-03-31 15:15:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6) |
| 2025-03-31 15:07:43 +0200 | internatetional | (~nate@2400:9800:d:fb6:1:0:8dba:4857) internatetional |
| 2025-03-31 15:01:41 +0200 | sprotte24 | (~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-31 15:00:53 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-31 14:56:21 +0200 | <hellwolf> | Identity Iso. |
| 2025-03-31 14:56:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bfb1:8756:886a:fcf7) (Quit: xff0x) |
| 2025-03-31 14:55:53 +0200 | <hellwolf> | 03-31 10:51 <EvanR> you mean f = Identity ? Ah, that makes sense. So without function constraint would be equivalent to Iso with identity functor. |
| 2025-03-31 14:53:46 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-31 14:51:01 +0200 | hurk | (~user@9.47.7.51.dyn.plus.net) (Remote host closed the connection) |