| --- Log opened Mon Mar 21 00:00:39 2016 |
| 01:10 | | ion [Owner@Nightstar-6grqph.vs.shawcable.net] has joined #code |
| 01:53 | | catalyst [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has quit [[NS] Quit: Leaving] |
| 02:11 | | catadroid [catalyst@Nightstar-5r4ua2.dab.02.net] has joined #code |
| 02:21 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 02:21 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 02:56 | | thalass [thalass@Nightstar-283.o7s.158.104.IP] has quit [[NS] Quit: g'night! ] |
| 03:45 | | catadroid` [catalyst@Nightstar-rejocl.dab.02.net] has joined #code |
| 03:48 | | catadroid [catalyst@Nightstar-5r4ua2.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 03:55 | | Turaiel is now known as Turaiel[Offline] |
| 03:58 | | Derakon is now known as Derakon[AFK] |
| 04:21 | | Crossfire [Z@Nightstar-93r.m5p.110.193.IP] has joined #code |
| 04:21 | | mode/#code [+o Crossfire] by ChanServ |
| 05:00 | | ion [Owner@Nightstar-6grqph.vs.shawcable.net] has quit [[NS] Quit: places to be] |
| 05:06 | | Crossfire [Z@Nightstar-93r.m5p.110.193.IP] has quit [Ping timeout: 121 seconds] |
| 06:15 | <&Reiver> | Being sick is really annoying. |
| 06:16 | <&Reiver> | Gives you a day free to do whatever you want, and no energy to do any of it. >_> |
| 06:16 | < Azash> | Reiver: As someone who was just sick for a week, I feel your pain |
| 06:17 | | * Azash was in just the right state between fever hallucination and ibuprofen numbness to write a SOAP API but didn't need one |
| 06:20 | <&Reiver> | I'd like to relearn programming |
| 06:21 | <&Reiver> | But my day was full of 'hey, I have a day off I should learn programming with it!' in equal parts with '... but maybe I should work out how to upright first and find some food. Waugh.' |
| 06:26 | <&jeroud> | My mother, before she retired, was a nurse and a teacher. I never got a day off school unless I was much too sick to enjoy it. |
| 07:01 | | celticminstrel is now known as sleepyminstrel |
| 07:16 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Connection reset by peer] |
| 07:34 | <&Reiver> | My mother worked in town, 10km from home |
| 07:34 | <&Reiver> | It was very much likewise. |
| 07:34 | <&Reiver> | Still, one can be determined, I guess! |
| 07:34 | | * Reiver fiddles briefly with UI/mechanical interactions on a sheet of hex paper. |
| 08:08 | | catadroid` is now known as catadroid |
| 08:35 | | catadroid [catalyst@Nightstar-rejocl.dab.02.net] has quit [[NS] Quit: Bye] |
| 08:46 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has quit [Ping timeout: 121 seconds] |
| 09:00 | | Crossfire [Z@Nightstar-7f0qml.hotspot.hub-one.net] has joined #code |
| 09:01 | | mode/#code [+o Crossfire] by ChanServ |
| 09:13 | | Crossfire [Z@Nightstar-7f0qml.hotspot.hub-one.net] has quit [Ping timeout: 121 seconds] |
| 09:14 | | Emmy [NSkiwiirc@Nightstar-esfu0j.dynamic.ziggo.nl] has joined #code |
| 09:24 | | Crossfire [Z@Nightstar-vhlnks.hotspot.hub-one.net] has joined #code |
| 09:24 | | sshine [simon@Nightstar-a7j18s.static.netgroup.dk] has joined #code |
| 09:24 | < sshine> | hello. |
| 09:24 | | mode/#code [+o Crossfire] by ChanServ |
| 09:28 | < Emmy> | helleu |
| 10:25 | | Crossfire [Z@Nightstar-vhlnks.hotspot.hub-one.net] has quit [Ping timeout: 121 seconds] |
| 10:44 | < sshine> | http://math.stackexchange.com/questions/243770/can-every-proof-by-contradiction- also-be-shown-without-contradiction -- "It is known that there are statements that are provable in intuitionistic logic but not in minimal logic, and there are statements that are provable in classical logic that are not provable in intuitionistic logic." -- but what could an example statement be? |
| 10:46 | < sshine> | the example non-constructive proof a bit lower down the page being the existence of irrational numbers a, b, such that a^b is irrational. but how would one prove that one cannot prove this without PBC? |
| 10:47 | < sshine> | by constructive exhaustion of axioms somehow? |
| 10:47 | < sshine> | come to think of it, I would not imagine that it is not always very difficult to prove that something cannot be proved non-constructively. |
| 10:53 | < sshine> | ah, even better: http://math.stackexchange.com/questions/397328/can-the-nonexistence-of-a-constru ctive-proof-be-proven-when-an-existential-proof |
| 13:07 | | sleepyminstrel is now known as celticminstrel |
| 13:08 | | Natanial [NSwebIRC@Nightstar-f3k.t3q.245.162.IP] has joined #code |
| 13:09 | < Natanial> | Morning Everyone |
| 13:15 | | Natanial [NSwebIRC@Nightstar-f3k.t3q.245.162.IP] has quit [[NS] Quit: Page closed] |
| 13:52 | | gnolam [lenin@Nightstar-t1tbf0.cust.bahnhof.se] has quit [Connection reset by peer] |
| 13:53 | | gnolam [lenin@Nightstar-t1tbf0.cust.bahnhof.se] has joined #code |
| 13:53 | | mode/#code [+o gnolam] by ChanServ |
| 14:03 | | Emmy [NSkiwiirc@Nightstar-esfu0j.dynamic.ziggo.nl] has quit [[NS] Quit: choo choo] |
| 14:22 | | Natanial [NSwebIRC@Nightstar-f3k.t3q.245.162.IP] has joined #code |
| 14:25 | < Natanial> | Good Morning |
| 14:47 | <&ToxicFrog> | 'morning |
| 14:49 | < Natanial> | How was your weekend |
| 14:53 | <&ToxicFrog> | We went on an IKEA frenzy and I figured out how to make the UI subsystem in ttymor suck slightly less. |
| 14:53 | <&ToxicFrog> | Which will require writing a bunch of UI code, which I'm not happy about, but it's a prerequisite for getting lots of other stuff working. |
| 15:58 | | * Azash breaks mechanical keyboard, grabs a new mechanical keyboard off the other end of the desk, quietly wonders if he has a problem |
| 16:05 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 16:06 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 16:33 | <@ErikMesoy> | "According to the police report and interviews with officials, none of the attackersā emails or other electronic communications have been found, prompting the authorities to conclude that the group used encryption." ENCRYPTION DOES NOT WORK THAT WAY! |
| 16:37 | <~Vornicus> | "they bought something on amazon! they must have used encryption" |
| 16:38 | <@ErikMesoy> | hehehehe |
| 16:38 | <@ErikMesoy> | Theoretically, there might be exceptions for a couple of things like TrueCrypt, but what odds would you give me on TrueCrypt vs Archaeotech being the reason for no email showing up? Or for that matter, police simply not looking in the right place? |
| 16:51 | | Emmy [M@Nightstar-9p7hb1.direct-adsl.nl] has joined #code |
| 16:59 | | gizmore [kvirc@Nightstar-57ckcb.dip0.t-ipconnect.de] has joined #code |
| 17:21 | < abudhabi> | Argh. How do I table in latex? |
| 17:22 | < sshine> | ErikMesoy, all is fair in love and war; https://guan.dk/apple-fbi (Crypto Wars II) |
| 17:24 | < abudhabi> | How do I add a title to a table |
| 17:24 | < abudhabi> | ? |
| 17:24 | < abudhabi> | How do I specify a header to the colums? |
| 17:24 | | * abudhabi pokes ToxicFrog. |
| 17:24 | < sshine> | put it in a figure, I think? it depends. what table package do you use? |
| 17:25 | < sshine> | abudhabi, with tabularx you could do it with a minipage: http://tex.stackexchange.com/questions/15282/tabular-title-above-and-caption-bel ow |
| 17:26 | < sshine> | oh, and it seems like that example has column headers, too. |
| 17:26 | < sshine> | although that seems to be just achieved with \bf |
| 17:27 | < sshine> | I'd wrap that stuff in a \newcommand so my tables would look more alike, if I had more than one. |
| 17:34 | < abudhabi> | I have very little idea how to use the content on that page. |
| 17:35 | < abudhabi> | Which of the answers is what I want? |
| 17:48 | < sshine> | umm |
| 17:48 | < sshine> | I'd just use the first answer |
| 17:49 | < sshine> | it isn't a very minimal one. he does a lot of things unrelated to what's being asked. |
| 17:50 | < sshine> | does it work if you copy-paste from where it says "\begin{minipage}..." until "...\end{minipage}" into your document, and the stuff before \begin{document} before your command of the same name? |
| 17:50 | < sshine> | the code should render the table as it appears below. but since you have your own set of \begin{document}/\end{document} commands, you'll need to split them into two. |
| 17:50 | < sshine> | a lot of the stuff relates to spacing and centering of text in various places. |
| 17:51 | < abudhabi> | Nope, it doesn't compile just copying the minipage segment. |
| 17:51 | < sshine> | you need \usepackage{tabularx,caption} as a minimum. probably just go with this \usepackage{tabularx,ragged2e,booktabs,caption} |
| 17:51 | < sshine> | at the top of your document, that is. |
| 17:53 | < abudhabi> | Still not compiling. It complains of illegal pream tokens. |
| 17:53 | < sshine> | pretty much copy/paste the first three lines into your latex header, and lines between \begin{document} and \end{document} wherever you want the table. |
| 17:53 | < sshine> | hm |
| 17:53 | < sshine> | what happens if you copy-paste all of it into a separate document and compile that document? |
| 17:54 | < sshine> | just curious if you even have the packages. |
| 17:54 | < abudhabi> | It compiles and runs fine as a separate document. |
| 18:01 | < abudhabi> | OK, let's try something else. |
| 18:02 | < abudhabi> | How do I reduce the amount of vertical whitespace a chapter title takes up? |
| 18:02 | < abudhabi> | Also I might want it centered, not left-aligned. |
| 18:03 | | Xires is now known as ^Xires |
| 18:09 | | catalyst [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has joined #code |
| 18:21 | < sshine> | abudhabi, usually I reduce vertical whitespace with \vspace{-0.5cm} e.g. |
| 18:21 | < sshine> | it even lets you overlap stuff. |
| 18:24 | < abudhabi> | sshine: How do I actually use that? I don't want to affect everything. |
| 18:32 | < sshine> | putting a \vspace somewhere will affect the block it's in. |
| 18:34 | < sshine> | so you may experience a different effect depending on whether is says "\vspace{-0.5cm}<linebreak><linebreak>foo" or simply "\vspace{-0.5cm}<linebreak>foo", etc. |
| 18:34 | < sshine> | ohhh, you're changing the spacing inside table cells? yeah, probably not too good for that. |
| 18:35 | < abudhabi> | Not really. |
| 18:36 | < abudhabi> | This is completely different. |
| 18:36 | < abudhabi> | The document is very far away from what I want it to look like. |
| 18:36 | < abudhabi> | Across pretty much all its elements. |
| 18:46 | | ^Xires is now known as Xires |
| 20:15 | | Reiv [NSwebIRC@Nightstar-q8avec.kinect.net.nz] has joined #code |
| 20:15 | | mode/#code [+o Reiv] by ChanServ |
| 20:25 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
| 20:53 | | sshine [simon@Nightstar-a7j18s.static.netgroup.dk] has quit [[NS] Quit: Leaving] |
| 21:15 | <@gnolam> | https://boingboing.net/2016/03/21/nyt-if-you-see-gibberish-on.html |
| 22:10 | | thalass [thalass@Nightstar-283.o7s.158.104.IP] has joined #code |
| 22:10 | | mode/#code [+o thalass] by ChanServ |
| 22:12 | | ion [Owner@Nightstar-6grqph.vs.shawcable.net] has joined #code |
| 22:14 | | gizmore [kvirc@Nightstar-57ckcb.dip0.t-ipconnect.de] has quit [[NS] Quit: KVIrc 4.9.1 Aria http://www.kvirc.net/] |
| 22:23 | | Derakon[AFK] is now known as Derakon |
| 22:31 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has joined #code |
| 22:46 | | Turaiel[Offline] is now known as Turaiel |
| 23:11 | | himi [fow035@Nightstar-dm0.2ni.203.150.IP] has joined #code |
| 23:11 | | mode/#code [+o himi] by ChanServ |
| 23:15 | | Emmy is now known as Emmy-zZz |
| 23:15 | | catalyst [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has quit [[NS] Quit: Leaving] |
| 23:25 | | catadroid [catalyst@Nightstar-ij9fqs.dab.02.net] has joined #code |
| --- Log closed Tue Mar 22 00:00:55 2016 |