| --- Log opened Wed Jan 21 00:00:30 2015 | ||
| -!- delinquentme [~dingo@162-245-22-166.v250d.PUBLIC.monkeybrains.net] has quit [Ping timeout: 264 seconds] | 00:01 | |
| -!- 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:05 | |
| -!- Vutral [~ss@mirbsd/special/Vutral] has joined ##hplusroadmap | 00:18 | |
| -!- cluckj [~cluckj@cpe-24-92-48-18.nycap.res.rr.com] has quit [Ping timeout: 244 seconds] | 00:24 | |
| -!- genehacker [~chatzilla@c-98-232-239-159.hsd1.or.comcast.net] has quit [Ping timeout: 255 seconds] | 00:29 | |
| -!- genehacker [~chatzilla@c-98-232-239-159.hsd1.or.comcast.net] has joined ##hplusroadmap | 00:38 | |
| -!- tsukamoto [~tsukamoto@gateway/tor-sasl/tsukamoto] has quit [Remote host closed the connection] | 01:16 | |
| -!- nmz787_i [~nmccorkx@134.134.139.72] has joined ##hplusroadmap | 01:18 | |
| -!- 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:22 | |
| -!- ebowden_ [~ebowden@CPE-144-131-35-125.vic.bigpond.net.au] has quit [Ping timeout: 276 seconds] | 01:24 | |
| -!- DumpsterD1ver [~loki@vpn166.sdf.org] has quit [Ping timeout: 245 seconds] | 01:35 | |
| -!- ebowden [~ebowden@CPE-144-131-35-125.vic.bigpond.net.au] has quit [Ping timeout: 252 seconds] | 01:54 | |
| -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has joined ##hplusroadmap | 02:01 | |
| -!- chris_99 [~chris_99@unaffiliated/chris-99/x-3062929] has joined ##hplusroadmap | 02:06 | |
| -!- Merovoth [~Merovoth@gateway/tor-sasl/merovoth] has quit [Remote host closed the connection] | 02:44 | |
| archels_ | .title http://dberard.com/home-built-stm/ | 02:45 |
|---|---|---|
| yoleaux | Home-Built STM | Dan Berard | 02:45 |
| -!- DumpsterD1ver [~loki@192.94.73.166] has joined ##hplusroadmap | 03:02 | |
| -!- poppingtonic [~poppingto@unaffiliated/poppingtonic] has joined ##hplusroadmap | 03:45 | |
| -!- BobaMa_ [bobama@kapsi.fi] has quit [Ping timeout: 252 seconds] | 03:59 | |
| -!- BobaMa [bobama@kapsi.fi] has joined ##hplusroadmap | 04:00 | |
| -!- eudoxia [~eudoxia@r186-53-138-32.dialup.adsl.anteldata.net.uy] has joined ##hplusroadmap | 04:08 | |
| -!- cluckj [~cluckj@cpe-24-92-48-18.nycap.res.rr.com] has joined ##hplusroadmap | 04:55 | |
| -!- Viper168 [~Viper@unaffiliated/viper168] has quit [Ping timeout: 264 seconds] | 05:04 | |
| -!- Viper168 [~Viper@unaffiliated/viper168] has joined ##hplusroadmap | 05:18 | |
| -!- Vutral [~ss@mirbsd/special/Vutral] has quit [Ping timeout: 245 seconds] | 05:48 | |
| -!- Vutral [~ss@mirbsd/special/Vutral] has joined ##hplusroadmap | 06:02 | |
| -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has quit [Remote host closed the connection] | 06:29 | |
| 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:31 |
| kragen | that's kind of how Linux works, no? | 06:35 |
| -!- CheckDavid [uid14990@gateway/web/irccloud.com/x-cszcwfaltibccoie] has joined ##hplusroadmap | 07:05 | |
| kanzure | https://github.com/Anniepoo/prolog-examples/blob/master/detectivepuzzle.pl | 07:18 |
| -!- EnabrinTain [sid11525@gateway/web/irccloud.com/x-sfzntviyjvfmzwbz] has joined ##hplusroadmap | 07:46 | |
| kanzure | https://github.com/Anniepoo/prolog-examples/blob/master/newdetective.pl | 07:47 |
| -!- poppingtonic [~poppingto@unaffiliated/poppingtonic] has quit [Ping timeout: 264 seconds] | 07:56 | |
| juri_ | sortof. unless you are a big corporation. | 08:00 |
| -!- genehacker [~chatzilla@c-98-232-239-159.hsd1.or.comcast.net] has quit [Ping timeout: 264 seconds] | 08:16 | |
| -!- eudoxia [~eudoxia@r186-53-138-32.dialup.adsl.anteldata.net.uy] has quit [Quit: Leaving] | 08:31 | |
| -!- nickjohnson_ is now known as nickjohnson | 08:44 | |
| kanzure | moot retires https://news.ycombinator.com/item?id=8923721 | 08:44 |
| -!- nmz787_i [~nmccorkx@134.134.139.74] has joined ##hplusroadmap | 08:57 | |
| justanotheruser | :O | 09:24 |
| justanotheruser | who will run reddit now? | 09:24 |
| 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:09 |
| kanzure | seg fault is probably related to versions of header files on your system | 10:11 |
| kanzure | specificaly brlcad header files | 10:13 |
| -!- nmz787_i [~nmccorkx@134.134.139.74] has quit [Quit: Leaving.] | 10:16 | |
| -!- nmz787_i [nmccorkx@nat/intel/x-wilhlppvldmaydjk] has joined ##hplusroadmap | 10:25 | |
| -!- eudoxia [~eudoxia@r179-25-179-21.dialup.adsl.anteldata.net.uy] has joined ##hplusroadmap | 10:41 | |
| -!- delinquentme [c765818a@gateway/web/freenode/ip.199.101.129.138] has joined ##hplusroadmap | 10:42 | |
| 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:43 |
| justanotheruser | it is basically 70% milled wood, 20% electronics, 5% 3d printed stuff and 5% nuts and bolts | 10:44 |
| nmz787_i | and a dash of love | 10:45 |
| justanotheruser | too many cooks | 10:49 |
| -!- FourFire [~FourFire@46.157.122.6.tmi.telenormobil.no] has joined ##hplusroadmap | 10:54 | |
| -!- Proteus [~Proteus@unaffiliated/proteus] has joined ##hplusroadmap | 10:59 | |
| -!- 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:00 |
| kanzure | http://www.livescience.com/16678-giant-amoebas-discovered-deepest-ocean-trench.html | 11:01 |
| kanzure | http://www.photolib.noaa.gov/collections.html | 11:05 |
| 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:09 |
| * nmz787_i homer: mmm, marinara trench... agghllghh (satisfied grunt) | 11:10 | |
| nmz787_i | 'a meatball found in marinara trench | 11:10 |
| nmz787_i | ' | 11:10 |
| 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:11 |
| 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:12 |
| nmz787_i | aw, no pics of the huge cell | 11:13 |
| nmz787_i | they must be lying. | 11:13 |
| -!- delinquentme [c765818a@gateway/web/freenode/ip.199.101.129.138] has quit [Quit: Page closed] | 11:15 | |
| -!- Viper168 [~Viper@unaffiliated/viper168] has quit [Ping timeout: 272 seconds] | 11:16 | |
| -!- Viper168 [~Viper@unaffiliated/viper168] has joined ##hplusroadmap | 11:23 | |
| -!- FourFire [~FourFire@46.157.122.6.tmi.telenormobil.no] has quit [Quit: Leaving] | 12:30 | |
| * nmz787_i ponders BRL-CAD on my phone | 12:35 | |
| -!- phm [~phm@2001:8b0:856:1:b83b:6e2b:792a:fa2d] has joined ##hplusroadmap | 12:35 | |
| -!- 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:36 | |
| -!- phm is now known as p | 12:41 | |
| -!- p is now known as Guest16495 | 12:42 | |
| -!- Guest16495 [~phm@2001:8b0:856:1:b83b:6e2b:792a:fa2d] has left ##hplusroadmap [] | 12:54 | |
| -!- Merovoth [~Merovoth@gateway/tor-sasl/merovoth] has joined ##hplusroadmap | 13:02 | |
| -!- Merovoth [~Merovoth@gateway/tor-sasl/merovoth] has quit [Remote host closed the connection] | 13:25 | |
| kragen | nmz787_i: do you have BRL-CAD running on your phone? | 14:04 |
| 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:22 |
| kanzure | (suzy solar) | 14:23 |
| -!- soylentbomb [~k@unaffiliated/soylentbomb] has joined ##hplusroadmap | 14:32 | |
| -!- delinquentme [c765818a@gateway/web/freenode/ip.199.101.129.138] has joined ##hplusroadmap | 14:37 | |
| justanotheruser | lol, SR2 was using deskpro https://news.ycombinator.com/item?id=8925793 | 14:49 |
| -!- eudoxia [~eudoxia@r179-25-179-21.dialup.adsl.anteldata.net.uy] has quit [Quit: Leaving] | 14:51 | |
| kanzure | .title | 14:59 |
| yoleaux | OP is wrong. Weaver is (as usual) jumping to conclusions and sensationalizing (n... | Hacker News | 14:59 |
| nmz787_i | kragen: nah, just pondering if it would be fun to have while travelling or something | 15:05 |
| -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has joined ##hplusroadmap | 15:18 | |
| 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:19 |
| -!- 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:20 |
| 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:21 |
| kragen | I did get the cubes all into their correct positions for printing | 15:22 |
| 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:23 |
| 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:24 |
| 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:25 |
| 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:26 |
| nmz787_i | why did you write it in perl? | 15:27 |
| 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:28 |
| 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:29 |
| 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:30 |
| 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:31 |
| 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:32 |
| 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:33 |
| nmz787_i | hrmm | 15:34 |
| kanzure | this was back when genehacker convinced me that microfluidics was interesting | 15:34 |
| 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:35 |
| 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:36 | |
| 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:37 |
| 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:38 |
| kanzure | heath: you should prank call him | 15:39 |
| kanzure | "sup bitches give me your DNA pol" | 15:39 |
| -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has quit [Remote host closed the connection] | 15:40 | |
| heath | "yes, i saw this number in bryan bishop's bathroom, said to call it for a good time" | 15:41 |
| kanzure | nmz787_i: btw genehacker would be a good person to work with on the dna synthesis microfluidics stuff | 15:43 |
| 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:44 |
| kanzure | "under his pillow" isn't funny enough i should have said "keeps a copy folded in his shoe" | 15:46 |
| 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:47 |
| 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 | 15:48 | |
| -!- 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:00 | |
| kanzure | https://soundcloud.com/blakebaltimore/abandon-logic-022-guest-gm-project | 16:21 |
| -!- p42___ [~o@boole.london.hackspace.org.uk] has joined ##hplusroadmap | 16:21 | |
| -!- delinquentme [c765818a@gateway/web/freenode/ip.199.101.129.138] has quit [Ping timeout: 246 seconds] | 16:23 | |
| -!- p42___ [~o@boole.london.hackspace.org.uk] has quit [Remote host closed the connection] | 16:27 | |
| -!- 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:28 | |
| kanzure | 2014 hard drive failure rates https://www.backblaze.com/blog/best-hard-drive/ | 16:44 |
| 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." | 16:45 |
| -!- 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:03 | |
| -!- Boscop_ [~me@e102.stw.stud.uni-saarland.de] has joined ##hplusroadmap | 17:04 | |
| -!- Boscop__ [me@188.126.90.148] has joined ##hplusroadmap | 17:07 | |
| -!- Boscop [~me@unaffiliated/boscop] has quit [Ping timeout: 276 seconds] | 17:08 | |
| -!- 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:09 | |
| -!- 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:11 | |
| 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:16 |
| kanzure | "This is achieved by tagging each fact or deduction with its logical history." | 17:18 |
| kragen | nmz787_i: blue laser etchers, awesome! | 17:21 |
| 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:23 |
| -!- 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:24 | |
| kanzure | http://reasoner.sourceforge.net/ | 17:25 |
| 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:27 | |
| 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:28 |
| kanzure | simple retraction https://github.com/arwagner/terry/blob/a6b34356a8e9829b6a0c52232a661d0ca1706e74/spec/acceptance/assumption_and_justification_spec.rb#L23 | 17:30 |
| kanzure | scheme implementation https://github.com/namin/propagators/blob/master/core/truth-maintenance.scm | 17:32 |
| -!- Viper168 [~Viper@unaffiliated/viper168] has joined ##hplusroadmap | 17:36 | |
| kanzure | "Towards a general-purpose belief maintenance system" http://arxiv.org/pdf/1304.3084.pdf | 17:44 |
| kanzure | a repl for reason maintenance http://dl.acm.org/citation.cfm?id=98877 "A prototype belief network-based expert systems shell" | 17:45 |
| -!- juul1 [~juul@juul.io] has joined ##hplusroadmap | 17:58 | |
| -!- helleshin [~talinck@66-161-138-110.ubr1.dyn.lebanon-oh.fuse.net] has joined ##hplusroadmap | 17:58 | |
| -!- ebowden [~ebowden@CPE-144-131-35-125.vic.bigpond.net.au] has quit [Remote host closed the connection] | 18:05 | |
| -!- 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:06 | |
| -!- dvorkbjel [~viskestel@li607-220.members.linode.com] has joined ##hplusroadmap | 18:07 | |
| -!- poohbear is now known as KentBrockman | 18:09 | |
| -!- KentBrockman is now known as Guest23960 | 18:09 | |
| -!- Guest23960 is now known as poohbear | 18:10 | |
| -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has joined ##hplusroadmap | 18:21 | |
| -!- nmz787_i1 [~nmccorkx@192.55.54.36] has joined ##hplusroadmap | 18:37 | |
| -!- nmz787_i [nmccorkx@nat/intel/x-wilhlppvldmaydjk] has quit [Ping timeout: 264 seconds] | 18:40 | |
| -!- ebowden [~ebowden@CPE-144-131-35-125.lns4.dav.bigpond.net.au] has quit [Ping timeout: 264 seconds] | 18:42 | |
| -!- p42___ [~o@boole.london.hackspace.org.uk] has quit [Remote host closed the connection] | 18:44 | |
| -!- p42___ [~o@boole.london.hackspace.org.uk] has joined ##hplusroadmap | 18:45 | |
| -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap | 18:50 | |
| -!- ebowden [~ebowden@147.69.161.105] has quit [Remote host closed the connection] | 19:17 | |
| -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap | 19:39 | |
| -!- ebowden [~ebowden@147.69.161.105] has quit [Ping timeout: 276 seconds] | 19:46 | |
| -!- 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 | 19:58 | |
| -!- ebowden [~ebowden@147.69.161.105] has quit [Ping timeout: 265 seconds] | 20:13 | |
| -!- Vutral [~ss@mirbsd/special/Vutral] has quit [Ping timeout: 265 seconds] | 20:16 | |
| -!- Vutral [~ss@mirbsd/special/Vutral] has joined ##hplusroadmap | 20:23 | |
| -!- juul1 is now known as juul | 20:35 | |
| -!- 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:50 | |
| -!- CheckDavid [uid14990@gateway/web/irccloud.com/x-cszcwfaltibccoie] has quit [Quit: Connection closed for inactivity] | 20:54 | |
| -!- p42___ [~o@boole.london.hackspace.org.uk] has quit [Remote host closed the connection] | 20:56 | |
| -!- p42___ [~o@boole.london.hackspace.org.uk] has joined ##hplusroadmap | 20:57 | |
| 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:00 |
| kanzure | http://www.mercurylang.org/information/doc-latest/mercury_user_guide/Declarative-debugging.html | 21:01 |
| 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:02 |
| kanzure | http://c2.com/cgi/wiki?FeynmanAlgorithm | 21:12 |
| -!- yashgaroth [~ffffff@2602:306:35fa:d500:9cf8:da89:3aec:3d8e] has joined ##hplusroadmap | 21:12 | |
| kanzure | hello yashgaroth | 21:14 |
| yashgaroth | yo | 21:14 |
| kanzure | huh no trap | 21:14 |
| kanzure | must be a bug | 21:14 |
| yashgaroth | always next time | 21:15 |
| -!- Burn_ [~Burn@pool-71-241-254-181.washdc.fios.verizon.net] has joined ##hplusroadmap | 21:18 | |
| kanzure | hello Burn_ | 21:19 |
| Burn_ | Hey | 21:20 |
| -!- Burnin8 [~Burn@pool-71-241-254-181.washdc.fios.verizon.net] has quit [Ping timeout: 264 seconds] | 21:22 | |
| -!- 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:23 | |
| -!- Burn_ [~Burn@pool-71-241-254-181.washdc.fios.verizon.net] has quit [Ping timeout: 265 seconds] | 21:25 | |
| -!- maaku [~quassel@50-0-37-37.dsl.static.fusionbroadband.com] has quit [Remote host closed the connection] | 21:31 | |
| -!- maaku [~quassel@50-0-37-37.dsl.static.fusionbroadband.com] has joined ##hplusroadmap | 21:33 | |
| -!- maaku is now known as Guest7369 | 21:33 | |
| kanzure | "Not adhering to coding style guides is now a privacy issue." | 21:38 |
| -!- Guest7369 is now known as maaku | 21:38 | |
| maaku | kanzure: you're opinion of truth maintenance systems? | 21:39 |
| ebowden | *your | 21:41 |
| 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:50 |
| kanzure | maaku: i want to try using one for reasoning about bugs in programs, including side effects between mutually interacting components. | 21:51 |
| -!- ebowden [~ebowden@147.69.161.105] has quit [Remote host closed the connection] | 21:55 | |
| -!- p42___ [~o@boole.london.hackspace.org.uk] has quit [Remote host closed the connection] | 22:35 | |
| -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap | 22:40 | |
| -!- ebowden [~ebowden@147.69.161.105] has quit [Ping timeout: 256 seconds] | 23:11 | |
| -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap | 23:18 | |
| -!- Viper168_ [~Viper@unaffiliated/viper168] has joined ##hplusroadmap | 23:36 | |
| -!- Viper168 [~Viper@unaffiliated/viper168] has quit [Ping timeout: 245 seconds] | 23:37 | |
| -!- ebowden [~ebowden@147.69.161.105] has quit [Ping timeout: 265 seconds] | 23:38 | |
| -!- ebowden [~ebowden@147.69.161.105] has joined ##hplusroadmap | 23:39 | |
| -!- ebowden [~ebowden@147.69.161.105] has quit [Ping timeout: 245 seconds] | 23:45 | |
| -!- sheena [~home@S0106c8be196316d1.ok.shawcable.net] has quit [Ping timeout: 272 seconds] | 23:49 | |
| archels_ | "Ageing: Eternal Obsession" | 23:55 |
| archels_ | nice pun | 23:55 |
| --- Log closed Thu Jan 22 00:00:31 2015 | ||
Generated by irclog2html.py 2.15.0.dev0 by Marius Gedminas - find it at mg.pov.lt!