| --- Log opened Tue Sep 03 00:00:58 2013 |
| 00:31 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has quit [[NS] Quit: Leaving] |
| 01:00 | <@Alek> | so, my books |
| 01:01 | <@Alek> | I have DOS 6.2 Instant Reference, 2nd edition |
| 01:01 | <@Alek> | Running MS-DOS, by Wolverton |
| 01:01 | <@Alek> | Bluebook of Assembly Routines for the IBM PC & XT, by Morgan |
| 01:01 | <@Alek> | and Build Your Own 80286, by Pilgrim (press?) |
| 01:05 | | * simon_ mutters at never having time to read the books he wants to |
| 01:06 | < simon_> | at my Semantics & Types course we were given this funny-worded task (just to brush up on logic): |
| 01:08 | < simon_> | âs.(P(s) -> Ɐs'.P(s')) interpreted as "There exists a student, s, so that if s passes Semantics & Types, all students will pass Semantics & Types." :) |
| 01:09 | < simon_> | somehow it can be proven non-constructively. |
| 01:33 | | Derakon[AFK] is now known as Derakon |
| 02:02 | | ktemkin is now known as ktemkin[snoozle] |
| 02:17 | <&ToxicFrog> | What's the full task description? |
| 02:19 | < [R]> | Scumbag mplayer: hitting [enter] in CDDA mode causes it to exit. |
| 02:30 | < simon_> | ToxicFrog, prove: |- âs.(P(s) -> Ɐs'.P(s')) |
| 02:31 | <&McMartin> | That only seems to be true in a non-sophistry sense if there is only one student in the class. |
| 02:31 | <&McMartin> | ... or if there is one student that Always Fails. |
| 02:31 | < simon_> | we're supposed to use a non-constructive argument at some point to make it happen. |
| 02:32 | <&McMartin> | I've actually forgotten what "non-constructive" means here. |
| 02:32 | < simon_> | so from what I can remember of logic, I feel like I'm betraying the model somehow. |
| 02:32 | < simon_> | McMartin, it means I can use LEM or PCB. |
| 02:32 | <&McMartin> | I learned my logic in the gutter, can you expand those~ |
| 02:32 | < simon_> | McMartin, LEM = P v ¬P |
| 02:33 | <&McMartin> | Though actually, now I have to take off for a few hours. Back later. |
| 02:33 | < simon_> | McMartin, PCB: ¬P -> _|_ gives me P |
| 02:34 | < simon_> | McMartin, DNE: ¬¬P = P (double-negation elimination) |
| 02:34 | < simon_> | those three axioms can be derived from one another and are not allowed in intuitionistic logic. |
| 02:34 | < simon_> | curiously they're needed for something like de Morgan's laws, I think... |
| 02:41 | | RichyB [RichyB@D553D1.68E9F7.02BB7C.3AF784] has quit [[NS] Quit: Gone.] |
| 02:44 | | RichyB [RichyB@D553D1.68E9F7.02BB7C.3AF784] has joined #code |
| 02:49 | | Karono [Karono@9C034E.4BE65E.E00AF8.FDA077] has joined #code |
| 02:50 | | Vorntastic [Vorn@Nightstar-bd814e7f.sub-70-211-11.myvzw.com] has joined #code |
| 03:26 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 03:26 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 03:26 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 03:34 | | Karono [Karono@9C034E.4BE65E.E00AF8.FDA077] has quit [Ping timeout: 121 seconds] |
| 03:43 | < simon_> | heh |
| 03:44 | < simon_> | I'm generating machine code for a reversible instruction set architecture, currently for "case-of" expressions (deconstructing algebraic types) |
| 03:45 | < simon_> | a funny consequence of the assembly code being reversible is that it has a symmetric pattern. i.e., I can draw a line about halfway through it, and it is almost mirror-identical. :) |
| 03:47 | < simon_> | McMartin, you said non-sophistry sense. I think that's the point: proving the tautology above doesn't give any information about any actual students, and so the predicate is pretty useless. |
| 03:54 | | VirusJTG [VirusJTG@Nightstar-09c31e7a.sta.comporium.net] has quit [[NS] Quit: Program Shutting down] |
| 04:01 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 04:02 | < Syka> | http://kingcope.wordpress.com/2013/09/02/mikrotik-routeros-5-and-6-sshd-remote-p reauth-heap-corruption/ |
| 04:04 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 04:04 | < Syka> | remember kids, leave nothing open to the internet |
| 04:04 | < Syka> | :( |
| 04:15 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 04:15 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 04:18 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Operation timed out] |
| 04:19 | | Kindamoody[zZz] is now known as Kindamoody |
| 04:19 | | Vorntastic [Vorn@Nightstar-bd814e7f.sub-70-211-11.myvzw.com] has quit [[NS] Quit: Bye] |
| 04:19 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 04:19 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 04:20 | < Syka> | "Microsoft to acquire Nokia Devices & Services, accelerating the Windows ecosystem" |
| 04:20 | < Syka> | RIP Nokia 2013 |
| 04:21 | < simon_> | *shrug* |
| 04:21 | < simon_> | it seems that Microsoft and Google both try to grow to the point where a government contract for the Death Star would seem like the next thing to do. |
| 04:25 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 04:29 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 04:37 | < Reiv> | Syka: Nokia's been dead in the water for years, now. All over but for the struggling. |
| 04:38 | < Reiv> | Much like Blackberry, as far as I can tell it was a matter of organisational rigidity; they were doing their Thing and couldn't change direction fast enough when the disruptive market came about. |
| 04:38 | < Reiv> | I feel kinda sorry for them; Nokia made good phones for a long time. |
| 04:39 | | * Syka watches her internet flounder |
| 04:39 | < simon_> | Reiv, yeah, I feel the same way. |
| 04:41 | < Reiv> | Several mistakes, all at once, including trying to keep the profit margin on their feature phones in a world where the margins were rapidly evaporating... and then the final coup de grace; they got seduced by Microsoft. |
| 04:41 | < Reiv> | I still wonder how they'd have done with a Nokia Android. |
| 04:41 | < Syka> | seduced is not the correct word |
| 04:41 | < Syka> | an ex windows exec became their CEO |
| 04:42 | < Syka> | sigh |
| 04:43 | | Karono [Karono@9C034E.4BE65E.E00AF8.FDA077] has joined #code |
| 04:43 | | * Syka reboots her adsl modem |
| 04:45 | | Syka_ [the@Nightstar-0271d7da.iinet.net.au] has joined #code |
| 04:47 | | Syka [the@Nightstar-50451aac.iinet.net.au] has quit [Ping timeout: 121 seconds] |
| 04:48 | | Syka [the@Nightstar-1bdaef13.iinet.net.au] has joined #code |
| 04:48 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 04:48 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 04:49 | | Syka_ [the@Nightstar-0271d7da.iinet.net.au] has quit [Ping timeout: 121 seconds] |
| 04:51 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 05:01 | | Stalker [Z@Nightstar-b920a19c.cust.comxnet.dk] has joined #code |
| 05:02 | | Stalker [Z@Nightstar-b920a19c.cust.comxnet.dk] has quit [Client closed the connection] |
| 05:07 | | Karono [Karono@9C034E.4BE65E.E00AF8.FDA077] has quit [Client closed the connection] |
| 05:08 | | celticminstrel [celticminst@Nightstar-ae361035.dsl.bell.ca] has quit [[NS] Quit: KABOOM! It seems that I have exploded. Please wait while I reinstall the universe.] |
| 05:09 | | Derakon is now known as Derakon[AFK] |
| 05:31 | | Turaiel is now known as Turaiel[Offline] |
| 05:32 | <&McMartin> | simon_: Yeah, while away from IRC I worked out the argument, I think |
| 05:33 | <&McMartin> | Basically: "Either all students pass or at least one student fails. If all students pass, the predicate holds for any s, because implications are tautologies when the consequent is true. If at least one student fails, then the predicate holds for any s from the set of failing students, because implications are tautologically true if their hypothesis is false." |
| 05:48 | | ErikMesoy|sleep is now known as ErikMesoy |
| 05:58 | < Reiv> | Syka: Yeah, but that doesn't mean you go all-in on one tech strategy. |
| 06:09 | | Kindamoody is now known as Kindamoody|out |
| 06:11 | < [R]> | Considering that's pretty much what MS does, I'm not surprised that thinking transfered. |
| 07:51 | | Karono [Karono@Nightstar-13c26ed9.optusnet.com.au] has joined #code |
| 08:26 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 08:29 | | Derakon[AFK] [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 08:37 | | Karono [Karono@Nightstar-13c26ed9.optusnet.com.au] has quit [[NS] Quit: bbl] |
| 08:48 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 08:48 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 08:51 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 08:53 | | Karono [Karono@Nightstar-13c26ed9.optusnet.com.au] has joined #code |
| 09:09 | | AverageJoe [evil1@Nightstar-4b668a07.ph.cox.net] has joined #code |
| 09:25 | | You're now known as TheWatcher |
| 09:54 | | Karono [Karono@Nightstar-13c26ed9.optusnet.com.au] has quit [Connection reset by peer] |
| 10:25 | | AverageJoe [evil1@Nightstar-4b668a07.ph.cox.net] has quit [[NS] Quit: Leaving] |
| 10:57 | | Karono [Karono@Nightstar-13c26ed9.optusnet.com.au] has joined #code |
| 11:33 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has quit [Operation timed out] |
| 11:34 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 11:34 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 12:41 | | celticminstrel [celticminst@Nightstar-ae361035.dsl.bell.ca] has joined #code |
| 12:41 | | mode/#code [+o celticminstrel] by ChanServ |
| 13:11 | | VirusHome is now known as Pandemic |
| 13:11 | | mode/#code [+o Pandemic] by ChanServ |
| 13:31 | | Syloq [Syloq@NetworkAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 13:36 | | Syloq [Syloq@NetworkAdministrator.Nightstar.Net] has joined #code |
| 13:36 | | mode/#code [+o Syloq] by ChanServ |
| 13:41 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has quit [[NS] Quit: Leaving] |
| 14:51 | <@Azash> | https://www.microsoft.com/en-us/news/press/2013/Sep13/09-02AnnouncementPR.aspx |
| 14:52 | | * Tamber snickers like a child. |
| 14:53 | <@Tamber> | Also, who didn't see that coming? |
| 15:33 | | Orthia [orthianz@3CF3A5.E1CD01.B089B9.1E14D1] has quit [Ping timeout: 121 seconds] |
| 15:50 | <&ToxicFrog> | Oh god I'm the release owner this week |
| 15:51 | <@iospace> | release owner? :P |
| 15:51 | <@Tamber> | He's getting blamed for everything that goes wrong. :) |
| 15:53 | | Karono [Karono@Nightstar-13c26ed9.optusnet.com.au] has quit [Client closed the connection] |
| 15:59 | <&ToxicFrog> | iospace: I get to build, test, and roll out the latest version of one of the contentads servers |
| 16:00 | <&ToxicFrog> | There's a rotation for it, since it takes the better part of a week to do. |
| 16:01 | <@iospace> | ah |
| 16:01 | <@iospace> | i just did a bunch of firmware releases here actually :P |
| 16:10 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 16:12 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Operation timed out] |
| 16:35 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 16:35 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 16:38 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 16:49 | | ErikMesoy is now known as Harrower |
| 20:38 | | Harrower is now known as ErikMesoy |
| 20:51 | | Kindamoody|out is now known as Kindamoody |
| 21:17 | | Kindamoody is now known as Kindamoody[zZz] |
| 22:16 | | ErikMesoy is now known as ErikMesoy|sleep |
| 22:48 | | Derakon_ [chriswei@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 23:11 | | VirusJTG [VirusJTG@Nightstar-09c31e7a.sta.comporium.net] has joined #code |
| 23:36 | | VirusJTG [VirusJTG@Nightstar-09c31e7a.sta.comporium.net] has quit [[NS] Quit: Program Shutting down] |
| 23:37 | | VirusJTG [VirusJTG@Nightstar-09c31e7a.sta.comporium.net] has joined #code |
| 23:47 | < Reiv> | ToxicFrog: So if Google breaks, it's your fault?~ |
| 23:51 | | Derakon_ [chriswei@Nightstar-a3b183ae.ca.comcast.net] has quit [[NS] Quit: leaving] |
| 23:59 | <@Namegduf> | It would be terrible if Google Ads broke. There would be a noticeable drop in the rate of people installing fake AV apps. The horror. |
| --- Log closed Wed Sep 04 00:00:14 2013 |