Logs: liberachat/#haskell
| 2025-09-02 14:17:48 | <sshine_> | muhib, I used Emacs and haskell-mode in 2012-2020, after which I switched to VSCode because of the great effort with haskell-language-server and its LSP interface. |
| 2025-09-02 14:18:24 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-02 14:18:50 | <sshine_> | muhib, but I think ghcid is still a better experience, because it always works, unlike the LSP plugin which requires a level of care: I think it still needs to match the GHC, which is definitely possible when you manage your project with Nix, so you can have an LSP plugin that is unique to the GHC in your given project. |
| 2025-09-02 14:21:01 | <sshine_> | I know people who do something similar in Rust with a crate called 'bacon', resembles the ghcid experience. mostly people who work with embedded, where there can be similar challenges with the LSP plugin because of platform mismatches and experimental features and such. |
| 2025-09-02 14:21:26 | <sshine_> | if you switch the toolchain around a lot, ghcid is more robust. |
| 2025-09-02 14:21:36 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-02 14:21:47 | → | califax_ joins (~califax@user/califx) |
| 2025-09-02 14:23:02 | califax_ | is now known as califax |
| 2025-09-02 14:23:12 | × | zarakshR quits (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Ping timeout: 258 seconds) |
| 2025-09-02 14:24:30 | × | bitterx quits (~bitterx@user/bitterx) (Quit: bitterx) |
| 2025-09-02 14:26:37 | × | tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2025-09-02 14:27:59 | → | tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2025-09-02 14:30:27 | × | tromp quits (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-02 14:30:54 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-02 14:32:08 | <sm> | I don't know what TurboVision was like, what was good about it ? |
| 2025-09-02 14:33:10 | <sm> | I mix GUI and terminal to extent of always having my first VS Code editor tab be a terminal running a text-mode emacs. Then I use VSC's terminal pane on the right for additional, non-emacs, terminals. |
| 2025-09-02 14:51:32 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-02 14:53:13 | → | dolio joins (~dolio@130.44.140.168) |
| 2025-09-02 14:56:52 | × | dolio quits (~dolio@130.44.140.168) (Client Quit) |
| 2025-09-02 14:57:40 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 2025-09-02 14:58:23 | → | dolio joins (~dolio@130.44.140.168) |
| 2025-09-02 15:00:24 | × | trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-02 15:00:38 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-02 15:08:20 | <muhib> | cool, i shall endevour with VSCode but what would I build with it. =D currently going through learn you a haskell for great good, i don't why my vision became short sighted with haskell the more I learn it, what do you build with haskell? extremely sorry if I am ruining your scientific peace, i shall go now. maybe i'll write embedded code for |
| 2025-09-02 15:08:20 | <muhib> | real with haskell. has anybody crafted devices using haskell? to me a haskell developer would be an electronics person too. |
| 2025-09-02 15:18:19 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 248 seconds) |
| 2025-09-02 15:23:07 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-09-02 15:24:27 | × | pierrot_ quits (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 2025-09-02 15:24:44 | → | pierrot joins (~pi@user/pierrot) |
| 2025-09-02 15:29:34 | <haskellbridge> | <sm> muhib haskell in its usual form (GHC) probably isn't the best for small devices. Micro haskell however (microhs) might be great |
| 2025-09-02 15:31:46 | <haskellbridge> | <sm> I build scripts, command line tools, tui apps, web apps with haskell. But it's especially good for complex / high-assurance / prototype software |
| 2025-09-02 15:32:47 | <haskellbridge> | <sm> there are also tools that generate efficient c code from haskell specifications (copilot IIRC) |
| 2025-09-02 15:35:30 | × | akegalj quits (~akegalj@95.168.107.22) (Quit: leaving) |
| 2025-09-02 15:35:42 | <haskellbridge> | <sm> by if you're building small things with haskell / starting out / not already comfortable with vs code, using an editor and terminal is perfectly fine and possibly better |
| 2025-09-02 15:35:53 | <haskellbridge> | <sm> by the way |
| 2025-09-02 15:46:22 | × | muhib quits (~muhib@37.111.214.93) (Quit: Client closed) |
| 2025-09-02 15:50:13 | → | muhib joins (~muhib@37.111.214.93) |
| 2025-09-02 15:51:37 | × | mm_x_ quits (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
| 2025-09-02 15:52:00 | mal1 | is now known as lieven |
| 2025-09-02 15:58:21 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-02 15:59:39 | → | img joins (~img@user/img) |
| 2025-09-02 16:15:37 | × | muhib quits (~muhib@37.111.214.93) (Ping timeout: 250 seconds) |
| 2025-09-02 16:18:20 | → | tromp joins (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) |
| 2025-09-02 16:24:27 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-09-02 16:28:10 | × | Googulator quits (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-02 16:28:24 | → | Googulator joins (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) |
| 2025-09-02 16:44:58 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 2025-09-02 16:48:56 | → | Everything joins (~Everythin@46.211.83.200) |
| 2025-09-02 17:01:05 | × | tromp quits (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-02 17:03:22 | → | mari39459 joins (~mari-este@user/mari-estel) |
| 2025-09-02 17:05:27 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2025-09-02 17:05:27 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-02 17:07:19 | → | Square2 joins (~Square@user/square) |
| 2025-09-02 17:08:24 | AntiRembane | is now known as Rembane |
| 2025-09-02 17:08:43 | × | dysfigured quits (~dfg@dfg.rocks) (Ping timeout: 248 seconds) |
| 2025-09-02 17:11:39 | × | Square3 quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-09-02 17:14:04 | × | mari39459 quits (~mari-este@user/mari-estel) () |
| 2025-09-02 17:18:04 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-09-02 17:18:25 | → | trickard___ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-02 17:18:46 | × | trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 258 seconds) |
| 2025-09-02 17:21:06 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-09-02 17:21:12 | → | tromp joins (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) |
| 2025-09-02 17:26:38 | → | dfg joins (~dfg@user/dfg) |
| 2025-09-02 17:28:58 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-09-02 17:31:14 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-02 17:32:06 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-02 17:39:07 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-02 17:40:10 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-02 17:41:22 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-09-02 17:41:42 | × | tromp quits (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-02 17:41:59 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-09-02 17:48:31 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-02 17:50:59 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-09-02 17:51:46 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-02 18:09:22 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-09-02 18:15:35 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-09-02 18:19:39 | → | Guest87 joins (~Guest87@2600:1006:b12f:3fdb:0:51:7f9:ed01) |
| 2025-09-02 18:23:40 | × | Guest87 quits (~Guest87@2600:1006:b12f:3fdb:0:51:7f9:ed01) (Client Quit) |
| 2025-09-02 18:24:20 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-02 18:24:39 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-09-02 18:27:19 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-09-02 18:28:39 | jmcantrell_ | is now known as jmcantrell |
| 2025-09-02 18:31:55 | × | Everything quits (~Everythin@46.211.83.200) (Quit: leaving) |
| 2025-09-02 18:33:31 | × | trickard___ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-02 18:33:44 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-02 18:37:21 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-09-02 18:48:30 | × | pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 2025-09-02 18:48:48 | → | pierrot joins (~pi@user/pierrot) |
| 2025-09-02 18:55:53 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-02 18:57:26 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-09-02 18:58:20 | → | tromp joins (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) |
| 2025-09-02 18:59:14 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-09-02 18:59:47 | × | olivial_ quits (~benjaminl@73.240.192.240) (Ping timeout: 250 seconds) |
| 2025-09-02 19:00:42 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-09-02 19:03:05 | → | sprotte24 joins (~sprotte24@p200300d16f07a1007d73d2bb3e42b132.dip0.t-ipconnect.de) |
| 2025-09-02 19:05:26 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) |
| 2025-09-02 19:05:26 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host) |
| 2025-09-02 19:05:26 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-02 19:07:24 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-02 19:10:43 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
All times are in UTC.