Logs: liberachat/#haskell
| 2025-10-02 17:56:56 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Client Quit) |
| 2025-10-02 18:10:41 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 250 seconds) |
| 2025-10-02 18:12:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-02 18:16:32 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-10-02 18:16:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-02 18:19:30 | × | tromp quits (~textual@2001:1c00:3487:1b00:48e3:4bde:a27a:5817) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-02 18:21:46 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-02 18:32:27 | × | aditya_an1l quits (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.7.1) |
| 2025-10-02 18:33:01 | → | aditya_an1l joins (~aditya_an@user/aditya-an1l:63825) |
| 2025-10-02 18:33:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-02 18:36:58 | → | remedan_ joins (~remedan@194.212.224.168) |
| 2025-10-02 18:37:41 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-10-02 18:37:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-02 18:37:54 | × | remedan quits (~remedan@78-80-80-28.customers.tmcz.cz) (Ping timeout: 260 seconds) |
| 2025-10-02 18:46:00 | × | dhil quits (~dhil@5.151.29.140) (Quit: Leaving) |
| 2025-10-02 18:48:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-02 18:51:51 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-10-02 18:52:59 | × | aditya_an1l quits (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.7.1) |
| 2025-10-02 18:53:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-02 18:57:53 | trickard___ | is now known as trickard |
| 2025-10-02 19:00:00 | × | caconym74787 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-02 19:00:41 | → | caconym74787 joins (~caconym@user/caconym) |
| 2025-10-02 19:01:32 | → | Everything joins (~Everythin@88.155.5.189) |
| 2025-10-02 19:04:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-02 19:08:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-02 19:19:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-02 19:19:56 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-02 19:20:12 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-02 19:23:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-02 19:28:48 | × | Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Quit: BRB) |
| 2025-10-02 19:32:14 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2025-10-02 19:34:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-02 19:40:22 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-10-02 19:41:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-02 19:46:34 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 255 seconds) |
| 2025-10-02 19:47:22 | → | Maeda joins (~Maeda@91-161-10-149.subs.proxad.net) |
| 2025-10-02 19:48:48 | → | sprotte24_ joins (~sprotte24@p200300d16f073f0088f10a86236c2e23.dip0.t-ipconnect.de) |
| 2025-10-02 19:50:01 | ← | L-Type parts (~L-Type@175.176.38.142) () |
| 2025-10-02 19:50:51 | <haskellbridge> | <Morj> I don't understand how irc works |
| 2025-10-02 19:52:31 | × | sprotte24 quits (~sprotte24@p200300d16f073f0039970b30ce84de44.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-10-02 19:52:31 | <haskellbridge> | <Morj> I think I joined an erlang chat (using konversation), like I typed "join #erlang" and got a new tab and a MOTD. There are even people in the sidebar, but when I try to send I get «[21:49] [404] morj #erlang Cannot send to nick/channel» |
| 2025-10-02 19:52:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-02 19:52:51 | <EvanR> | it sounds like you're restricted on that channel |
| 2025-10-02 19:53:02 | <EvanR> | like maybe it requires nick registration |
| 2025-10-02 19:53:04 | <haskellbridge> | <Morj> Might be related to the motd line «Channel modes: no messages from outside, topic protection». But where do I message then? I don't see any info on that |
| 2025-10-02 19:53:15 | <haskellbridge> | <Morj> Possibly! How do I register a nick? |
| 2025-10-02 19:53:25 | <EvanR> | through a bridge? |
| 2025-10-02 19:53:36 | <Lycurgus> | or maybe it's just bridged to matrix |
| 2025-10-02 19:53:46 | <haskellbridge> | <Morj> Actually I wanted to try the real irc experience, without bridges (-: |
| 2025-10-02 19:53:55 | <Lycurgus> | the reverse of matrix being bridged here |
| 2025-10-02 19:53:57 | <haskellbridge> | <Morj> I'm writing you here through a bridge because I failed at that |
| 2025-10-02 19:53:57 | <EvanR> | then you might want to use an IRC client |
| 2025-10-02 19:54:09 | <haskellbridge> | <Morj> Yeah, I'm joining erlang with a real irc client |
| 2025-10-02 19:54:11 | <EvanR> | and join #haskell |
| 2025-10-02 19:54:12 | <haskellbridge> | <Morj> Actually brb |
| 2025-10-02 19:54:17 | → | morj joins (~morj@2a01:e0a:e0e:5dd0:b976:98a1:7d52:c2f5) |
| 2025-10-02 19:54:20 | <EvanR> | lol |
| 2025-10-02 19:54:26 | <morj> | Yep I'm here |
| 2025-10-02 19:54:34 | <EvanR> | ok this makes more sense |
| 2025-10-02 19:54:42 | <EvanR> | /msg NickServ help |
| 2025-10-02 19:54:55 | <morj> | So here I also see the line «Channel modes: C, no messages from outside, topic protection». What does C mean? |
| 2025-10-02 19:55:18 | <EvanR> | no CTCPs allowed |
| 2025-10-02 19:55:30 | <EvanR> | usually that's not how you talk on a channel |
| 2025-10-02 19:55:41 | <morj> | I don't think CP is allowed anywhere be it ct or not ^u |
| 2025-10-02 19:55:50 | <morj> | I mean what is CTCP? (-: |
| 2025-10-02 19:56:21 | <EvanR> | a kind of irc message to do weird things like query people's client |
| 2025-10-02 19:56:30 | <EvanR> | it can also do blanket announcements |
| 2025-10-02 19:56:33 | <morj> | I see, thanks |
| 2025-10-02 19:57:04 | <Clint> | it's how /me actions are sent to channels though |
| 2025-10-02 19:57:34 | <fgidim> | the commands to register are here https://libera.chat/guides/registration |
| 2025-10-02 19:57:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-02 19:58:02 | <morj> | Thanks, I'll have a read |
| 2025-10-02 19:58:15 | <fgidim> | getting SASL set up might be nice too https://libera.chat/guides/sasl |
| 2025-10-02 19:58:21 | <morj> | Erlang is kind of fun btw, but I do miss typing |
| 2025-10-02 19:58:58 | <morj> | It's silly that dialyzer can do some type inference and tell you the errors, but for some errors it won't tell which types or values cause them, just «this function has no local exit» |
| 2025-10-02 20:01:08 | × | peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 244 seconds) |
| 2025-10-02 20:01:53 | <EvanR> | I've been following that kind of stuff in erlang, for reasons |
| 2025-10-02 20:02:27 | × | morj quits (~morj@2a01:e0a:e0e:5dd0:b976:98a1:7d52:c2f5) (Changing host) |
| 2025-10-02 20:02:27 | → | morj joins (~morj@user/morj) |
| 2025-10-02 20:02:39 | <EvanR> | it's kind of janky relative to haskell's type system, but also hypothetically gets much more complicated |
| 2025-10-02 20:03:10 | <EvanR> | forming types from complicated subtractions and intersections |
| 2025-10-02 20:03:24 | <EvanR> | not erlang, elixir |
| 2025-10-02 20:04:28 | <dolio> | That is usually the problem when putting types on something originally untyped. |
| 2025-10-02 20:04:51 | <dolio> | You need much more complicated type systems for the ad-hoc things people design without types. |
| 2025-10-02 20:07:14 | <tomsmeding> | morj: looks like the identification thing worked :) |
| 2025-10-02 20:08:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-02 20:09:16 | <morj> | Yeah, I did identify |
| 2025-10-02 20:10:15 | <morj> | I'm confused with SASL though. Konversation wants me to choose an «account» when connecting, but I don't think I gave out an account: only a nickname and an email |
| 2025-10-02 20:10:32 | <tomsmeding> | did you register with NickServ? |
| 2025-10-02 20:10:35 | <morj> | Yes |
| 2025-10-02 20:11:23 | <tomsmeding> | you can have multiple nicknames per account |
| 2025-10-02 20:11:27 | <morj> | Wait, I think the nickname is supposed to be an account and I misread an error message |
| 2025-10-02 20:11:29 | <morj> | Brb |
| 2025-10-02 20:11:33 | × | morj quits (~morj@user/morj) (Quit: Konversation terminated!) |
| 2025-10-02 20:11:53 | → | morj joins (~morj@user/morj) |
| 2025-10-02 20:11:56 | <tomsmeding> | if you send 'info' to Nickserv it'll give you something like "Information on morj (account morj)" probably |
| 2025-10-02 20:12:18 | <tomsmeding> | which just means that you have an account with one nick under it, and they're called the same |
| 2025-10-02 20:12:20 | <morj> | Yes, it just doesn't allow to have multiple connections with the same login it seems. That's inconvenient |
| 2025-10-02 20:12:30 | <tomsmeding> | oh doesn't it? |
| 2025-10-02 20:12:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
All times are in UTC.