2025/01/16

Newest at the top

2025-01-16 19:47:40 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-01-16 19:47:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-16 19:46:24 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-01-16 19:44:10 +0100 <haskellbridge> <sm> ok we need programming languages to be in their own list :)
2025-01-16 19:43:53 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-16 19:43:24 +0100 <sm> 👍🏻
2025-01-16 19:42:28 +0100 <juri_> yeah, trying to get the webserver to boot, now. :)
2025-01-16 19:42:19 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-01-16 19:41:51 +0100 <haskellbridge> <sm> they are missing ImplicitCAD for some reason (CAD app, 1k, website down)
2025-01-16 19:41:20 +0100Lord_of_Life_Lord_of_Life
2025-01-16 19:40:45 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2025-01-16 19:40:21 +0100 <haskellbridge> ... site generator, wire chat server, eta language, xdg-ninja $HOME cleaner, agda language, patat presentation tool, futhark language, gitit wiki, corrode c/rust translator, dapptools ethereum tools (2k) ...
2025-01-16 19:40:17 +0100pavonia(~user@user/siracusa) siracusa
2025-01-16 19:40:16 +0100 <haskellbridge> <sm> non-haskell-dev apps/tools from that list: shellcheck, pandoc (35k); postgrest (24k); hadolint (10k); semantic code analyser (9k); purescript language (8k); elm language (7k), unison, Carp languages (5k); kmonad keyboard manager, duckling language (4k), Kind language, Idris language, xmonad window manager, koka language, hledger, cardano blockchain node, Simula VR desktop (3k); echidna ethereum contract fuzzer, hakyll...
2025-01-16 19:40:00 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-01-16 19:39:52 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-01-16 19:39:10 +0100 <juri_> I like implicitCAD. I may be biased, however. :)
2025-01-16 19:37:02 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:463b:107b:324c:e3d3) (Quit: ubert)
2025-01-16 19:36:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-16 19:36:06 +0100 <tomsmeding> shellcheck is <3
2025-01-16 19:33:23 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-01-16 19:32:58 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-16 19:32:05 +0100Midjak(~MarciZ@82.66.147.146) Midjak
2025-01-16 19:31:14 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-01-16 19:28:56 +0100 <haskellbridge> <Bowuigi> It doesn't actually use haskell for configuring so I prefer keyd instead
2025-01-16 19:28:32 +0100 <haskellbridge> <Bowuigi> Kmonad allows you to customize your keyboard as if it was a QMK/ZMK supported one
2025-01-16 19:28:27 +0100 <haskellbridge> <sm> forgot to mention Cardano there (3k)
2025-01-16 19:27:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-16 19:24:22 +0100 <haskellbridge> <sm> why is kmonad so popular ? I don't hear about it
2025-01-16 19:23:59 +0100 <haskellbridge> <sm> though OP didn't ask for non-dev-related, just non-haskell-related. shellcheck definitely counts then.
2025-01-16 19:22:00 +0100 <haskellbridge> <sm> wait, I guess shellcheck is a dev tool also. The mighty pandoc rules as always
2025-01-16 19:21:51 +0100 <EvanR> hledger awwww yeah
2025-01-16 19:21:34 +0100weary-traveler(~user@user/user363627) (Ping timeout: 272 seconds)
2025-01-16 19:21:28 +0100user363627(~user@user/user363627) user363627
2025-01-16 19:20:01 +0100 <haskellbridge> <sm> too few non-developer apps there :(
2025-01-16 19:19:42 +0100 <haskellbridge> <sm> end user apps there seem to be: shellcheck and pandoc far out in front (35k), followed by kmonad (4k), xmonad, hledger, Simula (3k), patat (2k)
2025-01-16 19:18:50 +0100ColinRobinson(~juan@user/JuanDaugherty) (Quit: ColinRobinson)
2025-01-16 19:16:10 +0100 <haskellbridge> <sm> here's a ranking of haskell github projects by stars: https://github.com/EvanLi/Github-Ranking/blob/master/Top100/Haskell.md
2025-01-16 19:10:25 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-16 19:10:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-16 19:09:30 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-01-16 19:08:45 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-01-16 19:08:21 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-16 19:07:02 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-01-16 19:06:29 +0100dnerdhm^(~dnerdhm@108.192.66.114)
2025-01-16 19:03:20 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2025-01-16 19:02:28 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-01-16 18:56:43 +0100Square(~Square@user/square) (Ping timeout: 252 seconds)
2025-01-16 18:56:35 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-16 18:51:59 +0100acidjnk(~acidjnk@p200300d6e7283f2409bfe5ecbb77eb1c.dip0.t-ipconnect.de) acidjnk