Logs: liberachat/#haskell
| 2026-02-19 09:38:48 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 2026-02-19 09:40:39 | <gentauro> | jackdk: and sshine -> https://github.com/sdiehl/wiwinwlh/tree/master and https://sdiehl.github.io/wiwinwlh/ ;) |
| 2026-02-19 09:46:47 | <chromoblob> | well, i was joking |
| 2026-02-19 09:47:11 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-19 09:49:01 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2026-02-19 09:52:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-19 09:52:51 | × | mangoiv quits (~mangoiv@user/mangoiv) (Server closed connection) |
| 2026-02-19 09:53:06 | → | mangoiv joins (~mangoiv@2a01:4f9:c012:6c0e::) |
| 2026-02-19 09:53:14 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2026-02-19 09:54:05 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-19 09:54:10 | × | mangoiv quits (~mangoiv@2a01:4f9:c012:6c0e::) (Changing host) |
| 2026-02-19 09:54:10 | → | mangoiv joins (~mangoiv@user/mangoiv) |
| 2026-02-19 09:55:46 | → | tromp joins (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) |
| 2026-02-19 09:56:29 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 09:56:32 | Googulator72 | is now known as Googulator |
| 2026-02-19 09:59:14 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-02-19 10:05:54 | <gentauro> | what are the name of the bots here in this channel? Is there a command to invoke a list of them :) |
| 2026-02-19 10:07:34 | <[exa]> | as you command! lambdabot, yahb |
| 2026-02-19 10:08:59 | <[exa]> | ( oh I mean yahb2 ) |
| 2026-02-19 10:09:04 | <merijn> | I think it's pretty much just lambdabot and yahb, yeah |
| 2026-02-19 10:09:44 | <[exa]> | looks like they are the only voiced nicks here, together with dr haskellbridge |
| 2026-02-19 10:11:54 | <gentauro> | % :t 42 |
| 2026-02-19 10:11:54 | <yahb2> | 42 :: Num a => a |
| 2026-02-19 10:12:00 | <gentauro> | > :t 42 |
| 2026-02-19 10:12:01 | <lambdabot> | <hint>:1:1: error: parse error on input `:' |
| 2026-02-19 10:12:19 | <gentauro> | > [1] |
| 2026-02-19 10:12:20 | <lambdabot> | [1] |
| 2026-02-19 10:12:44 | <gentauro> | so lambdabot is not wrapping `ghci` right? |
| 2026-02-19 10:13:13 | <[exa]> | :t 42 |
| 2026-02-19 10:13:14 | <lambdabot> | Num a => a |
| 2026-02-19 10:13:19 | <[exa]> | depends on how you look at it |
| 2026-02-19 10:13:23 | <gentauro> | https://wiki.haskell.org/IRC_channel#Bots |
| 2026-02-19 10:13:42 | <gentauro> | «… there is a bot called yahb which runs your request in an actual GHCi prompt» |
| 2026-02-19 10:14:01 | <merijn> | gentauro: lambdabot is using the mueval library |
| 2026-02-19 10:14:18 | <merijn> | Whereas yahb is a sandboxed ghci session |
| 2026-02-19 10:14:41 | <gentauro> | merijn: and Safe-Haskell -> https://old.reddit.com/r/haskell/comments/kbayi9/is_safe_haskell_still_being_developed/gffxtai/ |
| 2026-02-19 10:14:47 | <gentauro> | which makes sense |
| 2026-02-19 10:15:58 | × | jayanth quits (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2026-02-19 10:18:08 | <tomsmeding> | yahb2 is an independent rewrite of yahb that has roughly the same functionality (as far as I know), because the original disappeared in... IIRC the freenode->libera switch? |
| 2026-02-19 10:18:10 | <gentauro> | has lambdabot been running since 2005 :o https://wiki.haskell.org/index.php?title=Lambdabot#@version |
| 2026-02-19 10:18:43 | gentauro | `#haskell lambdabot ghc-6.2.2 (Mar 30 20:48:23 EST 2005)` :o |
| 2026-02-19 10:19:04 | <tomsmeding> | cool |
| 2026-02-19 10:19:39 | × | cyphase quits (~cyphase@user/cyphase) (Server closed connection) |
| 2026-02-19 10:20:33 | → | cyphase joins (~cyphase@user/cyphase) |
| 2026-02-19 10:20:45 | <int-e> | https://github.com/lambdabot/lambdabot/commit/dcf37df705533dd694c471cdb5cff2965b44611f "import latest lambdabot", October 29th 2004. I don't know whether it was in #haskell at the time. |
| 2026-02-19 10:21:29 | <int-e> | But it probably was, judging by how many people had already contributed. |
| 2026-02-19 10:21:55 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-19 10:22:01 | <gentauro> | int-e: I guess you could argue it's "mature" and "enterprise ready" :D |
| 2026-02-19 10:22:20 | <int-e> | ...sure, let's go with that |
| 2026-02-19 10:22:43 | <tomsmeding> | from the TODO file: "unit tests, quickcheck tests, written tests... ok, maybe not written" |
| 2026-02-19 10:23:44 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 10:23:50 | <gentauro> | int-e: I'm going to link to it cos a really big company is requesting AI-security xD |
| 2026-02-19 10:24:23 | <gentauro> | I mean, interacting securily with code over chat … |
| 2026-02-19 10:24:38 | gentauro | probably gonna be blocked on LinkedIn, but worth it (Y) |
| 2026-02-19 10:25:32 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) |
| 2026-02-19 10:25:32 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) (Changing host) |
| 2026-02-19 10:25:32 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-19 10:26:47 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-19 10:27:03 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-02-19 10:27:13 | <gentauro> | hmmmm, the usage of `Safe Haskell` has to be a later refactoring -> «[Safe Haskell]: (David Terei, David Mazières, Simon Marlow, Simon Peyton Jones) Haskell ’12: Proceedings of the Fifth ACM SIGPLAN Symposium on Haskell, Copenhagen, Denmark, ACM, 2012» |
| 2026-02-19 10:27:32 | <int-e> | gentauro: I'll assume you're not aware that I'm running the thing (and haven't really given it much love beyond that in the past years) :P |
| 2026-02-19 10:28:33 | <gentauro> | int-e: «The bot is operated by IRC user int-e and provides many useful services for visitors to the IRC channel» -> https://wiki.haskell.org/IRC_channel#lambdabot (point taken) |
| 2026-02-19 10:28:40 | <gentauro> | and thx for mainting it xD |
| 2026-02-19 10:28:54 | × | jreicher quits (~joelr@user/jreicher) (Quit: brb) |
| 2026-02-19 10:29:07 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-19 10:29:42 | <gentauro> | isn't there a quote that "all programing languages will converge to Haskell"? If yes, who said it first? :) |
| 2026-02-19 10:29:52 | gentauro | or was it SML? |
| 2026-02-19 10:30:41 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-02-19 10:32:51 | <gentauro> | int-e: seriously, if you wanna make "big bucks" just expand this feature list with "interact with AI-LLM" xD |
| 2026-02-19 10:33:30 | <int-e> | gentauro: I'd rather eat glass. |
| 2026-02-19 10:33:43 | <gentauro> | if they paid 1bn USD for the OpenClaw "thingy" your bot might be worth 1trillion xD https://www.cnbc.com/2026/02/18/anthropic-pentagon-ai-defense-war-surveillance.html |
| 2026-02-19 10:33:51 | <int-e> | (Apparently that's the cool retort these days.) |
| 2026-02-19 10:33:52 | <gentauro> | int-e: I'm with you on that one |
| 2026-02-19 10:34:05 | <gentauro> | but, make a trillion dollars and pay us all to work with Haskell non-stop |
| 2026-02-19 10:34:10 | <int-e> | gentauro: I feel that it was Lisp... and specifically, a *worse* implementation of Lisp. |
| 2026-02-19 10:34:12 | <gentauro> | become our Lord and Saviour :P |
| 2026-02-19 10:34:18 | <int-e> | gentauro: But I can't find the code. |
| 2026-02-19 10:34:22 | <int-e> | quote even |
| 2026-02-19 10:34:50 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-19 10:34:50 | × | chexum_ quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-19 10:35:07 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-02-19 10:35:10 | gentauro | forgot to provide "feature list" https://wiki.haskell.org/index.php?title=Lambdabot#Features (more features than most TUI agents out there …) |
| 2026-02-19 10:35:31 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-02-19 10:35:44 | <__monty__> | It's Greenspun's tenth rule, https://en.wikipedia.org/wiki/Greenspun%27s_tenth_rule |
| 2026-02-19 10:35:52 | <int-e> | @v |
| 2026-02-19 10:35:52 | <lambdabot> | "\"#$%&'()*+,\"" |
| 2026-02-19 10:36:43 | <int-e> | @brain |
| 2026-02-19 10:36:44 | <lambdabot> | What can I do for fun, Pinky? That's it! I'll send several |
| 2026-02-19 10:36:44 | <lambdabot> | bills to Senate for ratification, then veto them all! |
| 2026-02-19 10:37:11 | <int-e> | I forgot most of these spammy commands. |
| 2026-02-19 10:37:15 | <gentauro> | xD |
| 2026-02-19 10:37:47 | <gentauro> | int-e: as the MS peeps say: "It's a feature". You just need to brand it as: "Yeah, as all your AI stuff, lambdabot also hallucinates" |
| 2026-02-19 10:38:13 | <gentauro> | int-e: I have just showed you the way to infinite money :P |
| 2026-02-19 10:39:08 | <int-e> | I've played video games, I know about infinite money glitches. |
| 2026-02-19 10:39:25 | <int-e> | But most of those don't have an economy to sustain. |
| 2026-02-19 10:39:40 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-19 10:40:18 | → | califax_ joins (~califax@user/califx) |
| 2026-02-19 10:41:14 | × | califax quits (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2026-02-19 10:41:33 | califax_ | is now known as califax |
| 2026-02-19 10:42:56 | <gentauro> | int-e: I've never been a fan of all the crypto stuff, but, thanks to Cardano the money was sent to: Tweag.io, Well-Typed, FP Complete, … and a lot of cool Haskell stuff was made on their behalf ;) |
All times are in UTC.