--- Log opened Wed Jan 21 00:00:30 2015 00:01 -!- delinquentme [~dingo@162-245-22-166.v250d.PUBLIC.monkeybrains.net] has quit [Ping timeout: 264 seconds] 00:05 -!- Vutral [~ss@mirbsd/special/Vutral] has joined ##hplusroadmap 00:05 -!- genehacker [~chatzilla@c-98-232-239-159.hsd1.or.comcast.net] has joined ##hplusroadmap 00:05 -!- Vutral [~ss@mirbsd/special/Vutral] has quit [Excess Flood] 00:18 -!- Vutral [~ss@mirbsd/special/Vutral] has joined ##hplusroadmap 00:24 -!- cluckj [~cluckj@cpe-24-92-48-18.nycap.res.rr.com] has quit [Ping timeout: 244 seconds] 00:29 -!- genehacker [~chatzilla@c-98-232-239-159.hsd1.or.comcast.net] has quit [Ping timeout: 255 seconds] 00:38 -!- genehacker [~chatzilla@c-98-232-239-159.hsd1.or.comcast.net] has joined ##hplusroadmap 01:16 -!- tsukamoto [~tsukamoto@gateway/tor-sasl/tsukamoto] has quit [Remote host closed the connection] 01:18 -!- nmz787_i [~nmccorkx@134.134.139.72] has joined ##hplusroadmap 01:22 -!- nmz787_i [~nmccorkx@134.134.139.72] has quit [Client Quit] 01:22 -!- ebowden [~ebowden@CPE-144-131-35-125.vic.bigpond.net.au] has joined ##hplusroadmap 01:24 -!- ebowden_ [~ebowden@CPE-144-131-35-125.vic.bigpond.net.au] has quit [Ping timeout: 276 seconds] 01:35 -!- DumpsterD1ver [~loki@vpn166.sdf.org] has quit [Ping timeout: 245 seconds] 01:54 -!- ebowden [~ebowden@CPE-144-131-35-125.vic.bigpond.net.au] has quit [Ping timeout: 252 seconds] 02:01 -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has joined ##hplusroadmap 02:06 -!- chris_99 [~chris_99@unaffiliated/chris-99/x-3062929] has joined ##hplusroadmap 02:44 -!- Merovoth [~Merovoth@gateway/tor-sasl/merovoth] has quit [Remote host closed the connection] 02:45 < archels_> .title http://dberard.com/home-built-stm/ 02:45 < yoleaux> Home-Built STM | Dan Berard 03:02 -!- DumpsterD1ver [~loki@192.94.73.166] has joined ##hplusroadmap 03:45 -!- poppingtonic [~poppingto@unaffiliated/poppingtonic] has joined ##hplusroadmap 03:59 -!- BobaMa_ [bobama@kapsi.fi] has quit [Ping timeout: 252 seconds] 04:00 -!- BobaMa [bobama@kapsi.fi] has joined ##hplusroadmap 04:08 -!- eudoxia [~eudoxia@r186-53-138-32.dialup.adsl.anteldata.net.uy] has joined ##hplusroadmap 04:55 -!- cluckj [~cluckj@cpe-24-92-48-18.nycap.res.rr.com] has joined ##hplusroadmap 05:04 -!- Viper168 [~Viper@unaffiliated/viper168] has quit [Ping timeout: 264 seconds] 05:18 -!- Viper168 [~Viper@unaffiliated/viper168] has joined ##hplusroadmap 05:48 -!- Vutral [~ss@mirbsd/special/Vutral] has quit [Ping timeout: 245 seconds] 06:02 -!- Vutral [~ss@mirbsd/special/Vutral] has joined ##hplusroadmap 06:29 -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has quit [Remote host closed the connection] 06:31 < kanzure> (as a strategy of organizing an open source proect) "The basic idea would be - don't submit directly. First submit to the community gatekeepers, they will look over your work, and if they think it will meet approval, they'll pass it on. Otherwise they can give helpful feedback. They can have strong standards about how contributors are treated." https://news.ycombinator.com/item?id=8921338 06:35 < kragen> that's kind of how Linux works, no? 07:05 -!- CheckDavid [uid14990@gateway/web/irccloud.com/x-cszcwfaltibccoie] has joined ##hplusroadmap 07:18 < kanzure> https://github.com/Anniepoo/prolog-examples/blob/master/detectivepuzzle.pl 07:46 -!- EnabrinTain [sid11525@gateway/web/irccloud.com/x-sfzntviyjvfmzwbz] has joined ##hplusroadmap 07:47 < kanzure> https://github.com/Anniepoo/prolog-examples/blob/master/newdetective.pl 07:56 -!- poppingtonic [~poppingto@unaffiliated/poppingtonic] has quit [Ping timeout: 264 seconds] 08:00 < juri_> sortof. unless you are a big corporation. 08:16 -!- genehacker [~chatzilla@c-98-232-239-159.hsd1.or.comcast.net] has quit [Ping timeout: 264 seconds] 08:31 -!- eudoxia [~eudoxia@r186-53-138-32.dialup.adsl.anteldata.net.uy] has quit [Quit: Leaving] 08:44 -!- nickjohnson_ is now known as nickjohnson 08:44 < kanzure> moot retires https://news.ycombinator.com/item?id=8923721 08:57 -!- nmz787_i [~nmccorkx@134.134.139.74] has joined ##hplusroadmap 09:24 < justanotheruser> :O 09:24 < justanotheruser> who will run reddit now? 10:09 < nmz787_i> kanzure: strangely python-brlcad shows a segfault no matter if I run against their 7.24.2 .deb or 7.24.0 compiled from their release source... but in either case a .g file is generated that loads in mged with seemingly no problems. So I'd like you to think about how to help me debug the segfault (not now, we can talk about it later). I also wonder if you think there are any latent failures with the .g files that seemingly load 10:09 < nmz787_i> fine. 10:11 < kanzure> seg fault is probably related to versions of header files on your system 10:13 < kanzure> specificaly brlcad header files 10:16 -!- nmz787_i [~nmccorkx@134.134.139.74] has quit [Quit: Leaving.] 10:25 -!- nmz787_i [nmccorkx@nat/intel/x-wilhlppvldmaydjk] has joined ##hplusroadmap 10:41 -!- eudoxia [~eudoxia@r179-25-179-21.dialup.adsl.anteldata.net.uy] has joined ##hplusroadmap 10:42 -!- delinquentme [c765818a@gateway/web/freenode/ip.199.101.129.138] has joined ##hplusroadmap 10:43 < justanotheruser> Building this 3d printer I can see why you guys think a CNC mill is more useful.. 10:43 < nmz787_i> utility depends on purpose 10:43 < justanotheruser> for the purpose of maing a tool such as a 3d printer, a CNC machine seems pretty useful 10:44 < justanotheruser> it is basically 70% milled wood, 20% electronics, 5% 3d printed stuff and 5% nuts and bolts 10:45 < nmz787_i> and a dash of love 10:49 < justanotheruser> too many cooks 10:54 -!- FourFire [~FourFire@46.157.122.6.tmi.telenormobil.no] has joined ##hplusroadmap 10:59 -!- Proteus [~Proteus@unaffiliated/proteus] has joined ##hplusroadmap 11:00 -!- Proteus1 [~Proteus@97-121-75-248.omah.qwest.net] has quit [Ping timeout: 245 seconds] 11:00 < kanzure> "some gigantic single-celled amoebas with a size of more than 4 in (10 cm)" 11:01 < kanzure> http://www.livescience.com/16678-giant-amoebas-discovered-deepest-ocean-trench.html 11:05 < kanzure> http://www.photolib.noaa.gov/collections.html 11:09 < nmz787_i> I still forget what the hell a coconut is on the inside 11:09 < nmz787_i> it's like one huge cell with tons of mitochondria or something 11:10 * nmz787_i homer: mmm, marinara trench... agghllghh (satisfied grunt) 11:10 < nmz787_i> 'a meatball found in marinara trench 11:10 < nmz787_i> ' 11:11 < nmz787_i> kanzure: that vid you posted of the octopus on fb was pretty cool... makes me think about getting one as a pet 11:12 < nmz787_i> I wonder if that jellyfish home tank would suffice 11:12 < heath> i'm such a dick when i'm pseudoanonymous 11:12 < heath> my random thought of the day 11:13 < nmz787_i> aw, no pics of the huge cell 11:13 < nmz787_i> they must be lying. 11:15 -!- delinquentme [c765818a@gateway/web/freenode/ip.199.101.129.138] has quit [Quit: Page closed] 11:16 -!- Viper168 [~Viper@unaffiliated/viper168] has quit [Ping timeout: 272 seconds] 11:23 -!- Viper168 [~Viper@unaffiliated/viper168] has joined ##hplusroadmap 12:30 -!- FourFire [~FourFire@46.157.122.6.tmi.telenormobil.no] has quit [Quit: Leaving] 12:35 * nmz787_i ponders BRL-CAD on my phone 12:35 -!- phm [~phm@2001:8b0:856:1:b83b:6e2b:792a:fa2d] has joined ##hplusroadmap 12:36 -!- yashgaroth [~ffffff@2602:306:35fa:d500:65cc:8895:8269:a4bd] has quit [Quit: yashgaroth] 12:36 -!- p42___ [~o@boole.london.hackspace.org.uk] has joined ##hplusroadmap 12:41 -!- phm is now known as p 12:42 -!- p is now known as Guest16495 12:54 -!- Guest16495 [~phm@2001:8b0:856:1:b83b:6e2b:792a:fa2d] has left ##hplusroadmap [] 13:02 -!- Merovoth [~Merovoth@gateway/tor-sasl/merovoth] has joined ##hplusroadmap 13:25 -!- Merovoth [~Merovoth@gateway/tor-sasl/merovoth] has quit [Remote host closed the connection] 14:04 < kragen> nmz787_i: do you have BRL-CAD running on your phone? 14:22 < kanzure> haha random halo quotes in this trance mix: "I can give you over forty thousand reasons why I know that sun isn't real. I know it because the emitter's Rayleigh effect is disproportionate to it's suggested size. I know because it's stellar cycle is more symmetrical than that of an actual star. But for all that, I'll never actually know if it looks real... if it feels real... before this is all over, promise me you'll figure out which one ... 14:22 < kanzure> ... of us is the machine." 14:23 < kanzure> (suzy solar) 14:32 -!- soylentbomb [~k@unaffiliated/soylentbomb] has joined ##hplusroadmap 14:37 -!- delinquentme [c765818a@gateway/web/freenode/ip.199.101.129.138] has joined ##hplusroadmap 14:49 < justanotheruser> lol, SR2 was using deskpro https://news.ycombinator.com/item?id=8925793 14:51 -!- eudoxia [~eudoxia@r179-25-179-21.dialup.adsl.anteldata.net.uy] has quit [Quit: Leaving] 14:59 < kanzure> .title 14:59 < yoleaux> OP is wrong. Weaver is (as usual) jumping to conclusions and sensationalizing (n... | Hacker News 15:05 < nmz787_i> kragen: nah, just pondering if it would be fun to have while travelling or something 15:18 -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has joined ##hplusroadmap 15:19 < kragen> yeah, the screen might work substantially better for images than for text. and you have accelerometers to adjust your viewpoint, woo 15:19 < kragen> I did a 3-D design of a SOMA cube on a smartphone, but I was using OpenSCAD, which I didn't have running on the phone 15:20 -!- chris_99 [~chris_99@unaffiliated/chris-99/x-3062929] has quit [Quit: Ex-Chat] 15:20 < nmz787_i> well apparently even though python-brlcad is segfaulting it still seems to be working for me, based on the examples included in it at least 15:20 < kragen> so it wasn't until I got to the office and rendered it that I discovered that my basic cube primitive was screwed up and the design consisted of a bunch of sphere octants floating in space 15:21 < kragen> I fixed it on the phone out of sheer cussedness 15:21 < nmz787_i> so I think if brlcad could compile, I could just use python-brlcad and then create some rendering that the phone knows how to draw 15:21 < kragen> but my experiment in 3-D design with no visual feedback whatsoever was kind of a failure 15:21 < nmz787_i> but that is a lot of 'not getting to the point' of my design stuff 15:21 < nmz787_i> :P 15:21 < nmz787_i> hah 15:22 < kragen> I did get the cubes all into their correct positions for printing 15:23 < kragen> but every cube was a disconnected octant floating in space 15:23 < kragen> instead of being, like, a cube 15:23 < kragen> and then they didn't overlap, but only touched, and OpenSCAD couldn't cope with that 15:23 < nmz787_i> hmm 15:24 < nmz787_i> i am still not sure how to draw something based on a sine wave in brlcad 15:24 < nmz787_i> since it seems most of their stuff is 'primitive' based 15:24 < nmz787_i> and idk if a sin is a feature of any primitives 15:25 < kragen> with python-brlcad you could presumably create a number of primitives positioned or deformed to approximate a sine wave 15:25 < nmz787_i> if I had to compute sine wave points then extrude that shape, it doesn't seem like it would be pushing the resolution to brl's code 15:25 < nmz787_i> yeah 15:25 < nmz787_i> something like that maybe 15:26 < nmz787_i> rather if i needed better resolution in the wave, I 15:26 < kanzure> .g site:brlcad.org bryan bishop spiral 15:26 < yoleaux> http://brlcad.org/w/index.php?title=Spiral&diff=6295&oldid=2246 15:26 < nmz787_i> 'd need to add more data intervals 15:26 < kanzure> http://brlcad.org/wiki/Spiral 15:26 < kanzure> (i didn't write this page.) 15:27 < nmz787_i> why did you write it in perl? 15:28 < nmz787_i> another question for you kanzure, is why aren't you a master 3D modeller? 15:28 < nmz787_i> 'I dont use CAD, I only write software for it' 15:28 < kanzure> i wrote it in perl because fenn hadn't yet convinced me to learn python 15:29 < kanzure> i'm pretty great at cad, i don't know what your complaint is 15:29 < nmz787_i> no complaint, just wondering why you aren't making more stuff to show us 15:29 < nmz787_i> huh, I didn't know you didn't learn Python until recently 15:30 < kanzure> 2008 or 2009 is when i began to poke around in python 15:30 < kragen> I started switching from Perl to Python in 2000 15:31 < kragen> I wrote an article in ;login: about that time about this 15:31 < kragen> but the path forward wasn't yet clear to me 15:31 < kragen> haha, I love all the `` instead of system() 15:32 < kanzure> classic perl 15:32 < kragen> I don't know if "classic" is exactly the term I'd use 15:32 < nmz787_i> isn't that also in bash? 15:32 < kragen> yeah, inherited from sh. in bash you should use "$()" 15:33 < kragen> more like "hardcore" or "rudimentary" 15:33 < kanzure> hmm for some reason spiral.pl was added in 2010, but i was flinging python in 2010.. https://github.com/kanzure/brlcad/commits/master/src/proc-db/spiral.pl 15:33 < kanzure> https://github.com/kanzure/brlcad/commit/b64cf9b0e54d9454a4086c27e30b9d30b2c6ba61 15:33 < kanzure> ah, 2008 15:34 < nmz787_i> hrmm 15:34 < kanzure> this was back when genehacker convinced me that microfluidics was interesting 15:35 < kanzure> i wrote the spiral generator for a project in a plant physiology lab 15:35 < kragen> the important things about the code are good though: despite abjuring things like warnings, qx, join, and strict, it isn't overcomplicated and it's commented at roughly the perfect level of detail 15:35 < kanzure> but the project was for alge separation 15:35 < kanzure> *algae 15:35 < nmz787_i> oh, didn't realize he has been around here that long (I thought he was new in the past year) 15:35 < kanzure> i ran into genehacker in 2008 at ut austin during some lame tour of the campus 15:35 < nmz787_i> oh, I think you may have told me about the algae project 15:36 < nmz787_i> IRL 15:36 < kanzure> genehacker was boasting about blowing up rocks and some lego reprap and i was like "what the fuck?" 15:36 < kanzure> so that's how i trapped him here 15:36 -!- drewbot [~cinch@ec2-54-198-186-1.compute-1.amazonaws.com] has quit [Read error: Connection reset by peer] 15:36 -!- drewbot [~cinch@ec2-54-197-75-138.compute-1.amazonaws.com] has joined ##hplusroadmap 15:37 < heath> .title https://thecoastnews.com/blog/2014/12/biomedical-incubator-making-room-for-more-researchers/ 15:37 < yoleaux> Biomedical incubator making room for more researchers | Coast News 15:37 < kanzure> (because in 2008 it was not very common to stumble into anyone that knew what reprap was) 15:38 < heath> """ BTNB is seeking scientists interested in co-sharing an Agilent 1100 HPLC system. If interested, please contact Joseph at (803) 239-7960. """ 15:38 < kanzure> btw i still think that genehacker and nmz787 are dopplegangers 15:38 < kanzure> doppelgangers 15:38 < kanzure> is it one doppelganger or two? 15:38 < nmz787_i> ganging up on dopples since 1999 15:39 < kanzure> heath: you should prank call him 15:39 < kanzure> "sup bitches give me your DNA pol" 15:40 -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has quit [Remote host closed the connection] 15:41 < heath> "yes, i saw this number in bryan bishop's bathroom, said to call it for a good time" 15:43 < kanzure> nmz787_i: btw genehacker would be a good person to work with on the dna synthesis microfluidics stuff 15:44 < kanzure> he sleeps with a copy of this under his pillow: 15:44 < kanzure> http://diyhpl.us/~bryan/papers2/microfluidics/synthesis/Synthesis%20-%20Microfluidic%20PicoArray%20synthesis%20of%20oligodeoxynucleotides%20and%20simultaneous%20assembling%20of%20multiple%20DNA%20sequences%20(10%20kb).pdf 15:46 < kanzure> "under his pillow" isn't funny enough i should have said "keeps a copy folded in his shoe" 15:47 < nmz787_i> I have a few reasons to go down where he is re: microfluidics 15:47 -!- AmbulatoryCortex [~Ambulator@173-31-9-188.client.mchsi.com] has joined ##hplusroadmap 15:47 < nmz787_i> maybe after this class is over in 2 months 15:47 < nmz787_i> I think I'll make some progress with brlcad by then 15:48 < nmz787_i> and hopefully have a blue laser etcher running some (even crappy) microfluidics 15:48 -!- ebowden [~ebowden@CPE-144-131-35-125.vic.bigpond.net.au] has joined ##hplusroadmap 16:00 -!- p42____ [~o@boole.london.hackspace.org.uk] has joined ##hplusroadmap 16:00 -!- p42___ [~o@boole.london.hackspace.org.uk] has quit [Remote host closed the connection] 16:21 < kanzure> https://soundcloud.com/blakebaltimore/abandon-logic-022-guest-gm-project 16:21 -!- p42___ [~o@boole.london.hackspace.org.uk] has joined ##hplusroadmap 16:23 -!- delinquentme [c765818a@gateway/web/freenode/ip.199.101.129.138] has quit [Ping timeout: 246 seconds] 16:27 -!- p42___ [~o@boole.london.hackspace.org.uk] has quit [Remote host closed the connection] 16:28 -!- p42____ [~o@boole.london.hackspace.org.uk] has quit [Read error: Connection reset by peer] 16:28 -!- p42___ [~o@boole.london.hackspace.org.uk] has joined ##hplusroadmap 16:44 < kanzure> 2014 hard drive failure rates https://www.backblaze.com/blog/best-hard-drive/ 16:45 < kanzure> "while priced a little higher, have an even lower failure rate, at 1.4%. It’s not enough of a difference to be a big factor in our purchasing, but when there’s a good price, we grab some. We have over 12 thousand of these drives." 17:03 -!- Boscop [~me@46.246.12.66] has joined ##hplusroadmap 17:03 -!- Boscop [~me@46.246.12.66] has quit [Changing host] 17:03 -!- Boscop [~me@unaffiliated/boscop] has joined ##hplusroadmap 17:04 -!- Boscop_ [~me@e102.stw.stud.uni-saarland.de] has joined ##hplusroadmap 17:07 -!- Boscop__ [me@188.126.90.148] has joined ##hplusroadmap 17:08 -!- Boscop [~me@unaffiliated/boscop] has quit [Ping timeout: 276 seconds] 17:09 -!- Boscop [me@178.73.219.2] has joined ##hplusroadmap 17:09 -!- Boscop [me@178.73.219.2] has quit [Changing host] 17:09 -!- Boscop [me@unaffiliated/boscop] has joined ##hplusroadmap 17:11 -!- Boscop_ [~me@e102.stw.stud.uni-saarland.de] has quit [Ping timeout: 256 seconds] 17:11 -!- Boscop__ [me@188.126.90.148] has quit [Ping timeout: 276 seconds] 17:16 < kanzure> .wik reason maintenance 17:16 < yoleaux> "Reason maintenance is a knowledge representation approach to efficient handling of inferred information that is explicitly stored. Reason maintenance distinguishes between base facts, which can be defeated, and derived facts. As such it differs from belief revision which, in its basic form, assumes that all facts are equally important." — http://en.wikipedia.org/wiki/Reason_maintenance 17:16 < kanzure> "The reasoner uses the reason maintenance system to record its inferences and justifications of ("reasons" for) the inferences. The reasoner also informs the reason maintenance system which are the currently valid base facts (assumptions). The reason maintenance system uses the information to compute the truth value of the stored derived facts and to restore consistency if an inconsistency is derived." 17:18 < kanzure> "This is achieved by tagging each fact or deduction with its logical history." 17:21 < kragen> nmz787_i: blue laser etchers, awesome! 17:23 < kanzure> ruby-based truth maintenance system https://github.com/arwagner/terry "storage for justifications/assumptions/assertions with hooks for events (provided by this project)" 17:24 -!- ebowden [~ebowden@CPE-144-131-35-125.vic.bigpond.net.au] has quit [Remote host closed the connection] 17:24 < kanzure> https://github.com/arwagner/terry/blob/a6b34356a8e9829b6a0c52232a661d0ca1706e74/examples/integration/saint_terry.rb 17:24 -!- ebowden [~ebowden@CPE-144-131-35-125.vic.bigpond.net.au] has joined ##hplusroadmap 17:25 < kanzure> http://reasoner.sourceforge.net/ 17:27 < kanzure> http://blog.athico.com/2011/06/what-happened-to-truth-maintenance.html 17:27 < kanzure> "Assumption-based Truth Maintainance Systems were used in the early 90's as well in the context of some European Projects (ESPRIT) to investigate the use of Expert Systems in Fault Diagnosis and Control. TMS and its variants were eventually dropped from research agendas for two basic reasons: (a) their complexity is inherently exponential, and no clever dependency-directed backtracking or any other short-cut can eliminate this explosion, ... 17:27 < kanzure> ... so such systems are in practice useless; if one wants to work with incomplete information (as is always the case in the real world) one must accept the fact that their conclusions may contain internal contradictions. (b) a lesser reason for the fading out of such systems research may have to do with the fact that the computer programming languages used to develop such systems were mainly LISP (in the US) and PROLOG (in Europe). Both ... 17:27 < kanzure> ... these languages are niche languages and there exist few researchers fluent in these languages today" 17:27 -!- Viper168 [~Viper@unaffiliated/viper168] has quit [Ping timeout: 272 seconds] 17:28 < kanzure> er they might have explosive exponential problems but ideally you get better at picking which rules to try so you don't spend 1000 years trying random stuff 17:30 < kanzure> simple retraction https://github.com/arwagner/terry/blob/a6b34356a8e9829b6a0c52232a661d0ca1706e74/spec/acceptance/assumption_and_justification_spec.rb#L23 17:32 < kanzure> scheme implementation https://github.com/namin/propagators/blob/master/core/truth-maintenance.scm 17:36 -!- Viper168 [~Viper@unaffiliated/viper168] has joined ##hplusroadmap 17:44 < kanzure> "Towards a general-purpose belief maintenance system" http://arxiv.org/pdf/1304.3084.pdf 17:45 < kanzure> a repl for reason maintenance http://dl.acm.org/citation.cfm?id=98877 "A prototype belief network-based expert systems shell" 17:58 -!- juul1 [~juul@juul.io] has joined ##hplusroadmap 17:58 -!- helleshin [~talinck@66-161-138-110.ubr1.dyn.lebanon-oh.fuse.net] has joined ##hplusroadmap 18:05 -!- ebowden [~ebowden@CPE-144-131-35-125.vic.bigpond.net.au] has quit [Remote host closed the connection] 18:06 -!- catern [~catern@catern.com] has quit [Ping timeout: 264 seconds] 18:06 -!- juul [~juul@juul.io] has quit [Ping timeout: 264 seconds] 18:06 -!- hehelleshin [~talinck@66-161-138-110.ubr1.dyn.lebanon-oh.fuse.net] has quit [Ping timeout: 264 seconds] 18:06 -!- dvorkbjel [~viskestel@li607-220.members.linode.com] has quit [Ping timeout: 264 seconds] 18:06 -!- catern_ [~catern@catern.com] has joined ##hplusroadmap 18:06 -!- catern_ is now known as catern 18:07 -!- dvorkbjel [~viskestel@li607-220.members.linode.com] has joined ##hplusroadmap 18:09 -!- poohbear is now known as KentBrockman 18:09 -!- KentBrockman is now known as Guest23960 18:10 -!- Guest23960 is now known as poohbear 18:21 -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has joined ##hplusroadmap 18:37 -!- nmz787_i1 [~nmccorkx@192.55.54.36] has joined ##hplusroadmap 18:40 -!- nmz787_i [nmccorkx@nat/intel/x-wilhlppvldmaydjk] has quit [Ping timeout: 264 seconds] 18:42 -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has quit [Ping timeout: 264 seconds] 18:44 -!- p42___ [~o@boole.london.hackspace.org.uk] has quit [Remote host closed the connection] 18:45 -!- p42___ [~o@boole.london.hackspace.org.uk] has joined ##hplusroadmap 18:50 -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap 19:17 -!- ebowden [~ebowden@147.69.161.105] has quit [Remote host closed the connection] 19:39 -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap 19:46 -!- ebowden [~ebowden@147.69.161.105] has quit [Ping timeout: 276 seconds] 19:58 -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap 19:58 -!- Burnin8 [~Burn@pool-71-241-254-181.washdc.fios.verizon.net] has quit [Read error: Connection reset by peer] 19:58 -!- Burnin8 [~Burn@pool-71-241-254-181.washdc.fios.verizon.net] has joined ##hplusroadmap 20:13 -!- ebowden [~ebowden@147.69.161.105] has quit [Ping timeout: 265 seconds] 20:16 -!- Vutral [~ss@mirbsd/special/Vutral] has quit [Ping timeout: 265 seconds] 20:23 -!- Vutral [~ss@mirbsd/special/Vutral] has joined ##hplusroadmap 20:35 -!- juul1 is now known as juul 20:50 -!- AmbulatoryCortex [~Ambulator@173-31-9-188.client.mchsi.com] has quit [Read error: Connection reset by peer] 20:50 -!- nmz787_i1 [~nmccorkx@192.55.54.36] has quit [Ping timeout: 245 seconds] 20:54 -!- CheckDavid [uid14990@gateway/web/irccloud.com/x-cszcwfaltibccoie] has quit [Quit: Connection closed for inactivity] 20:56 -!- p42___ [~o@boole.london.hackspace.org.uk] has quit [Remote host closed the connection] 20:57 -!- p42___ [~o@boole.london.hackspace.org.uk] has joined ##hplusroadmap 21:00 < kanzure> http://www.mercurylang.org/information/doc-latest/mercury_user_guide/Oracle-questions.html#Oracle-questions 21:00 < kanzure> magic "Starting from an event that exhibits a bug, e.g. an event giving a wrong answer, the declarative debugger can find a bug which explains that behaviour using knowledge of the intended interpretation of the program only" 21:01 < kanzure> http://www.mercurylang.org/information/doc-latest/mercury_user_guide/Declarative-debugging.html 21:02 < kanzure> "A “bug”, for our purposes, is an assertion about some call which is false, but for which the assertions about every child of that call are not false (i.e. they are either correct or inadmissible)." 21:12 < kanzure> http://c2.com/cgi/wiki?FeynmanAlgorithm 21:12 -!- yashgaroth [~ffffff@2602:306:35fa:d500:9cf8:da89:3aec:3d8e] has joined ##hplusroadmap 21:14 < kanzure> hello yashgaroth 21:14 < yashgaroth> yo 21:14 < kanzure> huh no trap 21:14 < kanzure> must be a bug 21:15 < yashgaroth> always next time 21:18 -!- Burn_ [~Burn@pool-71-241-254-181.washdc.fios.verizon.net] has joined ##hplusroadmap 21:19 < kanzure> hello Burn_ 21:20 < Burn_> Hey 21:22 -!- Burnin8 [~Burn@pool-71-241-254-181.washdc.fios.verizon.net] has quit [Ping timeout: 264 seconds] 21:23 -!- Burninate [~Burn@pool-71-241-254-181.washdc.fios.verizon.net] has joined ##hplusroadmap 21:23 -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap 21:25 -!- Burn_ [~Burn@pool-71-241-254-181.washdc.fios.verizon.net] has quit [Ping timeout: 265 seconds] 21:31 -!- maaku [~quassel@50-0-37-37.dsl.static.fusionbroadband.com] has quit [Remote host closed the connection] 21:33 -!- maaku [~quassel@50-0-37-37.dsl.static.fusionbroadband.com] has joined ##hplusroadmap 21:33 -!- maaku is now known as Guest7369 21:38 < kanzure> "Not adhering to coding style guides is now a privacy issue." 21:38 -!- Guest7369 is now known as maaku 21:39 < maaku> kanzure: you're opinion of truth maintenance systems? 21:41 < ebowden> *your 21:50 < kanzure> maaku: they seem to have been studied for totally different reasons than the ones i would find them useful for. this confuses me greatly. 21:51 < kanzure> maaku: i want to try using one for reasoning about bugs in programs, including side effects between mutually interacting components. 21:55 -!- ebowden [~ebowden@147.69.161.105] has quit [Remote host closed the connection] 22:35 -!- p42___ [~o@boole.london.hackspace.org.uk] has quit [Remote host closed the connection] 22:40 -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap 23:11 -!- ebowden [~ebowden@147.69.161.105] has quit [Ping timeout: 256 seconds] 23:18 -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap 23:36 -!- Viper168_ [~Viper@unaffiliated/viper168] has joined ##hplusroadmap 23:37 -!- Viper168 [~Viper@unaffiliated/viper168] has quit [Ping timeout: 245 seconds] 23:38 -!- ebowden [~ebowden@147.69.161.105] has quit [Ping timeout: 265 seconds] 23:39 -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap 23:45 -!- ebowden [~ebowden@147.69.161.105] has quit [Ping timeout: 245 seconds] 23:49 -!- sheena [~home@S0106c8be196316d1.ok.shawcable.net] has quit [Ping timeout: 272 seconds] 23:55 < archels_> "Ageing: Eternal Obsession" 23:55 < archels_> nice pun --- Log closed Thu Jan 22 00:00:31 2015