Newest at the top
| 2025-01-14 16:18:23 +0100 | <hellwolf> | It doesn't seem to have been actioned! |
| 2025-01-14 16:17:57 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-14 16:17:41 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 16:17:26 +0100 | <hellwolf> | https://coq.discourse.group/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement… |
| 2025-01-14 16:15:33 +0100 | <[exa]> | oh I see: The Coq team has decided that Coq will be renamed into 'The Rocq Prover'. |
| 2025-01-14 16:15:33 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-14 16:14:33 +0100 | <haskellbridge> | <Morj> > Coq got renamedThe website is still coq.inria.fr |
| 2025-01-14 16:13:54 +0100 | <[exa]> | ayay. |
| 2025-01-14 16:13:54 +0100 | <[exa]> | *bIgger |
| 2025-01-14 16:13:54 +0100 | <[exa]> | __monty__: there are any bugger haskell user groups in benelux? are there any links/sites? (I failed googling that) |
| 2025-01-14 16:13:54 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Ping timeout: 272 seconds) |
| 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 |