Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4324 4325 4326 4327 4328 4329 4330 4331 4332 4333 4334 .. 5022
— 502,152 events total
2021-04-10 03:51:24 <johnw> we absolutely should; a visit is in order. according to my wife I should be safest to travel come mid-May
2021-04-10 03:51:29 <johnw> I plan on heading out your way
2021-04-10 03:51:51 <edwardk> amy and i are out in the middle of the desert at the moment. berkeley was feeling a little crowded
2021-04-10 03:52:29 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-04-10 03:52:31 <edwardk> got far enough away from it all that we don't need to deal with neighbors til after we get fully vaccinated, etc.
2021-04-10 03:53:32 <edwardk> have been generally hanging out and live-coding over on https://discord.gg/rHg4AJaB when I get free time
2021-04-10 03:54:06 <edwardk> working up a bunch of code for linear logic, etc.
2021-04-10 03:56:46 × cafce25 quits (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-04-10 04:01:05 <johnw> linear logic in what sense?
2021-04-10 04:02:12 × Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-04-10 04:02:39 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2021-04-10 04:03:09 → Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-04-10 04:03:36 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2021-04-10 04:05:39 × alx741 quits (~alx741@181.196.69.222) (Quit: alx741)
2021-04-10 04:06:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-10 04:08:10 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-04-10 04:12:02 → Rudd0 joins (~Rudd0@185.189.115.103)
2021-04-10 04:12:50 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-04-10 04:17:10 × cheater quits (~user@unaffiliated/cheater) (*.net *.split)
2021-04-10 04:17:10 × myShoggoth quits (~myShoggot@75.164.73.93) (*.net *.split)
2021-04-10 04:17:10 × {abby} quits (~{abby}@unaffiliated/demhydraz) (*.net *.split)
2021-04-10 04:17:10 × lep-delete quits (~lep@94.31.86.183) (*.net *.split)
2021-04-10 04:17:10 × SlashLife quits (~slashlife@stienen.name) (*.net *.split)
2021-04-10 04:17:10 × ent quits (entgod@kapsi.fi) (*.net *.split)
2021-04-10 04:17:10 × tdammers_ quits (~tdammers@unaffiliated/tdammers) (*.net *.split)
2021-04-10 04:17:10 × kadobanana quits (~mud@unaffiliated/kadoban) (*.net *.split)
2021-04-10 04:17:10 × _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (*.net *.split)
2021-04-10 04:17:10 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (*.net *.split)
2021-04-10 04:17:10 × CitizenSnips quits (~CitizenSn@irc.refl.club) (*.net *.split)
2021-04-10 04:17:10 × gentauro quits (~gentauro@unaffiliated/gentauro) (*.net *.split)
2021-04-10 04:17:10 × ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split)
2021-04-10 04:17:10 × tessier quits (~treed@kernel-panic/copilotco) (*.net *.split)
2021-04-10 04:17:10 × jle` quits (~mstksg@unaffiliated/mstksg) (*.net *.split)
2021-04-10 04:17:10 × adium quits (adium@unaffiliated/adium) (*.net *.split)
2021-04-10 04:17:10 × Natch quits (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (*.net *.split)
2021-04-10 04:17:10 × Nik05 quits (~Nik05@unaffiliated/nik05) (*.net *.split)
2021-04-10 04:17:10 × frobnicator quits (~frobnicat@185-227-75-147.dsl.cambrium.nl) (*.net *.split)
2021-04-10 04:17:11 × Deewiant quits (~deewiant@de1.ut.deewiant.iki.fi) (*.net *.split)
2021-04-10 04:17:11 × exferenceBot quits (~exference@hexagoxel.de) (*.net *.split)
2021-04-10 04:17:11 × tolt quits (~weechat-h@li219-154.members.linode.com) (*.net *.split)
2021-04-10 04:17:11 × ornxka quits (~ornxka@unaffiliated/ornx) (*.net *.split)
2021-04-10 04:17:11 × lazyshrk quits (~lazyshrk@128.199.58.13) (*.net *.split)
2021-04-10 04:17:11 × afx237 quits (~afx237@107.170.10.178) (*.net *.split)
2021-04-10 04:17:11 × haskell_1 quits (~twain@168.61.46.105) (*.net *.split)
2021-04-10 04:17:11 × rotty quits (rotty@ghost.xx.vu) (*.net *.split)
2021-04-10 04:17:11 × russruss40 quits (~russruss@my.russellmcc.com) (*.net *.split)
2021-04-10 04:17:11 × clynamen quits (~clynamen@net-93-66-1-11.cust.vodafonedsl.it) (*.net *.split)
2021-04-10 04:17:11 × haya quits (~haya@ec2-18-231-117-140.sa-east-1.compute.amazonaws.com) (*.net *.split)
2021-04-10 04:17:11 × jhuizy quits (~jhuizy@static.241.188.216.95.clients.your-server.de) (*.net *.split)
2021-04-10 04:17:11 × wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (*.net *.split)
2021-04-10 04:17:11 × amosbird quits (~amosbird@13.75.119.182) (*.net *.split)
2021-04-10 04:17:11 × Patternmaster quits (~georg@li1192-118.members.linode.com) (*.net *.split)
2021-04-10 04:17:11 × Iroha quits (~Dykomii@kyoto.mii.moe) (*.net *.split)
2021-04-10 04:17:11 × statusfailed quits (~statusfai@statusfailed.com) (*.net *.split)
2021-04-10 04:17:11 × hexagoxel quits (~hexagoxel@hexagoxel.de) (*.net *.split)
2021-04-10 04:17:11 × WarzoneCommand quits (~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split)
2021-04-10 04:17:11 × dibblego quits (~dibblego@haskell/developer/dibblego) (*.net *.split)
2021-04-10 04:17:11 × zmagii quits (~zmagii@unaffiliated/zmagii) (*.net *.split)
2021-04-10 04:17:11 × maerwald quits (~maerwald@mail.hasufell.de) (*.net *.split)
2021-04-10 04:17:11 × drewolson quits (~drewolson@64.227.24.16) (*.net *.split)
2021-04-10 04:17:11 × thebnq quits (~bnq@herrokitty.com) (*.net *.split)
2021-04-10 04:17:11 × digia quits (~digia@unaffiliated/digia) (*.net *.split)
2021-04-10 04:17:11 × jmsx quits (~jordan@li1158-85.members.linode.com) (*.net *.split)
2021-04-10 04:17:11 × pierrot quits (~pi@unaffiliated/pierrot) (*.net *.split)
2021-04-10 04:17:11 × luigy quits (~luigy@104.236.106.229) (*.net *.split)
2021-04-10 04:17:11 × koala_man quits (~vidar@unaffiliated/koala-man/x-2491903) (*.net *.split)
2021-04-10 04:17:11 × magicman quits (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) (*.net *.split)
2021-04-10 04:17:11 × johnyginthehouse quits (~johnygint@159.203.30.32) (*.net *.split)
2021-04-10 04:17:11 × dh quits (dh@bsd.ee) (*.net *.split)
2021-04-10 04:17:11 × Clint quits (~Clint@libre.fm/hacker/clint) (*.net *.split)
2021-04-10 04:17:11 × quicksil1er quits (~jules@roobarb.crazydogs.org) (*.net *.split)
2021-04-10 04:17:11 × EdwardIII quits (~edwardiii@unaffiliated/edward123) (*.net *.split)
2021-04-10 04:17:11 × Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (*.net *.split)
2021-04-10 04:17:11 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (*.net *.split)
2021-04-10 04:17:11 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (*.net *.split)
2021-04-10 04:17:12 × snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (*.net *.split)
2021-04-10 04:17:12 × andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (*.net *.split)
2021-04-10 04:17:12 × hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (*.net *.split)
2021-04-10 04:17:12 × motersen quits (~motersen@gateway/tor-sasl/motersen) (*.net *.split)
2021-04-10 04:17:12 × jpds quits (~jpds@gateway/tor-sasl/jpds) (*.net *.split)
2021-04-10 04:17:12 × contrebande-labs quits (~contreban@gateway/tor-sasl/contrebande-labs) (*.net *.split)
2021-04-10 04:17:12 × hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (*.net *.split)
2021-04-10 04:17:12 × LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (*.net *.split)
2021-04-10 04:17:12 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (*.net *.split)
2021-04-10 04:17:12 × vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (*.net *.split)
2021-04-10 04:17:12 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (*.net *.split)
2021-04-10 04:17:12 × thunderrd quits (~thunderrd@183.182.111.104) (*.net *.split)
2021-04-10 04:17:12 × TheWizardTower[m quits (thewizardt@gateway/shell/matrix.org/x-twjxxhlyipcuukha) (*.net *.split)
2021-04-10 04:17:12 × pnotequalnp[m] quits (pnotequaln@gateway/shell/matrix.org/x-jtunskuzqyhnpxim) (*.net *.split)
2021-04-10 04:17:12 × Lurkki[m] quits (lurkkifene@gateway/shell/matrix.org/x-ybydopphoxixxelp) (*.net *.split)
2021-04-10 04:17:12 × tumdedum quits (~tumdedum@unaffiliated/espiral) (*.net *.split)
2021-04-10 04:17:12 × cgfbee quits (~bot@oc1.itim-cj.ro) (*.net *.split)
2021-04-10 04:17:13 × plumenator[m] quits (plumenator@gateway/shell/matrix.org/x-akzkncerilrurejk) (*.net *.split)
2021-04-10 04:17:13 × beardhatcode quits (robbertbea@gateway/shell/matrix.org/x-ixlqzfbtjzsfqbfn) (*.net *.split)
2021-04-10 04:17:13 × michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-toyiomkvibttqoeo) (*.net *.split)
2021-04-10 04:17:13 × berberman[T] quits (berberma4@gateway/shell/matrix.org/x-gtvznqaconcgedln) (*.net *.split)
2021-04-10 04:17:13 × clog quits (~nef@bespin.org) (*.net *.split)
2021-04-10 04:17:13 × jess quits (jess@freenode/staff/jess) (*.net *.split)
2021-04-10 04:17:13 × npgm quits (sid42623@gateway/web/irccloud.com/x-navcmjozqggwugvr) (*.net *.split)
2021-04-10 04:17:14 × anandprabhu-M quits (anandprabh@gateway/shell/kde/matrix/x-bzzbuurppcsxzllt) (*.net *.split)
←Prev  Next→
Page 1 .. 4324 4325 4326 4327 4328 4329 4330 4331 4332 4333 4334 .. 5022

All times are in UTC.