00:01:31 -!- ASau [~user@p54AFEC53.dip0.t-ipconnect.de] has quit [Ping timeout: 260 seconds]
00:03:11 Sgeo [~quassel@ool-44c2df0c.dyn.optonline.net] has joined #scheme
00:15:34 -!- rszeno [~rszeno@79.114.100.93] has quit [Quit: Leaving.]
00:18:47 -!- hiroakip [~hiroaki@77-20-51-63-dynip.superkabel.de] has quit [Ping timeout: 260 seconds]
00:23:13 mgodshall [~mgodshall@c-68-83-250-187.hsd1.pa.comcast.net] has joined #scheme
00:23:46 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme
00:24:52 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Read error: No route to host]
00:25:15 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme
00:30:10 oxum [~oxum@122.164.32.201] has joined #scheme
00:30:19 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Ping timeout: 272 seconds]
00:34:19 zRecursive [~czsq888@183.12.39.100] has joined #scheme
00:43:00 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme
00:47:00 -!- noam_ is now known as noam
00:47:26 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Ping timeout: 260 seconds]
00:49:07 -!- jeapostrophe [~jay@racket/jeapostrophe] has quit [Ping timeout: 260 seconds]
01:01:37 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme
01:06:06 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Ping timeout: 245 seconds]
01:12:20 cbsw [~cbsw@111.177.129.83] has joined #scheme
01:17:00 klltkr_ [~klltkr@unaffiliated/klltkr] has joined #scheme
01:23:23 arubin [~textual@99-114-192-172.lightspeed.cicril.sbcglobal.net] has joined #scheme
01:31:30 jao [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has joined #scheme
01:31:33 -!- jao [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has quit [Changing host]
01:31:33 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme
01:37:40 davexunit [~user@fsf/member/davexunit] has joined #scheme
02:01:45 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme
02:02:57 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Read error: No route to host]
02:03:21 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme
02:03:25 -!- mrowe is now known as mrowe_away
02:07:46 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Ping timeout: 245 seconds]
18:53:49 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #scheme
18:53:49 
18:53:49 -!- names: ccl-logbot hiroakip joneshf-laptop ctindall rszeno pnkfelix kilimanjaro bjz MichaelRaskin ijp oxum yasha sheilong karswell theseb araujo stamourv robot-be` cdidd mmc yacks davexunit effy tiksa klltkr_ nugnuts zacts bernalex finnrobi fikusz mario-goulart oleo cky stepnem kbtr omefire1 copumpkin gnomon mornfall gluegadget jewel X-Scale gravicappa zarul mgodshall peterhil arrdem offby1 ski Giomancer arbscht vnz snits taylanub d2biG aap_ cmatei sad0ur
18:53:49 -!- names: acieroid antoszka hive-mind ASau cross_ rudybot marsam fadein_ certainty ohama copec AlterSid Shozan Kabaka Razz Khisanth githogori [Pete_27] evhan jyc edw aeth SirDayBat epsylon nycs tsuyoshi_ tizoc defanor_ noam greghendershott ggherdov tali713 pchrist andares ineiros LeoNerd pjdelport gazoombo dpk kwmiebach_ CADD_ pcarrier tinhead wilfredh noobboob bicgena dan64 Guest74743 emma Kneferilis juanfra Natch stephe_ scoofy stamourv` Kruppe pjb samth leppie
18:53:49 -!- names: heath ecraven Blkt SwashBuckla ada2358 cataska inarru minsa4 aoh tenq eli yosafbridge ivan\ gabot acarrico sigjuice zbigniew_ ozzloy asumu ec_ nicdev clog shivani_ gf3 joast sethalves Saeren haroldwu C-Keen waxysubs DerGuteMoritz Nshag jkraemer slowpoke mrowe_away micro ft tessier_ choas_ eMBee amoe jrslepak twem2 felipe z0d cibs iron_houzi m4burns fizzie duncanm xian_ elly
18:57:29 -!- X-Scale [email@2001:470:1f14:135b::2] has quit [Ping timeout: 272 seconds]
18:59:51 arubincloud [uid489@gateway/web/irccloud.com/x-wgttlxtxrbuiktnl] has joined #scheme
19:00:10 turbofail [~user@107-215-216-65.lightspeed.sntcca.sbcglobal.net] has joined #scheme
19:04:44 X-Scale [email@2001:470:1f14:135b::2] has joined #scheme
19:17:48 <taylanub> I wonder why the RnRS dropped the notion of operational equivalence.  Even if we don't have an operational semantics, it seems relatively simple to define ?
19:18:44 <taylanub> (A question on the ML about record equivalence made me dig into the topic once again ...)
19:19:47 -!- mgodshall [~mgodshall@c-68-83-250-187.hsd1.pa.comcast.net] has quit [Ping timeout: 260 seconds]
19:22:00 jao` [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has joined #scheme
19:22:03 -!- jao` [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has quit [Changing host]
19:22:03 jao` [~jao@pdpc/supporter/professional/jao] has joined #scheme
19:23:41 ebzzry [~ebzzry@112.204.28.168] has joined #scheme
19:34:32 mgodshall [~mgodshall@c-68-83-250-187.hsd1.pa.comcast.net] has joined #scheme
19:34:44 -!- yacks [~py@103.6.159.103] has quit [Ping timeout: 252 seconds]
19:36:35 -!- hiroakip [~hiroaki@ip-178-202-218-254.unitymediagroup.de] has quit [Ping timeout: 260 seconds]
19:44:14 -!- gnomon [~gnomon@CPE000e582ae076-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 260 seconds]
19:44:54 -!- gravicappa [~gravicapp@ppp91-77-161-23.pppoe.mtu-net.ru] has quit [Remote host closed the connection]
19:46:27 gnomon [~gnomon@CPE000e582ae076-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme
19:50:53 amgarching [~amgarchin@p4FD60030.dip0.t-ipconnect.de] has joined #scheme
19:52:56 hiroakip [~hiroaki@ip-178-202-218-254.unitymediagroup.de] has joined #scheme
19:53:04 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme
19:57:51 klltkr [~klltkr@unaffiliated/klltkr] has joined #scheme
20:05:29 pnkfelix` [~pnkfelix@bas75-2-88-170-201-21.fbx.proxad.net] has joined #scheme
20:06:11 -!- pnkfelix` [~pnkfelix@bas75-2-88-170-201-21.fbx.proxad.net] has quit [Client Quit]
20:06:34 pnkfelix` [~pnkfelix@bas75-2-88-170-201-21.fbx.proxad.net] has joined #scheme
20:06:55 -!- pnkfelix [~pnkfelix@bas75-2-88-170-201-21.fbx.proxad.net] has quit [Ping timeout: 260 seconds]
20:08:58 nisstyre [~yourstrul@oftn/member/Nisstyre] has joined #scheme
20:11:59 dzhus [~dzhus@95-31-27-234.broadband.corbina.ru] has joined #scheme
20:16:30 -!- fadein_ is now known as fadein
20:18:29 -!- tiksa [~tiksa@gateway/tor-sasl/tiksa] has quit [Ping timeout: 240 seconds]
20:19:26 tiksa [~tiksa@gateway/tor-sasl/tiksa] has joined #scheme
20:39:21 -!- pnkfelix` [~pnkfelix@bas75-2-88-170-201-21.fbx.proxad.net] has quit [Ping timeout: 252 seconds]
20:39:25 -!- yasha [~yasha@unaffiliated/yasha] has quit [Quit: yasha]
20:41:27 -!- arbscht [~arbscht@fsf/member/arbscht] has quit [Ping timeout: 260 seconds]
20:43:12 -!- joneshf-laptop [~joneshf@128.120.119.29] has quit [Ping timeout: 252 seconds]
20:45:02 -!- snits [~snits@inet-hqmc04-o.oracle.com] has quit [Remote host closed the connection]
20:45:51 -!- heath [quassel@unaffiliated/ybit] has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
20:47:32 -!- taylanub [tub@p4FD935F5.dip0.t-ipconnect.de] has quit [Disconnected by services]
20:47:58 taylanub [tub@p4FD91CFB.dip0.t-ipconnect.de] has joined #scheme
20:50:40 pnkfelix [~pnkfelix@bas75-2-88-170-201-21.fbx.proxad.net] has joined #scheme
20:50:49 snits [~snits@75-167-3-97.phnx.qwest.net] has joined #scheme
20:54:38 arbscht [~arbscht@fsf/member/arbscht] has joined #scheme
20:57:21 -!- hiroakip [~hiroaki@ip-178-202-218-254.unitymediagroup.de] has quit [Ping timeout: 245 seconds]
20:59:26 joneshf-laptop [~joneshf@128.120.119.29] has joined #scheme
21:01:33 bones [~yasha@unaffiliated/yasha] has joined #scheme
21:02:11 Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme
21:04:46 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme
21:05:28 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Read error: Connection reset by peer]
21:07:18 -!- davexunit [~user@fsf/member/davexunit] has quit [Quit: Later]
21:12:58 jewel_ [~jewel@105-237-57-213.access.mtnbusiness.co.za] has joined #scheme
21:16:06 heath [quassel@unaffiliated/ybit] has joined #scheme
21:16:21 -!- jewel [~jewel@105-237-57-213.access.mtnbusiness.co.za] has quit [Ping timeout: 248 seconds]
21:18:24 -!- nugnuts [~nugnuts@pool-74-105-21-221.nwrknj.fios.verizon.net] has quit [Ping timeout: 252 seconds]
21:21:50 -!- snits [~snits@75-167-3-97.phnx.qwest.net] has quit [Ping timeout: 264 seconds]
21:23:18 snits [~snits@inet-hqmc02-o.oracle.com] has joined #scheme
21:28:35 <SwashBuckla> efef
21:28:40 <SwashBuckla> woops
21:29:14 <ijp> 61423 is a perfectly respectable number
21:31:05 <rszeno> is composite, primes are respectable, :)
21:32:12 <SirDayBat> at least it's a semiprime, so it's not that bad
21:32:44 <rszeno> yes, near 61417, :)
21:33:12 <ijp> alas, not a valid juggling siteswap
21:33:23 ehaliewicz [~user@50-0-51-28.dsl.static.sonic.net] has joined #scheme
21:35:31 jeapostrophe [~jay@216-21-162-70.slc.googlefiber.net] has joined #scheme
21:35:31 -!- jeapostrophe [~jay@216-21-162-70.slc.googlefiber.net] has quit [Changing host]
21:35:31 jeapostrophe [~jay@racket/jeapostrophe] has joined #scheme
21:39:49 -!- dzhus [~dzhus@95-31-27-234.broadband.corbina.ru] has quit [Remote host closed the connection]
21:56:09 -!- theseb [~cs@74.194.237.26] has quit [Quit: Leaving]
22:00:05 aranhoide [~aranhoide@41.Red-79-153-151.dynamicIP.rima-tde.net] has joined #scheme
22:00:20 -!- Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/]
22:04:25 juxovec [~juxovec@ip-89-177-53-194.net.upcbroadband.cz] has joined #scheme
22:05:03 -!- nisstyre [~yourstrul@oftn/member/Nisstyre] has quit [Quit: brb]
22:06:57 Sgeo [~quassel@ool-44c2df0c.dyn.optonline.net] has joined #scheme
22:07:29 juxovec_ [~juxovec@ip-89-177-53-194.net.upcbroadband.cz] has joined #scheme
22:07:30 -!- juxovec [~juxovec@ip-89-177-53-194.net.upcbroadband.cz] has quit [Read error: Connection reset by peer]
22:12:46 -!- juxovec_ [~juxovec@ip-89-177-53-194.net.upcbroadband.cz] has quit [Remote host closed the connection]
22:15:36 nisstyre [~yourstrul@oftn/member/Nisstyre] has joined #scheme
22:24:14 araujo [~araujo@gentoo/developer/araujo] has joined #scheme
22:32:29 -!- mrowe_away is now known as mrowe
22:33:22 -!- peterhil [~peterhil@dsl-hkibrasgw3-58c156-108.dhcp.inet.fi] has quit [Read error: Connection reset by peer]
22:35:19 peterhil [~peterhil@dsl-hkibrasgw3-58c156-108.dhcp.inet.fi] has joined #scheme
22:38:50 -!- peterhil [~peterhil@dsl-hkibrasgw3-58c156-108.dhcp.inet.fi] has quit [Read error: Connection reset by peer]
22:40:20 peterhil [~peterhil@dsl-hkibrasgw3-58c156-108.dhcp.inet.fi] has joined #scheme
22:45:10 juxovec [~juxovec@ip-89-177-53-194.net.upcbroadband.cz] has joined #scheme
22:47:49 -!- nisstyre [~yourstrul@oftn/member/Nisstyre] has quit [Ping timeout: 252 seconds]
22:50:15 -!- juxovec [~juxovec@ip-89-177-53-194.net.upcbroadband.cz] has quit [Ping timeout: 260 seconds]
22:57:16 -!- oleo [~oleo@xdsl-78-35-144-216.netcologne.de] has quit [Ping timeout: 260 seconds]
22:57:50 oleo [~oleo@xdsl-78-35-177-57.netcologne.de] has joined #scheme
22:58:29 nugnuts [~nugnuts@pool-74-105-21-221.nwrknj.fios.verizon.net] has joined #scheme
22:59:46 nisstyre [~yourstrul@oftn/member/Nisstyre] has joined #scheme
23:00:09 -!- pnkfelix [~pnkfelix@bas75-2-88-170-201-21.fbx.proxad.net] has quit [Ping timeout: 252 seconds]
23:03:22 -!- bones [~yasha@unaffiliated/yasha] has quit [Quit: bones]
23:04:33 -!- amgarching [~amgarchin@p4FD60030.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds]
23:09:09 amgarching [~amgarchin@p4FD60030.dip0.t-ipconnect.de] has joined #scheme
23:12:48 -!- tiksa [~tiksa@gateway/tor-sasl/tiksa] has quit [Quit: peace]
23:18:45 _danb_ [~user@203.29.131.142] has joined #scheme
23:19:17 kobain [~sambio@unaffiliated/kobain] has joined #scheme
23:20:50 -!- amgarching [~amgarchin@p4FD60030.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds]
23:28:42 -!- aranhoide [~aranhoide@41.Red-79-153-151.dynamicIP.rima-tde.net] has quit [Ping timeout: 260 seconds]
23:28:53 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
23:35:06 amgarching [~amgarchin@p4FD60030.dip0.t-ipconnect.de] has joined #scheme
23:35:38 aranhoide [~aranhoide@41.Red-79-153-151.dynamicIP.rima-tde.net] has joined #scheme
23:46:18 juxovec [~juxovec@ip-89-177-53-194.net.upcbroadband.cz] has joined #scheme
23:47:33 -!- nisstyre [~yourstrul@oftn/member/Nisstyre] has quit [Quit: WeeChat 0.4.3]
23:50:45 -!- juxovec [~juxovec@ip-89-177-53-194.net.upcbroadband.cz] has quit [Ping timeout: 252 seconds]
23:56:45 -!- clog [~nef@bespin.org] has quit [Ping timeout: 265 seconds]
23:58:07 -!- arubincloud [uid489@gateway/web/irccloud.com/x-wgttlxtxrbuiktnl] has quit []
23:58:15 ASau` [~user@p54AFF24B.dip0.t-ipconnect.de] has joined #scheme