code logs -> 2015 -> Wed, 04 Feb 2015< code.20150203.log - code.20150205.log >
--- Log opened Wed Feb 04 00:00:54 2015
00:22 VirusJTG_ [VirusJTG@Nightstar-lsl.j5i.46.174.IP] has joined #code
00:25 VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has quit [Ping timeout: 121 seconds]
00:44 Turaiel[Offline] is now known as Turaiel
00:44
< Turaiel>
Anyone know if std::sort (C++) works on arrays? I can't use C++11, mind you.
00:46
<@celticminstrel>
It does.
00:46
<@celticminstrel>
Provided you know the array's length:
00:47
< Turaiel>
I'm trying to give it the random access iterators it wants, but std::begin and std::end only works on C++11
00:47
<@celticminstrel>
std::sort(array, array + length)
00:47
<@celticminstrel>
Unless there's more parameters. I forget.
00:47
< Turaiel>
There's an optional comparator, which I used
00:47
<@celticminstrel>
But yeah, begin(array) is just array, and end(array) is array + array_length.
00:48
< Turaiel>
Are we talking array + (length * sizeof(type))?
00:48
<@celticminstrel>
No, this is pointer arithmetic, so the sizeof(type) bit is implicit.
00:48
<@celticminstrel>
Just array + length.
00:48
< Turaiel>
I suppose. I'm used to staying on the safe side and always specifying
00:48
< Turaiel>
That makes sense
00:49
<@celticminstrel>
If you did array + (length * sizeof(type)) here, it would overflow. Because array is a pointer.
00:49
< Turaiel>
Ah, right..
00:50
< Turaiel>
It did not appreciate that
00:50
< Turaiel>
It's expecting type _RandomAccessIterator
00:50
<@celticminstrel>
Pointers are a random access iterator.
00:51
<@celticminstrel>
I suppose it's possible the array isn't decaying since this is a template function; you could try &array[0] instead.
00:52
< Turaiel>
The error I'm getting is refstats.cc:763:59: error: no matching function for call to âsort(TableEntry*&, TableEntry*, main(int, char**)::<anonymous struct>&)â
00:52
<@celticminstrel>
What's the call look like?
00:52 Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has joined #code
00:52
< Turaiel>
std::sort(table, table + numEntries, customCompare);
00:53
< Turaiel>
It might be having trouble with the comparison function
00:53
<@celticminstrel>
Does it work without the comparison function?
00:53
< Turaiel>
It's not comparable without it
00:53
<@celticminstrel>
Oh.
00:55
<@celticminstrel>
Well, you could temporarily declare an operator< to see if it's the comparison function that's the issue. Or you could try using &table[0] as the start point.
00:56
< Turaiel>
I fixed it
00:56
< Turaiel>
It didn't like that I was giving it a struct (as demonstrated at http://en.cppreference.com/w/cpp/algorithm/sort). I wrote a function and it seems happy
00:57
<@celticminstrel>
Huh.
00:59
< Turaiel>
It might also be that I was returning badly from it or something
00:59
< Turaiel>
Anyway, it's working now, so thanks!
00:59
<@celticminstrel>
No problem!
01:00 Turaiel is now known as Turaiel[Offline]
01:14 VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has joined #code
01:18 VirusJTG_ [VirusJTG@Nightstar-lsl.j5i.46.174.IP] has quit [Ping timeout: 121 seconds]
01:58 Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code
01:58 mode/#code [+qo Vornicus Vornicus] by ChanServ
02:22
<~Vornicus>
McM: So, you'll love this. My company wants to learn the ropes of app development. <Boss> We should do a mobile app, just to prove we can. <Vorn> How about a video game? <Boss> Awesome. Any ideas what kind? <Vorn> All the games I play need a few too many controls. Not sure. <Boss> How about one of those flappy bird ones, but with some shooting too?
02:23
<&McMartin>
So, I have a piece of advice there: The walls will get in the way of the shooting unless you design the map carefully.
02:23
<&McMartin>
(This is basically where/why Coreflight fell down)
02:24
<&Derakon>
Make enemies that, when shot, convert into obstacles you have to fly past, maybe.
02:26
<&Derakon>
Oh, or you could do that thing which SNES Star Fox did where there are some obstacles you need to shoot to get them to move out of the way, and others where if you shoot them they get in the way.
02:29
<~Vornicus>
I think I'll start with the acceleration mechanic and shooting at all.
02:29
<&Derakon>
Wise.
02:29
<&Derakon>
Hell, even if it was just "your score is determined by shooting targets, which you need to line up with", that'd be a valid variant of Flappy Bird.
02:30
<@Reiv>
How do you fly and shoot simultaneously, and/or aim
02:30
<&Derakon>
Tap flap to add vertical velocity; tap shoot to shoot a projectile straight forward.
02:30
<@Reiv>
Flappy Bird's charm was that it had one button, etc
02:30
<@Reiv>
oh, softbuttons, 'k
02:32
<@Reiv>
Y'know, the fellow that did Flappy Bird had an interesting failure mode
02:32
<@Reiv>
In his position I suspect I would have simply disappeared from the internet for a month or two, which would have likely been more than a tad profitable, but this is because I am morally corrupt >_>
02:50 thalass [thalass@Nightstar-h1qmno.eastlink.ca] has quit [Connection closed]
03:01 Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has quit [Ping timeout: 121 seconds]
03:28
<&Derakon>
Hm, y'all might find this interesting: https://www.reddit.com/r/nethack/comments/2tluxv/yaap_fullauto_bot_ascension_bot hack
05:06 Vornicus [vorn@ServerAdministrator.Nightstar.Net] has quit [[NS] Quit: Leaving]
05:24 Derakon is now known as Derakon[AFK]
05:38 celticminstrel [celticminst@Nightstar-q7on2v.dsl.bell.ca] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!]
05:49 Julius [abudhabi@Nightstar-7nkq9k.de] has quit [Ping timeout: 121 seconds]
06:06 Julius [abudhabi@Nightstar-7nkq9k.de] has joined #code
07:01 AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has joined #code
07:22 himi [fow035@Nightstar-dm0.2ni.203.150.IP] has quit [Ping timeout: 121 seconds]
07:52 Kindamoody[zZz] is now known as Kindamoody
08:04 Kindamoody|autojoin [Kindamoody@Nightstar-e0h756.mobileonline.telia.com] has joined #code
08:04 mode/#code [+o Kindamoody|autojoin] by ChanServ
08:04 Kindamoody|autojoin is now known as KiMo
08:05 Kindamoody [Kindamoody@Nightstar-180u8i.tbcn.telia.com] has quit [Operation timed out]
08:05 KiMo is now known as Kindamoody
08:12 Kindamoody [Kindamoody@Nightstar-e0h756.mobileonline.telia.com] has quit [Ping timeout: 121 seconds]
08:16 Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has quit [Ping timeout: 121 seconds]
08:41 Kindamoody|autojoin [Kindamoody@Nightstar-180u8i.tbcn.telia.com] has joined #code
08:41 mode/#code [+o Kindamoody|autojoin] by ChanServ
08:43 KiMo|autorejoin [Kindamoody@Nightstar-180u8i.tbcn.telia.com] has joined #code
08:43 mode/#code [+o KiMo|autorejoin] by ChanServ
08:43 KiMo|autorejoin is now known as Kindamoody
08:45 Kindamoody|autojoin [Kindamoody@Nightstar-180u8i.tbcn.telia.com] has quit [Ping timeout: 121 seconds]
08:48 Julius [abudhabi@Nightstar-7nkq9k.de] has quit [Ping timeout: 121 seconds]
09:05 Julius [abudhabi@Nightstar-7nkq9k.de] has joined #code
09:08 Orthia [orthianz@Nightstar-oep.hn6.224.119.IP] has quit [Ping timeout: 121 seconds]
09:13 Orthia [orthianz@Nightstar-73b.59a.184.203.IP] has joined #code
09:13 mode/#code [+o Orthia] by ChanServ
09:14 Kindamoody is now known as Kindamoody|afk
09:28 himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code
09:29 mode/#code [+o himi] by ChanServ
09:38
<@TheWatcher>
hrm
09:42 Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has joined #code
09:44
<@TheWatcher>
In git, if I want to move a bunch of (pushed) commits from master to a new branch, and have master back before those commits happened, does this look sane: `git branch medialib && git reset --hard f0432be && git push --force`?
09:45
<@TheWatcher>
(where f0432be is the last commit before the new work)
09:45
<@TheWatcher>
I'm farily sure that's right, but I have not had remotely enough tea yet
10:54 * Tarinaky headdesks. Dammit I can't figure out how to express my thoughts as code -.-
10:55
<@Tarinaky>
I'd use matrix... but I don't know the width/height of the matrices.
10:55
<@Tarinaky>
:/
11:02
<@Tarinaky>
Okay. Now I've got an array of the form [[1,2,3,4...],[A,B,C,D...],...] and what I /want/ is an array of the form [[1,A,...],[2,B,...],...]
11:06
<@Tarinaky>
I /think/ I can use Matrix now.
11:07
< gizmore>
try shufflesort :D
11:07
<@Tarinaky>
What?
11:08
< gizmore>
you shake the arrays until they are sorted
11:08
< gizmore>
also known as randsort
11:08
<@Tarinaky>
This isn't a sorting problem.
11:08
< gizmore>
hmmm... no idea then
11:08
<@Tarinaky>
This is matrix transposition.
11:09
<@Tarinaky>
foo = [[1,1,1],[2,2,2],[3,3,3],[4,4,4]]; Matrix[*foo].transpose.to_a
11:09
<@Tarinaky>
Not sure this is the 'correct' solution though but it seems to do the right thing.
11:38 RobinStamer is now known as [R]
12:03
<@Tarinaky>
Is there something particularly dangerous about east asian air travel regulations? There's /another/ crash in the news. :/
12:04
<@Tarinaky>
A propeller plane banked too hard, clipped a bridge with its wing, had its engines flame out and the fusilage crashed in a river.
12:05
< Julius>
It looked to me like it was in deep shit long before it was banking.
12:05
< Julius>
As if the pilot knew this and was trying to smack into the river, instead of the city.
12:05
< Julius>
But I hadn't read anything about it, just watched the video.
12:05
<@Tarinaky>
I've not seen the footage.
12:06
<@Tarinaky>
Just read about it.
12:06
<@Tarinaky>
But I remember growing up being told that air travel is supposedly the safest mode of transportation.
12:07
<@Tarinaky>
I wonder if there's something systemic going on in the region
12:08
< Julius>
I think that's a misleading use of statistics.
12:08
<@TheWatcher>
Is there ever any /other/ use of statistics?~
12:09
<@Tarinaky>
I haven't used any statistics.
12:09
< Julius>
I know.
12:09
<@Tarinaky>
Some statistics would be nice though.
12:10
< Julius>
I remember there being a pretty comprehensive list of stats according to various angles of looking at the problem on Wikipedia.
12:11
< Julius>
http://en.wikipedia.org/wiki/Travel#Travel_safety
12:12
< Julius>
Air is safest by kilometer, relatively safe by hour, and moderately dangerous by journey.
12:12 * TheWatcher eyes that
12:12
< Julius>
Those fucking motorcycles, man.
12:13
<@TheWatcher>
Seriously, bloody hell
12:13 * Julius lives on the edge too, cycling.
12:13
<@Tarinaky>
Woah.
12:14
<@Tarinaky>
But I think we need a region/region breakdown.
12:14
< Julius>
That would be very nice, yes.
12:14
<@Tarinaky>
Hypothesis: East Asian airlines are more dangerous than other regions.
12:16
< Julius>
Possible.
12:17
< Julius>
I can really believe the motorcycle stats, too. I have a license, and those things are a whore to control.
12:18 Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has quit [Ping timeout: 121 seconds]
12:18
< EvilDarkLord>
I think it's a combination of exposure to a lot of possible accident situations and the fact that in a confrontation with anything bigger than you you have a high chance of serious injury or death.
12:21
< Julius>
I think it's primarily that you're riding a motion-balanced, high-powered, high-speed vehicle with little to no structure between the driver and whatever he happens to encounter.
12:28
<&Reiver>
Tarinaky: There was an analysis done on it; the strongest correlation is actually between GDP of the host nation and the relevant safety stats.
12:29
<&Reiver>
Poor countries have airlines that are less safe; in the case of places like indonesia this has been compounded by an exponential increase in the demand and scale of air travel in the past decade or two, so there's simply more of the semi-safe airlines around for statistics to do its work on.
12:30
<&Reiver>
statistics being, in this case, 'sufficient tests of a low probability will eventualy come up with a few hits'.
12:32 * TheWatcher eyes
12:33
<@TheWatcher>
I randomly note that Indonesia is ranked #16 in the world for GDP.
12:34
<@Tarinaky>
I'd have more expected a time-lagged correlation on GDP than instantaneous GDP
12:34
<@Tarinaky>
But then you're basically just overfitting it imo
12:40 Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has joined #code
12:40 mode/#code [+o Alek] by ChanServ
12:41
< Julius>
TheWatcher: Not per capita.
12:42
< Julius>
By GDP PPP per capita, Indonesia is ranked ~100th.
12:42
<@TheWatcher>
Reiver didn't say that, though - he said "of the host nation"
12:43
< Julius>
I think that's what he meant, though.
12:43
<&Reiver>
It was, yeah.
12:43
< Julius>
It's a bit silly to compare Norway and the US by pure GDP and say that Norway is poor.
12:43
<@Tarinaky>
Ah.
12:43
<&Reiver>
Tarinaky: I'm also not arguing for time-lag vs not, etc
12:44
<@Tarinaky>
Julius: We're not comparing GDP though, we're comparing air accidents and looking for signals.
12:44
<&Reiver>
It's more "Countries full of poor people and large aircraft fleets tend to have less stellar safety records", which is one of those things that sounds self evident, but only becomes so after you've done all the hard work of noticing the pattern. :p
12:45
<&Reiver>
Anyway, it's on 538.com, so you can look it up if you like; this is half-remembered hearsay
12:45
<@Tarinaky>
What's the GDP per capita of China now anyway?
12:45
< Julius>
Which China?
12:46
<@Tarinaky>
People's Democratic Republic of
12:47
< Julius>
PRC is ranked ~90th, Taiwan is ranked ~20th.
12:47
<&Reiver>
I suspect China to be an edge case, in some respects.
12:48
<&Reiver>
They have a very uneven distribution of wealth.
12:48
<&Reiver>
IIRC their rural areas are sufficiently poor that beyond providing the actual food &etc for the nation, they don't really take part in the economy, but still get the economy averaged out over them.
12:48
<&Reiver>
India is similar.
12:48
<@Tarinaky>
Yeah, but airlines don't necessarily transport citizens of the host country.
12:49
<@Tarinaky>
I suspect the distinction doesn't appear in the Safety vs GDP per capita.
12:50
<&Reiver>
oh have fun
12:50
<&Reiver>
http://fivethirtyeight.com/features/should-travelers-avoid-flying-airlines-that- have-had-crashes-in-the-past/
12:50
<&Reiver>
Go read it :p
12:50
<&Reiver>
I did digging back in the day and it looks to be pretty legit
12:54
<@Tarinaky>
Fair enough.
12:57
<@TheWatcher>
Fuck you, outlook
12:57
<@TheWatcher>
Fuck you in the fucking crappy fucking piece of shit you call your email renderer
12:58
<@Tarinaky>
<DianaTroy> He seems extremely agitated. Possibly angry.
13:32
<@TheWatcher>
Angry would be an understatement
13:32
<@TheWatcher>
This shit should be trivial
13:34
<@TheWatcher>
But that's to Microsoft's hilariously crap word 2007 bastardised-mangling-of-HTML, it sure as hell isn't
13:49 ASCII [pink@Nightstar-rcj56n.dyn.optonline.net] has quit [Ping timeout: 121 seconds]
14:06 thalass [thalass@Nightstar-h1qmno.eastlink.ca] has joined #code
14:06 mode/#code [+o thalass] by ChanServ
15:08 celticminstrel [celticminst@Nightstar-q7on2v.dsl.bell.ca] has joined #code
15:08 mode/#code [+o celticminstrel] by ChanServ
15:39 Orthia [orthianz@Nightstar-73b.59a.184.203.IP] has quit [Ping timeout: 121 seconds]
15:44 Orthia [orthianz@Nightstar-7hcpcc.callplus.net.nz] has joined #code
15:44 mode/#code [+o Orthia] by ChanServ
16:16 Orthia [orthianz@Nightstar-7hcpcc.callplus.net.nz] has quit [Ping timeout: 121 seconds]
16:20 thalass [thalass@Nightstar-h1qmno.eastlink.ca] has quit [[NS] Quit: Leaving]
16:21 Orthia [orthianz@Nightstar-0ck.inp.224.119.IP] has joined #code
16:21 mode/#code [+o Orthia] by ChanServ
16:24 AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has quit [Operation timed out]
16:39 gnolam [lenin@Nightstar-afpphi.tbcn.telia.com] has joined #code
16:39 mode/#code [+o gnolam] by ChanServ
16:39 gnoLAN [lenin@Nightstar-afpphi.tbcn.telia.com] has joined #code
16:40 gnoLAN [lenin@Nightstar-afpphi.tbcn.telia.com] has quit [Connection closed]
16:41 gnoLAN [lenin@Nightstar-afpphi.tbcn.telia.com] has joined #code
16:41 gnolam [lenin@Nightstar-afpphi.tbcn.telia.com] has quit [NickServ (RECOVER command used by gnoLAN)]
16:41 gnoLAN is now known as gnolam
16:41 mode/#code [+o gnolam] by ChanServ
17:09 Checkmate [Z@Nightstar-ev6.6um.94.83.IP] has joined #code
17:40 AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has joined #code
17:46 AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has quit [Ping timeout: 121 seconds]
17:58 Omega [omegaboot@Nightstar-c8t.a00.36.73.IP] has joined #code
17:58 mode/#code [+o Omega] by ChanServ
17:58 Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has quit [NickServ (RECOVER command used by Omega)]
17:58 Omega is now known as Alek
18:01 Reiv [NSwebIRC@Nightstar-q8avec.kinect.net.nz] has quit [Ping timeout: 121 seconds]
18:11 Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has quit [Ping timeout: 121 seconds]
18:17 Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has joined #code
18:17 mode/#code [+o Alek] by ChanServ
18:27 Vash [Vash@Nightstar-uhn82m.ct.comcast.net] has joined #code
18:27 mode/#code [+o Vash] by ChanServ
18:27 thalass [thalass@Nightstar-h1qmno.eastlink.ca] has joined #code
18:27 mode/#code [+o thalass] by ChanServ
18:34 Vorntastic [Vorn@Nightstar-k70f1n.ct.comcast.net] has joined #code
18:35
< Vorntastic>
Http://imgur.com/vkRW4bt I am having too much fun playing to develop
18:36
<@Vash>
Oi, oi. Now -that's- bad. =P (Although... Yay testing?)
18:42
<@Alek>
Ramon?
18:50
< Vorntastic>
My boss. This was his computer; I never bothered fiddling the username
18:52
<@Alek>
:P
19:11 * Vorntastic actually implements the separating axis theorem for the first time.
19:41 Reiv [NSwebIRC@Nightstar-q8avec.kinect.net.nz] has joined #code
19:41 mode/#code [+o Reiv] by ChanServ
19:51 gnolam [lenin@Nightstar-afpphi.tbcn.telia.com] has quit [Ping timeout: 121 seconds]
20:03 Vashicus [Vash@Nightstar-uhn82m.ct.comcast.net] has joined #code
20:03 VirusJTG_ [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has joined #code
20:06 Vash [Vash@Nightstar-uhn82m.ct.comcast.net] has quit [Ping timeout: 121 seconds]
20:06 VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has quit [Ping timeout: 121 seconds]
20:18 Vashicus is now known as Vash
20:18 mode/#code [+o Vash] by ChanServ
20:47 Kindamoody|afk is now known as Kindamoody
20:50 ASCII [pink@Nightstar-rcj56n.dyn.optonline.net] has joined #code
21:09
< Vorntastic>
Aaah it has scores
21:19 Checkmate [Z@Nightstar-ev6.6um.94.83.IP] has quit [Ping timeout: 121 seconds]
21:21 VirusJTG_ [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has quit [[NS] Quit: Leaving]
21:21 VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has joined #code
21:24
< Julius>
http://fsharpforfunandprofit.com/posts/is-your-language-unreasonable/ <- http://colinm.org/language_checklist.html
21:25
<&McMartin>
F# is an iteration of a language that's older than C
21:28
< Julius>
Whoah.
21:28
< Julius>
What's wrong with it, then?
21:28
<@ErikMesoy>
It's not Lisp?
21:28
<&McMartin>
Well
21:28
<&McMartin>
It's not *Haskell* if we're being jerks, but Haskell is that same lineage, just 1990 instead of 1973
21:29
<&McMartin>
And we actually did get better at some stuff
21:29
<&McMartin>
My experience with the ML family of languages is that its module system "isn't good enough to scale cleanly" but I haven't been able to isolate anything precise about what it's lacking.
21:30
<&McMartin>
Haskell adds - and Rust steals - an improvement over the ML model ("typeclasses") that appear to be a better way of solving the problem that multiple inheritance was trying to solve
21:31
<&McMartin>
But I think of the big things ML brings to the table "strong static typing + type inference + uniform reference-based polymorphism + algebraic datatypes"
21:31
<&McMartin>
Which are all awesome and which FUCKING NOTHING DOES except the uniform reference-based thing which Python and Ruby in fact do
21:31
<&McMartin>
F# is specifically a direct descendant of OCaml, an ML variant, with .NET bindings
21:32
<&McMartin>
Rust and Swift are bringin in the things I list, which is great, though they also keep the type inference constrained to within a function, which is probably sensible and means some of the crazier tricks Haskell pulls with typeclasses stop being necessary...
21:32
<&McMartin>
... and which may also solve the "modules are clunky" problem becuase there's a convenient place to syntactically put namespacing information.
21:33
<&McMartin>
Swift doesn't seem to be using the ADTs much, though, while Rust is clearly being an ML descendant
21:33
<&McMartin>
Rust's issues on the checklist are...
21:33
<&McMartin>
[X] "multi-paradigm"
21:34
<&McMartin>
lacks: [X] exceptions [X] reflection { all entries that are not "is not language X" }
21:35
<&McMartin>
philosophical objections: [X] Your language relies on an optimization that which has never been shown possible [X] There are less than 100 programmers on Earth smart enough to use your language
21:36
<&McMartin>
However, them writing the standard library has resolved the first of those objections to my satisfaction.
21:36
<&McMartin>
"We already have a safe statically-typed eager functional language" is referring to ML and its descendants~
21:37
<&McMartin>
Rust's weird thing is that it uses move semantics everywhere, which is to say, actually assigning a variable to another variable makes it illegal to refer to the first one anymore
21:37
<&McMartin>
With a wide variety of cunning tricks to get away with that, most of which boil down to "pass shit by reference"
21:38
<&McMartin>
This qualifies as a rejection of orthodox programming-language thoery and systems programming, but not without justification
21:39
<&McMartin>
But yeah, ten years ago, compiler researchers were playing with this stuff, and some of the conclusions then were "this isn't general enough to use universally"
21:39
<&McMartin>
There's been a few refinements since, but I haven't checked those papers, but the Rust code I've been browsing indicates that this seems to work
21:40
<&McMartin>
I *think* it's that they've generalized "Object B will always be destroyed if A is" to "Object B is syntactically guaranteed to become a dead variable before A is" and that this is an annotation you can add to types
21:46 thalass is now known as thalass|bewmteim
21:49 himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds]
21:50
< Vorntastic>
Http://imgur.com/b0vfmNu
21:52
< Vorntastic>
Omgwtf it's a game.
21:53
<@Tamber>
:D
21:54 [R] [rstamer@genoce.org] has quit [Ping timeout: 121 seconds]
22:00 [R] [rstamer@Nightstar-d7h8ki.org] has joined #code
22:10 gnolam [lenin@Nightstar-afpphi.tbcn.telia.com] has joined #code
22:10 mode/#code [+o gnolam] by ChanServ
22:24 [R] [rstamer@genoce.org] has quit [Ping timeout: 121 seconds]
22:25 thalass|bewmteim is now known as Thalass
22:25 Thalass is now known as Thalass|dinnar
22:31 [R] [rstamer@Nightstar-d7h8ki.org] has joined #code
22:38 Derakon[AFK] is now known as Derakon
22:51
<&McMartin>
Those look like Things that need Shooting.
22:53
< Vorntastic>
You're darn right. That's tomorrow.
22:53 [R] [rstamer@genoce.org] has quit [Ping timeout: 121 seconds]
22:53 Vorntastic [Vorn@Nightstar-k70f1n.ct.comcast.net] has quit [[NS] Quit: Bye]
22:55 [R] [rstamer@Nightstar-d7h8ki.org] has joined #code
23:20 Kindamoody is now known as Kindamoody[zZz]
23:22 [R] [rstamer@genoce.org] has quit [Ping timeout: 121 seconds]
23:23 [R] [rstamer@Nightstar-d7h8ki.org] has joined #code
23:29 Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code
23:29 mode/#code [+qo Vornicus Vornicus] by ChanServ
23:54 [R] [rstamer@genoce.org] has quit [Ping timeout: 121 seconds]
23:55 [R] [rstamer@Nightstar-d7h8ki.org] has joined #code
--- Log closed Thu Feb 05 00:00:10 2015
code logs -> 2015 -> Wed, 04 Feb 2015< code.20150203.log - code.20150205.log >

[ Latest log file ]