|
3891
|
1 2012-05-31.txt:18:17:01: <elliott> @tell boily hi
|
|
|
2 2013-01-30.txt:20:41:53: <boily> @tell boily IIRC, lambdabot won't tell stuff to yourself.
|
|
|
3 2013-02-27.txt:22:16:21: <oerjan> @tell boily <boily> does deriving Ord in Haskell guarantee a total order, or at least a lattice? <-- as long as you don't get infinite recursion, it should. well as long as the parts are total orders (floating point is well known to break this with NaN)
|
|
|
4 2013-02-28.txt:20:35:30: <oerjan> @tell boily a total ordering requires always returning a comparison result (LT, EQ or GT.) you cannot do that if you infinitely recurse, can you.
|
|
|
5 2013-02-28.txt:20:37:42: <oerjan> @tell boily note i don't mean that the _values_ are infinite structures, but that _comparing_ them is an non-halting operation because of infinite recursion. although if your EQ is perfect structural identity you cannot really avoid the latter with the former.
|
|
|
6 2013-03-07.txt:21:08:42: <quintopia> @tell boily sounds good. but i'm gonna have fried chicken! ha
|
|
|
7 2013-03-15.txt:20:44:48: <boily> @tell boily good monday morning! this is myself from last friday. I forgot to forward the logs to zzo38.
|
|
|
8 2013-05-05.txt:16:35:11: <Tanea> @tell boily can you add ~prefixes to metasepia URGENTLY
|
|
|
9 2013-05-05.txt:16:35:29: <Tanea> @tell boily see fungot, HackEgo, and EgoBot for how it should behave
|
|
|
10 2013-05-16.txt:20:55:06: <oerjan> @tell boily whack me in the morning.
|
|
|
11 2013-05-23.txt:22:20:44: <Koen_> @tell boily I'm French thank you very much!
|
|
|
12 2013-06-07.txt:14:40:26: <oerjan> @tell boily *OUCH*
|
|
|
13 2013-07-31.txt:23:13:58: <oerjan> @tell boily <boily> no missiles launched? no grey goo cataclysm? no helvetica scenario? :( <-- there was a grey goo cataclysm, but fortunately we all got uploaded to the goo. our world's simulation is now one recursive step deeper hth
|
|
|
14 2013-08-02.txt:03:05:13: <oerjan> @tell boily I do not believe it is possible to experimentally distinguish extremely huge finite from infinite hth
|
|
|
15 2013-08-02.txt:03:07:51: <oerjan> @tell boily <boily> the haskell weekly news only has a single quote. <-- and it's not even from #haskell!
|
|
|
16 2013-08-02.txt:03:08:38: <oerjan> @tell boily well, I assume. i'd be shocked if knuth showed up there.
|
|
|
17 2013-08-20.txt:21:31:39: <Roujo_> %echo @tell boily Where's *my* relevant info? =/
|
|
|
18 2013-08-20.txt:21:31:39: <Emilie> @tell boily Where's *my* relevant info? =/
|
|
|
19 2013-08-27.txt:10:07:52: <oerjan> @tell boily God ettermiddag!
|
|
|
20 2013-08-29.txt:16:24:02: <Roujo> @tell boily ARRÊTE DE FAIRE L'IDLE, INFÂME ET ODIEUX PERSONNAGE QUE TU ES! :D
|
|
|
21 2013-08-31.txt:20:46:23: <nooodl> @tell boily new danddreclist: http://zzo38computer.org/dnd/recording/level20.tex
|
|
|
22 2013-09-05.txt:22:25:41: <tswett> @tell boily Not sure what you're referring to.
|
|
|
23 2013-09-07.txt:15:52:02: <Vorpal> @tell boily The USB issue I have seems to be a kernel bug in 3.2 (which I'm running since I'm stable Debian, this might make me go testing or manually build a newer kernel, whichever is least work)
|
|
|
24 2013-09-10.txt:00:50:19: <oerjan> @tell boily <boily> and may nobody come to me saying copumpkin is someone else without telling me who the someone else is. <-- this may come as a shock to you, but copumpkin is also pumpkin. also, i know who alise is *MWAHAHAHA*
|
|
|
25 2013-09-10.txt:02:46:14: <oerjan> @tell boily <boily> fizzie is wise. oerjan is... uhm... wise too, I guess. <-- I SENSE SOME HESITATION
|
|
|
26 2013-09-11.txt:04:01:54: <oerjan> @tell boily Good, good. Well, not the asthma.
|
|
|
27 2013-09-12.txt:06:20:56: <oerjan> @tell boily <boily> so, from mathematics "S" is evil, but from programming it's just plain old print. <-- nah S is simple to handle mathematically, see http://esolangs.org/wiki/Underload#Rewriting_semantics
|
|
|
28 2013-09-13.txt:14:52:51: <Roujo> @tell boily I know you're here, I just wanted to ask you something so I @asked it
|
|
|
29 2013-09-14.txt:07:59:08: <oerjan> @tell boily <boily> since when underload is monoidal? <-- well, it is.
|
|
|
30 2013-09-16.txt:15:27:43: <Bike> @tell boily http://blogs.scientificamerican.com/scicurious-brain/2013/09/16/ignobels-2013-who-ate-the-dead-shrew-for-science/
|
|
|
31 2013-09-18.txt:06:44:26: <olsner> @tell boily it would be nice if the quotes in the pdf had line breaks between peoples' lines
|
|
|
32 2013-09-25.txt:22:00:44: <oerjan> @tell boily <boily> I am at kannada. <-- ಠ_ಠ
|
|
|
33 2013-09-27.txt:21:06:02: <kmc> @tell boily C++ feels vastly more like a high level language if you use reference-counting smart pointers as much as possible
|
|
|
34 2013-10-04.txt:22:03:31: <oerjan> @tell boily i don't recall there being anything stealthy about it.
|
|
|
35 2013-10-04.txt:22:29:51: <oerjan> @tell boily also, you are still confusing tac and rev
|
|
|
36 2013-10-07.txt:21:42:20: <oerjan> `pastelogs @tell boily
|
