Ellied changed the topic of #bottorture to: Enhanced Bot Interrogation Techniques || <Kountdown> however i hate you kountdown || <Kountdown> Kountdown hasn't had enough botsnacks today, it seems || <test_avi> \nPING a\nPING a\nPING a\nPING a\nPING a\nPING a\nPING a\nPING a\nPING a\nPING a\nPING a\nPING a\nPING <test_avi> Shame this didn't work.
<icefire> .hat
* hatbot gives icefire 24 hats for a total of 758 hats.
<UmbralRaptor> .hat
* hatbot gives UmbralRaptor 22 hats for a total of 3414 hats.
icefire has quit [Read error: Connection reset by peer]
<UmbralRaptor> .hat
* hatbot gives UmbralRaptor 23 hats for a total of 3437 hats.
<UmbralRaptor> .hat
* hatbot gives UmbralRaptor 27 hats for a total of 3464 hats.
Shoe17 has joined #bottorture
icefire has joined #bottorture
egg|df|egg is now known as egg
Shoe17 has quit [Quit: Connection closed for inactivity]
Shoe17 has joined #bottorture
<icefire> .hat
* hatbot gives icefire 16 hats for a total of 774 hats.
<egg> .hat
* hatbot gives egg 17 hats for a total of 814 hats.
<icefire> .bet 64
* hatbot raises icefire's hat count to 838.
<egg> @let leinc (0 : tail) = (1 : tail); leinc (1 : tail) = (0 : leinc tail); leinc [] = [1];
<Soozee> Defined.
<egg> leinc(lebits(3))
<egg> > leinc(lebits(3))
<Soozee> [0,0,1]
<egg> > leinc(lebits(4))
<Soozee> [1,0,1]
<egg> @let inc b = reverse(leinc(reverse(b)))
<Soozee> Defined.
<egg> > inc(bits(3))
<Soozee> [1,0,0]
<egg> > inc(bits(5))
<Soozee> [1,1,0]
<egg> > inc(bits(127))
<Soozee> [1,0,0,0,0,0,0,0]
<SilverFox> is leinc the french version of inc?
<egg> SilverFox: nah, it's little-endian
<SilverFox> ahh
icefire has quit [Read error: Connection reset by peer]
Technicalfool has quit [Quit: Leaving]
Technicalfool has joined #bottorture
<egg> !u ⩴
<Qboid> U+2A74 DOUBLE COLON EQUAL (⩴)
<egg> inc.inc.inc.bits(1)
<egg> > inc.inc.inc.bits(1)
<egg> > inc . inc . inc . bits(1)
<egg> :t .
<Soozee> parse error on input ‘.’
<egg> :t (.)
<Soozee> (b -> c) -> (a -> b) -> a -> c
<egg> > bits(1)
<Soozee> [1]
<egg> > bits 1
<Soozee> [1]
<egg> > inc . inc . inc . (bits 1)
<egg> > inc . inc . inc (bits 1)
<egg> > (inc . inc . inc . bits) 1
<Soozee> [1,0,0]
<egg> > (inc . inc . inc . bits) 0
<Soozee> [1,1]
<egg> >bits 0
<egg> > bits 0
<Soozee> []
<egg> > bits -1
<egg> :t bits
<Soozee> Integral a => a -> [a]
<egg> > bits (-1)
<Soozee> [1]
<egg> > bits (-10)
<Soozee> [1,0,1,0]
handicraftsman has joined #bottorture
icefire has joined #bottorture
<icefire> .hat
* hatbot gives icefire 20 hats for a total of 858 hats.
<icefire> .bet 16
* hatbot raises icefire's hat count to 874.
<ConductorCat> ;mission
<kmath> ConductorCat: You try to convince the DOD to give your rocket EELV status using simulations made in KSP. Your computer is infected with Norton Antivirus.
<icefire> .hat
* hatbot gives icefire 25 hats for a total of 899 hats.
<egg> .hat
* hatbot gives egg 27 hats for a total of 841 hats.
<icefire> .hat
* hatbot gives icefire 19 hats for a total of 918 hats.
icefire has quit [Read error: Connection reset by peer]
Thomas is now known as Thomas|AWAY
<UmbralRaptor> .hat
* hatbot gives UmbralRaptor 29 hats for a total of 3493 hats.
<handicraftsman> .hat
* hatbot gives handicraftsman 24 hats for a total of 154 hats.
Shoe17 has quit [Quit: Connection closed for inactivity]
handicraftsman has quit [Quit: Курите маны и читайте доки]
icefire has joined #bottorture
<UmbralRaptor> .hat
* hatbot gives UmbralRaptor 14 hats for a total of 3507 hats.
<egg> .hat
* hatbot gives egg 19 hats for a total of 860 hats.
<UmbralRaptor> Obviously we need a hat based economy.
<egg> UmbralRaptor: clearly
<UmbralRaptor> cryptographically signed hats.
UmbralRaptor is now known as AppliedRaptor
tablebot has joined #bottorture
tablebot1 has quit [Ping timeout: 200 seconds]