2026/02/19

Newest at the top

2026-02-19 11:30:41 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-02-19 11:29:52 +0100gentauroor was it SML?
2026-02-19 11:29:42 +0100 <gentauro> isn't there a quote that "all programing languages will converge to Haskell"? If yes, who said it first? :)
2026-02-19 11:29:07 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
2026-02-19 11:28:54 +0100jreicher(~joelr@user/jreicher) (Quit: brb)
2026-02-19 11:28:40 +0100 <gentauro> and thx for mainting it xD
2026-02-19 11:28:33 +0100 <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 11:27:32 +0100 <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 11:27:13 +0100 <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 11:27:03 +0100divlamir(~divlamir@user/divlamir) divlamir
2026-02-19 11:26:47 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-02-19 11:25:32 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-19 11:25:32 +0100arandombit(~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) (Changing host)
2026-02-19 11:25:32 +0100arandombit(~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad)
2026-02-19 11:24:38 +0100gentauroprobably gonna be blocked on LinkedIn, but worth it (Y)
2026-02-19 11:24:23 +0100 <gentauro> I mean, interacting securily with code over chat …
2026-02-19 11:23:50 +0100 <gentauro> int-e: I'm going to link to it cos a really big company is requesting AI-security xD
2026-02-19 11:23:44 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-02-19 11:22:43 +0100 <tomsmeding> from the TODO file: "unit tests, quickcheck tests, written tests... ok, maybe not written"
2026-02-19 11:22:20 +0100 <int-e> ...sure, let's go with that
2026-02-19 11:22:01 +0100 <gentauro> int-e: I guess you could argue it's "mature" and "enterprise ready" :D
2026-02-19 11:21:55 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
2026-02-19 11:21:29 +0100 <int-e> But it probably was, judging by how many people had already contributed.
2026-02-19 11:20:45 +0100 <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 11:20:33 +0100cyphase(~cyphase@user/cyphase) cyphase
2026-02-19 11:19:39 +0100cyphase(~cyphase@user/cyphase) (Server closed connection)
2026-02-19 11:19:04 +0100 <tomsmeding> cool
2026-02-19 11:18:43 +0100gentauro`#haskell lambdabot ghc-6.2.2 (Mar 30 20:48:23 EST 2005)` :o
2026-02-19 11:18:10 +0100 <gentauro> has lambdabot been running since 2005 :o https://wiki.haskell.org/index.php?title=Lambdabot#@version
2026-02-19 11:18:08 +0100 <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 11:15:58 +0100jayanth(~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Ping timeout: 246 seconds)
2026-02-19 11:14:47 +0100 <gentauro> which makes sense
2026-02-19 11:14:41 +0100 <gentauro> merijn: and Safe-Haskell -> https://old.reddit.com/r/haskell/comments/kbayi9/is_safe_haskell_still_being_developed/gffxtai/
2026-02-19 11:14:18 +0100 <merijn> Whereas yahb is a sandboxed ghci session
2026-02-19 11:14:01 +0100 <merijn> gentauro: lambdabot is using the mueval library
2026-02-19 11:13:42 +0100 <gentauro> «… there is a bot called yahb which runs your request in an actual GHCi prompt»
2026-02-19 11:13:23 +0100 <gentauro> https://wiki.haskell.org/IRC_channel#Bots
2026-02-19 11:13:19 +0100 <[exa]> depends on how you look at it
2026-02-19 11:13:14 +0100 <lambdabot> Num a => a
2026-02-19 11:13:13 +0100 <[exa]> :t 42
2026-02-19 11:12:44 +0100 <gentauro> so lambdabot is not wrapping `ghci` right?
2026-02-19 11:12:20 +0100 <lambdabot> [1]
2026-02-19 11:12:19 +0100 <gentauro> > [1]
2026-02-19 11:12:01 +0100 <lambdabot> <hint>:1:1: error: parse error on input `:'
2026-02-19 11:12:00 +0100 <gentauro> > :t 42
2026-02-19 11:11:54 +0100 <yahb2> 42 :: Num a => a
2026-02-19 11:11:54 +0100 <gentauro> % :t 42
2026-02-19 11:09:44 +0100 <[exa]> looks like they are the only voiced nicks here, together with dr haskellbridge
2026-02-19 11:09:04 +0100 <merijn> I think it's pretty much just lambdabot and yahb, yeah
2026-02-19 11:08:59 +0100 <[exa]> ( oh I mean yahb2 )