Logs: liberachat/#haskell
| 2026-01-31 20:08:55 | × | Zemy quits (~Zemy@mobile-107-80-206-99.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-31 20:11:51 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2026-01-31 20:12:01 | × | Core4705 quits (~Zemy@mobile-107-80-206-99.mycingular.net) (Ping timeout: 264 seconds) |
| 2026-01-31 20:15:14 | × | Zemy_ quits (~Zemy@2600:100c:b01b:8a9f:9007:bfff:fe0e:7c3e) (Ping timeout: 260 seconds) |
| 2026-01-31 20:16:10 | × | wickedjargon quits (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-01-31 20:17:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 20:19:43 | → | _JusSx_ joins (~jussx@78.213.12.210) |
| 2026-01-31 20:22:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-31 20:34:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 20:35:21 | → | poscat joins (~poscat@user/poscat) |
| 2026-01-31 20:36:40 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 2026-01-31 20:39:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-31 20:50:01 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 250 seconds) |
| 2026-01-31 20:50:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 20:53:44 | → | karenw joins (~karenw@user/karenw) |
| 2026-01-31 20:57:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-31 20:57:56 | trickard_ | is now known as trickard |
| 2026-01-31 21:02:06 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-31 21:06:58 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-31 21:08:25 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-01-31 21:08:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 21:09:20 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-31 21:14:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-31 21:15:38 | → | pavonia joins (~user@user/siracusa) |
| 2026-01-31 21:24:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 21:28:37 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-01-31 21:28:43 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2026-01-31 21:30:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-31 21:30:28 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2026-01-31 21:35:36 | × | tromp quits (~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-31 21:37:54 | × | XZDX quits (~xzdx@user/XZDX) (Ping timeout: 244 seconds) |
| 2026-01-31 21:39:19 | → | tromp joins (~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b) |
| 2026-01-31 21:40:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 21:42:06 | → | XZDX joins (~xzdx@2601:404:ce00:b795:214:51ff:fe83:9855) |
| 2026-01-31 21:42:39 | <yin> | i've been having some trouble with lsp completions in neovim. some errors about newlines in completion items (maybe snippets? idk) are being thrown left and right |
| 2026-01-31 21:42:42 | <yin> | this is recent behavious |
| 2026-01-31 21:43:10 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2026-01-31 21:43:50 | <yin> | (<> pure 'r') . init . last . words |
| 2026-01-31 21:45:38 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 2026-01-31 21:45:39 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-01-31 21:45:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-31 21:53:13 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2026-01-31 21:54:06 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-01-31 21:54:14 | → | bwu25 joins (~benwu25@user/bwu25) |
| 2026-01-31 21:54:20 | × | bwu25 quits (~benwu25@user/bwu25) (Client Quit) |
| 2026-01-31 21:56:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 22:00:22 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-01-31 22:01:17 | <tomsmeding> | yin: what lsp/completion plugins are you using? |
| 2026-01-31 22:01:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-31 22:01:49 | <tomsmeding> | yin: you could've skipped the ". last . words" |
| 2026-01-31 22:04:15 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-31 22:06:11 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-01-31 22:12:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 22:12:31 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 2026-01-31 22:16:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-31 22:24:11 | × | tromp quits (~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-31 22:25:30 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-31 22:28:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 22:35:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-31 22:46:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 22:50:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-31 22:52:51 | <yin> | tomsmeding: yes i could've :) |
| 2026-01-31 22:53:38 | <yin> | i was using blink.cmp |
| 2026-01-31 22:53:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 22:54:06 | <tomsmeding> | yin: me too, works fine for me |
| 2026-01-31 22:55:53 | <yin> | i switched to nvim-cmp and it stopped. my blink config is very vanilla i think |
| 2026-01-31 22:58:08 | <yin> | https://paste.jrvieira.com/1769900271615 |
| 2026-01-31 22:59:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-31 23:02:54 | <yin> | i'm trying to replicate it with no success |
| 2026-01-31 23:03:36 | <yin> | this was the error: https://paste.jrvieira.com/1769900606689 |
| 2026-01-31 23:05:04 | <tomsmeding> | yin: perhaps I don't run into this because I don't have snippets in the first place, so I never have completion items with newlines in them? |
| 2026-01-31 23:05:21 | <tomsmeding> | is there a way to get plain HLS to give me a completion item with newlines? |
| 2026-01-31 23:06:54 | <yin> | i think i was wrong in suspecting snippets because i still get errors with that source disabled |
| 2026-01-31 23:07:23 | <yin> | tomsmeding: i don't know |
| 2026-01-31 23:12:58 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-31 23:13:12 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-01-31 23:16:38 | Digitteknohippie | is now known as Digit |
| 2026-01-31 23:17:11 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-31 23:25:10 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-31 23:25:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 23:30:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-31 23:34:51 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-31 23:36:21 | <EvanR> | we've all seen many weird representations of a running program, turing tapes, graph reductions, lambda terms, whatever... but what about one where you have symbols on a (single) stack. The top symbol is either output to be acknowledged and removed, or the top 1 or more symbols match a pattern in a transition table for what to replace them with |
| 2026-01-31 23:36:43 | <EvanR> | is this still as general as turing tapes, lambda terms, ... |
| 2026-01-31 23:36:58 | <humasect> | stacks, fortran / forth ? |
| 2026-01-31 23:37:15 | <EvanR> | aiui forth has a program as well as a stack |
| 2026-01-31 23:37:20 | <humasect> | got this attention. new kinds of computation ! |
| 2026-01-31 23:37:23 | <EvanR> | and auxillary pages to work with |
| 2026-01-31 23:37:32 | <humasect> | oh yeah |
| 2026-01-31 23:37:39 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:6908:8fd3:7c1f:8dc7) |
| 2026-01-31 23:37:44 | <humasect> | mEmOrIeEs > |
| 2026-01-31 23:39:53 | × | Zemy quits (~Zemy@72.178.108.235) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2026-01-31 23:41:12 | <geekosaur> | forth has at least two stacks, actually |
| 2026-01-31 23:41:21 | <geekosaur> | (I think later iterations added more) |
| 2026-01-31 23:41:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-31 23:43:28 | <EvanR> | single stack with a transition table seems like a context free language parser and so might not be as general as e.g. lambda calculus |
| 2026-01-31 23:46:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-31 23:48:29 | <humasect> | No One Knows |
| 2026-01-31 23:52:05 | <monochrom> | EvanR: The standard implicit assumption is that the alphabet is finite. Then stack+transition = pushdown automata = CFL. But you can regain Turing completeness by an infinite alphabet, e.g., I may think of GHC RTS as a stack machine but I can push arbitrarily large expressions on the stack. |
| 2026-01-31 23:52:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.