2026/04/13

Newest at the top

2026-04-13 17:03:52 +0000Square(~Square4@user/square) (Ping timeout: 244 seconds)
2026-04-13 17:01:04 +0000Square3(~Square@user/square) Square
2026-04-13 16:49:34 +0000hellwolf(~user@17e7-d9b7-b727-51a4-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2026-04-13 16:49:19 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-04-13 16:48:56 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-04-13 16:48:27 +0000 <Milan_Vanca> But enough fun.. lets go back to studying :D
2026-04-13 16:47:49 +0000 <Milan_Vanca> ty that is new command I learned today :)
2026-04-13 16:47:05 +0000 <mauke> ah :-)
2026-04-13 16:47:02 +0000 <mauke> I can see your requests in my status window
2026-04-13 16:47:00 +0000 <Milan_Vanca> mauke: No sorry, I see it just in different "window"
2026-04-13 16:46:22 +0000 <Milan_Vanca> Like I was able to send command but I see no response
2026-04-13 16:46:14 +0000m(~travltux@user/travltux) (Quit: WeeChat 4.7.2)
2026-04-13 16:43:53 +0000hellwolf(~user@7530-0dab-5d73-cf2b-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 248 seconds)
2026-04-13 16:36:42 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-04-13 16:35:57 +0000karenw(~karenw@user/karenw) karenw
2026-04-13 16:35:20 +0000 <mauke> Milan_Vanca: I don't see a specific weechat command for it. try "/ctcp mauke version"
2026-04-13 16:34:33 +0000 <__monty__> yin: I guess the pattern rolls out of the definition of `not` a bit more readily? The assumption being that people are less likely to write a tautological test than they are to spell out negation?
2026-04-13 16:33:06 +0000 <mauke> by sending a CTCP VERSION request
2026-04-13 16:33:01 +0000 <mauke> I asked it :-)
2026-04-13 16:32:38 +0000 <Milan_Vanca> mauke: You can see my client? :D
2026-04-13 16:32:10 +0000 <Milan_Vanca> Ah thank you
2026-04-13 16:32:00 +0000 <mauke> Milan_Vanca: I'm not sure about weechat, but try "/query lambdabot"
2026-04-13 16:31:58 +0000 <__monty__> Milan_Vanca: AKA a private message.
2026-04-13 16:31:48 +0000 <EvanR> a^2 + 2*a + 1
2026-04-13 16:31:41 +0000 <lambdabot> (a + 1) * (a + 1)
2026-04-13 16:31:40 +0000 <EvanR> > (a + 1) * (a + 1)
2026-04-13 16:31:35 +0000 <Milan_Vanca> __monty__: what query?
2026-04-13 16:31:10 +0000 <yin> __monty__: after considering it, i don't think it does after all
2026-04-13 16:30:52 +0000 <__monty__> You can experiment with lambdabot in a query, FYI.
2026-04-13 16:30:42 +0000 <mauke> lambdabot isn't ghci :-)
2026-04-13 16:30:18 +0000 <lambdabot> Unknown command, try @list
2026-04-13 16:30:18 +0000 <Milan_Vanca> @:sprint main
2026-04-13 16:30:06 +0000 <lambdabot> Here we are, Pinky--at the dawn of time!
2026-04-13 16:30:06 +0000 <Milan_Vanca> @:main
2026-04-13 16:30:04 +0000 <lambdabot> Defined.
2026-04-13 16:30:02 +0000 <Milan_Vanca> @let main = print "Hello"
2026-04-13 16:28:36 +0000karenw(~karenw@user/karenw) (Remote host closed the connection)
2026-04-13 16:26:28 +0000 <lambdabot> 42
2026-04-13 16:26:27 +0000 <mauke> > (let map = 20 in map + 1) * 2
2026-04-13 16:26:21 +0000 <janus> yahb is just ghci right? so you use lambdabot so that you can get SimpleReflect?
2026-04-13 16:25:39 +0000 <mauke> the former adds a top-level statement to the execution environment
2026-04-13 16:25:17 +0000 <mauke> the latter introduces an expression
2026-04-13 16:24:34 +0000 <janus> what's the difference between using @let and '> let' ?
2026-04-13 16:23:41 +0000 <lambdabot> (a + 1) * (a + 1)
2026-04-13 16:23:40 +0000 <mauke> > (a + 1) ^ 2
2026-04-13 16:23:07 +0000 <lambdabot> Undefined.
2026-04-13 16:23:07 +0000 <mauke> @undefine
2026-04-13 16:23:05 +0000 <lambdabot> either ‘Debug.SimpleReflect.a’,
2026-04-13 16:23:05 +0000 <lambdabot> It could refer to
2026-04-13 16:23:05 +0000 <lambdabot> Ambiguous occurrence ‘a’.