« first day (1315 days earlier)      last day (3639 days later) » 

2:00 PM
@R.MartinhoFernandes Something special will happen if it disappears?
 
@Jefffrey It will be gone.
 
@Jefffrey The end of the solar system
 
206
Q: Transitivity of Auto-Specialization in GHC

EricFrom the docs for GHC 7.6: [Y]ou often don't even need the SPECIALIZE pragma in the first place. When compiling a module M, GHC's optimiser (with -O) automatically considers each top-level overloaded function declared in M, and specialises it for the different types at which it is called in M...

woah
 
@Avery :siren:
 
2:01 PM
Clearasil will probably use the disappearance of the great red spot for a marketing campaign.
 
@Jefffrey I suppose it will just be absorbed into the other cloud bands.
There are other storms in the atmosphere and they regularly appear, disappear, merge, split off, etc.
This one is just fucking huge enough to stay around for centuries.
 
Nice.
 
oho, IPv4 is dying
 
@R.MartinhoFernandes yet
 
Key disclosure laws, also known as mandatory key disclosure, is legislation that requires individuals to surrender cryptographic keys to law enforcement. The purpose is to allow access to material for confiscation or digital forensics purposes and use it either as evidence in a court of law or to enforce national security interests. Similarly, mandatory decryption laws force owners of encrypted data to supply decrypted data to law enforcement. Nations vary widely in the specifics of how they implement key disclosure laws. Some, such as Australia, give law enforcement wide-ranging power to ...
okey this is bullshit
 
2:14 PM
I've been invited by a former colleague to join him at his new employer. The website however repelled me so much, I just answered "do you think it's worth my time, seeing my initial is response is a plain "WTF, they can't be serious"?"
It's strange though. I respect this colleague a lot.
 
> The God Delusion deliberately avoids the question of what legislative power decreed scientific laws in the first place and does not consider who enforces them on every aspect of the material world throughout all of time. Of course, there is only one answer to that: God.
ahahaa
> That is hard to take for a scientist. The inherent humility involved becomes more difficult, I suppose, the smarter the scientist is.
 
@BartekBanachewicz Which aspect of it?
 
Cutting down the number of overnight hiking/bushwalking/camping trips in the next few weeks from 3 to 2 because of this extra overnight caving trip ...
 
yes, the dumber you are, the easier it is to not be an atheist, I suppose.
@DeadMG the fact that you can be punished for giving away the key
 
what, you can be punished for giving the police the key apart from just the evidence of what they find?
 
2:22 PM
@BartekBanachewicz Er. Read again?
You're punished for refusing to disclose the key.
 
IMO, it's fundamentally incoherent.
 
@BartekBanachewicz I don't think there are any jurisdictions where you get punished for cooperating with law enforcement.
 
@R.MartinhoFernandes oh lol wat
of course it was supposed to be "for NOT giving away the key"
my bad.
 
I don't see it as fundamentally different to a warrant for opening your emails or physical letters.
the contents of your hard drive is a fact, it's evidence, and you shouldn't be able to block the police from acquiring factual evidence.
 
you're not blocking them
 
2:25 PM
you are if you don't give them the key.
 
they can freely read whatever is on my disk
 
clearly not if it's encrypted.
 
how do you prove it's encrypted?
what if I just keep random data on my disks?
 
yeah, you can't prove that it's not random data reasonably, I think
 
In cryptography and steganography, plausibly deniable encryption is encryption that allows its users to convincingly deny that some specific encrypted data exists, that a given piece of data is encrypted, or that they are able to decrypt a given piece of encrypted data. Such denials may or may not be genuine. For example, although suspicions might exist that the data is encrypted, it may be impossible to prove it without the cooperation of the users. If the data is encrypted, the users genuinely may not be able to decrypt it. Deniable encryption serves to undermine an attacker's confidence ...
 
2:27 PM
ain't nobody gonna believe that.
 
it's not about belief
it's about proof
 
well, not really, I can't speak for other legal systems but here, it's "beyond reasonable doubt", which implies that the jury/etc believes that there's no way you didn't do it.
 
if you can't prove that inside of the encrypted data reside materials that might be illegal, you can't force me to decrypt them
at least that's my opinion on the matter
 
and if you want to say "I kept gigabytes of random data on my hard drive that happens to begin with an RSA header for no reason"
I doubt any jury in Britain would not convict.
 
but what am I guilty of, then?
 
2:29 PM
What's an RSA header?
 
if, say, you accuse me of keeping stolen movies
 
(US for this) I would argue that perhaps being forced to give up a password would be a violation of the 5th amendment, you're essentially testifying against yourself
 
if I don't provide the encryption key, can you prove me guilty of that?
 
@R.MartinhoFernandes Well, AFAIK, data encrypted with RSA begins with an RSA header which just gives like, the version of the algorithm, etc.
 
@BartekBanachewicz Guilty of refusing to cooperate.
 
2:30 PM
@BartekBanachewicz Probably not, but we can prove that you didn't give up the key.
 
in Poland there's a law that protects you from that, anyway
 
I'm not saying that it wouldn't be in your interests to not give up the key anyway
depends on what you're being accused of and what other evidence there is
 
what happens, though, is that you lose your hardware for up to 30 years for the police to decrypt it IIRC
 
@DeadMG Are you sure there's such a thing?
 
@R.MartinhoFernandes Only vaguely.
 
2:31 PM
so essentially you have the choice between losing your hard drive or giving the key
 
RSA works without metadata.
 
I've heard of it vaguely and I've certainly never seen any actual RSA data or implemented or done anything with it myself
 
RSA itself doesn't contain metadata
but typically you use S/MIME or PEM with it
 
Adding metadata (as in PGP) might be useful for communication, but it's totally unnecessary if you can communicate it through a side-channel.
(And if you are your own recipient, as in Bartek's example, you are the side-channel)
 
@Collin Some courts have agreed with you about that (but others have disagreed).
 
2:33 PM
Yeah, I was just reading about that in the wiki article
 
IMO the decrypted contents of your drive are physical facts and the police have as much right to compel it to be made available to them as they do to compel your physical letters, phone records, or emails.
 
@BartekBanachewicz In courts, it is.
 
why am I reading posts of people defying evolution again
I suddenly feel dumber
 
Evolution cannot explain magnets.
 
@R.MartinhoFernandes ...
too bad their only citations link to their site
 
2:45 PM
Pi is 4.
 
fuck why is KSP docking so hard.
 
It isn't :S
Even without the docking port alignment plugin, I find it quite easy.
You just need to build your vehicles properly balanced.
 
yeah I think I misplaced my RCS thrusters
 
(There's an RCS balancing plugin)
 
they're too far forwards and pushing "down" doesn't result in a proper "down" motion
 
2:49 PM
what would an introductory course in computer graphics generally entail?
 
Xeo
if(T const* a = ...)
  if(U const* b = ...)
    if (some_cond)
      // stuff
so fugly :(
Can haz ?-> :(
 
@R.MartinhoFernandes there's 513 links on that particular webpage. 12 aren't linking to said page.
 
So, the mayors of Montreal and New York have come to an agreement: whoever loses the current series will have to go and say that the other city's bagels are the best.
 
@R.MartinhoFernandes the rest points to biblia.com and creationresearch.com
LMAO
way to go with references
 
Xeo
2:55 PM
@BartekBanachewicz Err, did you forget to check the "redirect" part of the URLs?
 
oh yeah
and did I also mention that I accidentally smacked the other half with my solar panels
so to add to the fun, it's slowly rotating and SAS doesn't seem to be stopping it
 
Out of power?
 
nah
it's got like 2k power storage and a bunch of batteries
er, a bunch of panels.
like, 18 of the medium-grade panels.
 
Are you EC's RSS?
 
2:59 PM
Yes.
 
@Xeo I don't think that would really change much
 
Allow me to hold your head under the putrescent waters of knowledge.
 
woot got i,t, finally.
ah crap, the staging is fucked.
 
You should try docking with liquid fuel engines now.
 
bah, I'll just wait until I get home and can use pen & paper on some examples
I feel crippled w/o it
despite the fact that the problem is very simple
 
3:03 PM
is there any way I can add stages during mission flight time?
 
I want to do this kind of stuff (fire ring thing)
 
@DeadMG Yes?
 
or how the stars on the EU flag are laid out
 
The staging thing is editable at runtime.
 
ah excellent
the button is just hidden
 
3:04 PM
@AlexM. um, placed on a circle? I.e. a unit rotated around the center?
 
no, so I have N stars
 
and I want to "launch" them from a point P so that their trajectory is similar to that in the screenshot
 
@AlexM. still the same?
their velocities are normal vectors, again points on the circle
 
what are you talking about here?
 
3:06 PM
start at origin and assign the velocity of rotated unit vector
 
yes
that's what I'm doing
 
that's, um.... trivial?
 
for some reason I'm not getting the right output; for 4 stars I want each to go in the directions described by the axes
 
hmm
 
3:07 PM
Just put points at (1, 0), (1, 2Ï€/n), (1, 2*(2Ï€/n)), ... , (1, (n-1)*(2Ï€/n)), where n is the number of points.
 
what is a deeper and lasting type of love - rat towards rice or cat towards tuna? ... in general that is, because we all know different rats/cats have different tastes @_@
 
adding the stages at runtime broke MJ I think
 
Polar coordinates = win.
 
ahahah
took me a while
 
That's math.
 
3:08 PM
@AlexM. by which axes
are you doing that in 4-dimensional polar coordinates or what?
 
I started by dividing 360 by the number of stars; that's the angle increment for each star; for each star I rotate (1,0) by the previous angle + increment to set the direction
 
ugh
well, yeah, I think that's correct, dunno why you're doing it in degrees though
 
because it's the best way I can think in right now
@R.MartinhoFernandes is there some link with some explained theory behind that?
I'd rather not just plug in formulae
 
In mathematics, the polar coordinate system is a two-dimensional coordinate system in which each point on a plane is determined by a distance from a fixed point and an angle from a fixed direction. The fixed point (analogous to the origin of a Cartesian system) is called the pole, and the ray from the pole in the fixed direction is the polar axis. The distance from the pole is called the radial coordinate or radius, and the angle is the angular coordinate, polar angle, or azimuth. History The concepts of angle and radius were already used by ancient peoples of the 1st millennium BC. T...
 
3:10 PM
lol
 
I'm not removing it.
 
also wtf as if the notebook wasn't enough, I left my umbrella at home because I was sure it was not going to rain and now it's raining
 
it's unfair.
@AlexM. typical :D
 
Xeo
@BartekBanachewicz Doesn't mean I won't :D
 
@Xeo that was my secret plan all along :>
hihihihi
I'm almost as evil genius as robot.
 
Xeo
3:12 PM
Robot's not an evil genius, not enough evil. Or too much conscience. One or the other.
 
hmm
there's some functionality for transferring fuel from one tank to another during flight, right?
 
@DeadMG you mean inside one plane?
or between two planes?
 
@AlexM. This might be of use as well: math.wikia.com/wiki/Cis_%CE%B8
 
on my rocket.
 
...
are you building boost in the background? :P
 
3:13 PM
ah found it
 
@R.MartinhoFernandes hey, I didn't know that
admittedly, I prefer not to use complex notation when talking about coordinates
mostly because it would typically involve octonions anyway
 
let's be super balls and try to land on Duna as well as Ike.
and then return.
in a single mission.
 
I'm pretty terrible at KSP
 
You mean "complex" as in "complex numbers" not "complicated".
 
3:15 PM
this is my most ambitious mission
 
to get to Duna I had to launch two separate parts, a lander and an interplanetary stage
 
yeah, you pretty much have to do that to get back from Duna
but you can launch them attached to each other.
I just launched myself to Duna, transferred to Ike, landed on Ike and came back
 
Right, I mean, I had trouble getting a large enough lander+interplanetary stage
 
and now I'm considering whether I've got enough juice left to pay Duna a visit.
 
I also had to attempt the landing like 8 times
 
3:16 PM
I really don't know if my lander is powerful enough to get back off Duna.
it's only about 2400dv
 
@R.MartinhoFernandes bah. funny how those two align really often
 
how do you estimate that?
 
@DeadMG Ha, I had that consideration once after getting off from the Mun.
 
I'm gonna place my interplanetary stage in orbit just above the atmosphere at 22km
 
@BartekBanachewicz I don't think so.
I find complex numbers quite simple.
 
3:17 PM
Euler's identity is where the shit's at
 
so all I'll have to do is get back into low Duna orbit
my interplanetary stage has way more than enough fuel left to get back to Kerbin
just not sure if the lander stage has enough juice
 
oh wait
> In mathematics, Euler's identity[n 1] (also known as Euler's equation)
so it wasn't incorrect
 
@DeadMG you can transfer some to the lander, right?
 
@Collin Yeah I just refueled it
but it's maximum capacity is not very high.
 
ah
 
3:19 PM
@BartekBanachewicz That's quite simple too!
 
added to pocket
time to obtain food
 
I used an unusually large command module and two crew members to operate the science module re-user.
that way I visited both
 
oh
unity is using radians for the math libs
<-- idiot
 
Radians are the natural unit.
 
13 mins ago, by Bartek Banachewicz
well, yeah, I think that's correct, dunno why you're doing it in degrees though
called it
 
3:24 PM
hehe, it works now :D
@R.MartinhoFernandes I never used radians throughout school so I'm unfamiliar with them
 
balls, I got too close.
Duna's stmo really starts at 44km instead of 20km.
whoops.
 
@AlexM. Wait, what
 
@R.MartinhoFernandes we only use degrees in schools :\ I remember using degrees in college too
 
Wait, what
Are you 12?
 
I can't be 12 if I already went to college
whee
 
3:27 PM
How can you have never come across radians in school Q_Q
 
lolwut
 
I dunno lol
 
Didn't you do sin and cos?
 
yes
 
Well, that can be done in degrees I guess.
 
3:29 PM
rain stopped, gotta head home
 
sin x = sum (-1)^k * (x^(2k+1))/((2k+1)!), for all natural k, if x is in radians.
Cosine is the same but with 2k instead of 2k+1.
 
obligatory
 
whew
avoided an unscheduled landing of my interplanetary stage
no, wait, there's no way my lander can get down and back up from Duna.
you need 950 horizontal DV to stay in orbit.
that's 950 horizontal DV to counter on the way down, and 950 on the way back up- or 1900dv.
that would leave only ~380dv for gravity.
unless I can counter some fraction on the way down with parachute maybe...
no wait, I can aerobrake a good portion of the first 950dv, I figure.
let's give it a shot.
 
inb4 puppy stranded.
 
ah I just quicksaved
"Use the quicksave- that's what it's for!" - Ouromov
 
3:43 PM
I would have a lot more fun in life if I had a quicksave
actually no, that would be horrible
 
everybody would save scum
 
presumably everyone else would have a quicksave too, it would just be total chaos
 
we'd never progress forwards.
 
terrorists too !
 
#   error "Couldn't determine endianness!"
Oh look, another broken library.
 
3:52 PM
> What's your go to "icebreaker" line for when you meet new people?
Does this rag smell like chloroform to you?
 
user1804599
Hoera.
 
user1804599
Het is weer weekend.
 
hmm
I only succeeded in losing about 50m height off my 39.5km orbit.
that's gonna take a great many orbits to aerobrake enough to land.
these resources suggest I'll need about 14-1500 dv to get off the surface, so I could spend a little more dv on slowing down, I guess.
 
@Jefffrey A bar here in Montreal once put up a sign with that on it. Drama ensued.
 

Lounge<Kerbal>

Keep testing the goo
recreate this ^, please
 
3:59 PM
ah it just got closed again, there's no point in remaking the room for a few hours of discussion
 
for a few hours of monologue you mean? :P
 
@Jefffrey "I like your condiments".
> Suggestions on how to bet make this bash script POSIX, and solid from nuking files on accident
 
inb4 puppy runs out of fuel with ascent orbit that intersects with the surface.
 
Lithobreaking.
 
user1804599
4:13 PM
boost::cocaine<int>
 
@TonyTheLion clever move
 
I doubt that true.
 
user1804599
@BartekBanachewicz Cat: both dead and alive.
 
shut up Schrodinger, nobody believes you
*that's... fuck me
 
@TonyTheLion Well, as long as these service and supply industries pay their taxes, why not?
 
4:28 PM
lol
 
I am a kitty-cat
 
user1804599
Time for some chili con carne.
 
mmm carne
ouch, my back hurts
 
@TonyTheLion good song
 
4:43 PM
Many times I've broken my hands playing the #7 on my air guitar
and #2
and #1
 
duck yeah, I'm home
 
Duck
So Alex uni is even worse than minÄ™?
Oops, an ogonek
 

« first day (1315 days earlier)      last day (3639 days later) »