Newest at the top
| 2025-01-14 16:12:32 +0100 | <[exa]> | I read some memes that Coq got renamed, is that true? (didn't really check) |
| 2025-01-14 16:11:56 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-14 16:11:54 +0100 | <haskellbridge> | <Morj> I was looking for ocaml positions in France recently, and they were all secretly for coq |
| 2025-01-14 16:11:24 +0100 | <hellwolf> | (not from belgium, sorry, just ranting) |
| 2025-01-14 16:11:19 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-01-14 16:11:14 +0100 | <hellwolf> | do people count rust as FP? Unironically, FPCompete completes itself with rust |
| 2025-01-14 16:11:11 +0100 | <haskellbridge> | <Morj> Coq/rocq? But I'm saying this because of proximity to france |
| 2025-01-14 16:10:28 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-14 16:09:25 +0100 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2025-01-14 16:09:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 16:09:25 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds) |
| 2025-01-14 16:08:46 +0100 | <kuribas> | I suppose scala is a bit more popular. |
| 2025-01-14 16:08:16 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 16:08:13 +0100 | <kuribas> | Ocaml, F#, scala, ... |
| 2025-01-14 16:08:02 +0100 | <kuribas> | Are there other FP languages that are popular in Belgium? |
| 2025-01-14 16:07:17 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) |
| 2025-01-14 16:06:40 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 16:06:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-01-14 15:59:27 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 15:57:49 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-14 15:56:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-14 15:54:40 +0100 | <kuribas> | I am not charmed yet, but maybe I should be... |
| 2025-01-14 15:50:55 +0100 | dmwit | (~dmwit@pool-173-66-76-243.washdc.fios.verizon.net) dmwit |
| 2025-01-14 15:49:16 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-14 15:44:04 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-14 15:42:58 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-01-14 15:39:31 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) rekahsoft |
| 2025-01-14 15:36:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2025-01-14 15:36:22 +0100 | <hellwolf> | sounds like it should be a charming experience. |
| 2025-01-14 15:34:30 +0100 | <kuribas> | hellwolf: they use pycharm... |
| 2025-01-14 15:34:23 +0100 | <kuribas> | On a positive note, I do think functional programming is more and more adopted in other languages. |
| 2025-01-14 15:34:23 +0100 | <hellwolf> | sounds incredulous, there must be an explanation if your colleague also using it. |
| 2025-01-14 15:31:25 +0100 | <kuribas> | I put a breakpoint in the code, but sometimes the debugger just hangs, sometimes it doesn't stop at the breakpoint, etc... |
| 2025-01-14 15:30:36 +0100 | <kuribas> | For that reason, I prefer dataclasses, they can be typechecked. |
| 2025-01-14 15:30:12 +0100 | <kuribas> | So I trace through it find the problem. |
| 2025-01-14 15:30:01 +0100 | <kuribas> | We have code with a lot of dataframes, I find it hard to keep the right fields in my head. |
| 2025-01-14 15:29:56 +0100 | <hellwolf> | dependently debuggable |
| 2025-01-14 15:29:45 +0100 | <hellwolf> | huh? |
| 2025-01-14 15:29:45 +0100 | <kuribas> | hellwolf: sometimes |
| 2025-01-14 15:29:44 +0100 | <hellwolf> | (python debugger) |
| 2025-01-14 15:29:44 +0100 | <hellwolf> | what do you want from a debugger, is the breakpoint working for you? |
| 2025-01-14 15:27:30 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-14 15:27:22 +0100 | <__monty__> | Yeah, they used to come to the HUG in Leuven. |
| 2025-01-14 15:26:46 +0100 | <kuribas> | __monty__: Western Digital? |
| 2025-01-14 15:26:16 +0100 | <kuribas> | I am struggling with the Python debugger in vscode, I would expect more quality from a product used by millions. |
| 2025-01-14 15:25:48 +0100 | <hellwolf> | "it will be", but that day may never come: as you as you can keep the "if it works, don't touch it or ask you" |
| 2025-01-14 15:25:44 +0100 | <kuribas> | hellwolf: it feels that way. |
| 2025-01-14 15:25:39 +0100 | <kuribas> | __monty__: central app, by Ashesh Ambasta, and pieSync |
| 2025-01-14 15:25:21 +0100 | <hellwolf> | people don't want good things for them, it's too painful. |
| 2025-01-14 15:24:36 +0100 | <__monty__> | kuribas: Which two? I know about WD in Gent. |