code logs -> 2013 -> Tue, 03 Sep 2013< code.20130902.log - code.20130904.log >
--- 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
code logs -> 2013 -> Tue, 03 Sep 2013< code.20130902.log - code.20130904.log >

[ Latest log file ]