« first day (1659 days earlier)      last day (3293 days later) » 

9:00 PM
@LucDanton How the fuck can shit with a GC have the same purrf. as a language that is actually compiled, (JIT is merely an optimized interpreter)?
 
@MartinJames to be fair, GC overall does less work than ref counting
 
@MartinJames It’s powered by stars.
 
sbi
@R.MartinhoFernandes I do have a bridge to sell here. Allegedly it's from some place called Brooklyn.
 
@LightnessRacesinOrbit :-P If you say so. You probably misunderstood me, but could well be the other way round.
 
That's why it's better to get the programmer to do the refcounting
@πάνταῥεῖ I was making a joke. You missed it
@sehe You're not going to delete, then?
 
9:02 PM
@orlp Yeah, and I'm sober
 
@LucDanton It's called ironic shitposting my dear Luc.
 
@LightnessRacesinOrbit Ah, I remember :whoosh: now. I'm an old fart ya know. I'm going into research for the joke now ;-) ...
 
@Rapptz Hey you can’t do that to me!
 
I possess a collection of 8 slices of pizza
and I will eaterate over them
 
9:04 PM
hmm, sweaty balls
 
@MartinJames that sounds like a problem in need of fixing
 
@LightnessRacesinOrbit You didn't figure that from the people who come here and ogle?
 
oh fuck me ... I didn't even think to chastise Ismael for rudely talking about wanking over a photo of me. opportunity wasted
 
I thought it was part of the joke.
 
user1648409
9:04 PM
Hey guys - is it possible in SQL to ON DELETE SET NULL and ON UPDATE SET NULLß
 
user1648409
?
 
@AlexM. #include <eaterator>
 
@Rapptz Well I did but he's done so more publicly and whatnot
@Rapptz There is no joke
 
@Nooble boost::extra_chewing_eaterator
 
@Shiuyin Not with that attitude!
 
9:05 PM
@Shiuyin ask on www.stackoverflow.com
 
@AlexM. __builtin_eaterator()
 
@Mgetz There was some irony.. Truth is, I've been on Thwaites Wainright since 19:30.
 
I was so cold during the last match
I don't know why because the thermometer says 23 deg like usual
I'm still kinda cold
(cold enough for me to tremble)
probably stress or sth
 
@AlexM. I just realized you have exactly 1000 more rep than me.
 
ouch
 
user1804599
lol
 
user1804599
epic fail
 
epic fall
 
uhhh... how do I call a function that provides a default name for thing if one wasn't explicitly specified :D? (NAME a function! :D)
 
user1804599
9:16 PM
Same name and use overloading.
 
@LightnessRacesinOrbit just did
 
@ScarletAmaranth overloads?
 
Whelp the mods stepped in
 
I mean... what name do I give to such function :)
 
user1804599
Or the same name with _with_default_name appended.
 
9:17 PM
assignDefaultArgumentIfNotOneProvidedBeforehand isn't a very good name
 
user1804599
SSCCE.
 
hmm
 
user1804599
Your question looks like it was asked by @thecoshman: cryptic and lacking crucial information.
 
... I am writing such function; user inputs "T" or "T x"
and as I try to compile it, I simply assign a default name if one wasn't provided
as in, I am not trying to compile anything... I am authoring such function :D
and I need to name the function
 
YourBusinessLogic.DefaultFor(WhateverProperty)
 
9:18 PM
@rightfold but what does she think of the other ones?
 
Ven
@rightfold will fork
 
user1804599
@thecoshman That's what I mean.
 
user1804599
@Ven why?
 
@ScarletAmaranth get_name_or_default
 
@ScarletAmaranth ensure_name?
 
Ven
9:19 PM
@rightfold just some LS-ism :)
 
brb
 
@LucDanton does it imply that a default one is provided?
 
yes
 
or just simply, get_name - who cares about defaultness - it's by default.
 
@sehe Well, I've voted to undelete to let the OP more braise in their juice. But of course, one can simply stop this ;-) ...
 
9:20 PM
@Jefffrey Thank you for letting us know. This has been noted.
 
@milleniumbug it's rather important in my context
 
ooh the function gives a name not a value
 
@ScarletAmaranth Well the idea is that a name is ensured one way or the other.
 
 
lemme rethink
 
9:20 PM
@LucDanton that's fair enough; thanks
 
@LightnessRacesinOrbit @πάνταῥεῖ was pushing the envelope, imo ^
 
make_default_name
 
Ven
@rightfold forked. I like it, though :)
LS needs a good parser lib
 
@ScarletAmaranth If you have a class, you provide arguments with constructor, and the getters will provide what you set, unless you didn't provide any, then you return the default ones.
It's pretty common.
 
I bought a bunch of star wars games this sale
 
9:21 PM
@milleniumbug I am writing a compiler :-\ not "code"; I am looking for a good way to name a function that has such functionality :D
 
and I don't know shit about star wars
 
@ScarletAmaranth or fill_in_name perhaps
 
@ScarletAmaranth always use make_something
 
@AlexM. Let's have a star war!
 
when your functions make something
like names
 
9:23 PM
@ScarletAmaranth I don't get you.
You code your compiler without code?
 
@LucDanton fill_in_name I reckon is worse than ensure_name, which I like
@milleniumbug a variable that keeps track of how many potatoes you have available could be called numPotatoes; by this analogy, I was looking for a good name for a function that would have the aforementioned functionality
 
@ScarletAmaranth Well, if you don't have any potatoes, the default value is 0
 
@milleniumbug I am not assigning a value; the function which I need a name for assigns an identifier if one wasn't provided (hence a "default" identifier)
 
@ScarletAmaranth applyDefaults, materializeUnspecifiedValues
 
@sehe right; except for those "values" are actually identifiers :) I really like ensureName tho, as @LucDanton suggested
 
9:27 PM
@ScarletAmaranth So, get_identifier. The end user will have to know what the identifier is anyway, so he'll know what values it will have, and how to change the default one?
I think you're still a bit unclear.
 
@ScarletAmaranth generateNames, nameAnonymousIds, genAnonymousIds
 
Think of the spec as : Pre-condition: argument may have a name; Post-condition: argument definitively has a name.
 
generateX is nice.
 
@ScarletAmaranth really sounds like you're in a hard place because you care about the name of unnamed things. Just give them a unique identification and don't pretend they have proper names
 
the function is unknownNameSoFar :: (Type, Maybe Identifier) -> (Type, Identifier) (not quite, but you get the jist)
 
9:29 PM
*gist
 
@ScarletAmaranth That is a supremely silly semantic.
 
@sehe yeah going a bit mad there
thanks
Well, that was fun
 
@ScarletAmaranth assignProDeo
 
I do feel a little bad for Ismael but not, y'know, like, a lot.
 
@Puppy I don't use it in internal representation; I do end up generating some code that should be user readable, and I would like to have idiomatic names for unnamed things
 
9:33 PM
If a name member helps with debugging, wots teh problem?
 
@ScarletAmaranth That is a bit different.
but merely raises the question as to why you're generating code that deals with these members if the user can't access them
 
because I reconstruct semantics and do some inference / natural deduction on the type
 
I feel sad for LRiO, nobody should be forced into a sex change.
 
why do you do any of those things on a member the user by definition can't be doing any semantics with?
 
9:36 PM
semantics is the type
 
wait why is LRiO changing his her sex
 
you give me Any T -> Any T I give you id (there is no other definition possible)
 
there's no purpose in inferring the type of a useless member.
 
there is if you try to generate something from just the type
 
not really.
 
user1804599
9:38 PM
@ScarletAmaranth only if Any T is universally quantified or if it has only one value.
 
@Alex it's your fault
 
if you know that by definition the value is not used, then the thing you're inferring is the same as the thing you would infer if it did not exist.
 
where is Brotak?
 
@LightnessRacesinOrbit :(
 
@rightfold that's the "Any" part; maybe should be every
 
user1804599
9:38 PM
If Any T is the type of Booleans then a function of type Any T -> Any T can have four possible definitions.
 
@LightnessRacesinOrbit Bracket is probably AWOL.
Again.
 
@rightfold Any is the universal quantification there
 
user1804599
@ScarletAmaranth Ah, so it's like, forall Any T. Any T -> Any T.
 
user1804599
Ok.
 
9:39 PM
Burket
 
user1804599
Too much repetition.
 
user1804599
Make it Any T: T -> T.
 
Repetition is fine. Repetition is fine.
 
@ScarletAmaranth Meaning one of id :: forall a b. a -> b or id :: (forall a. a) -> (forall b. b) then? :)
 
9:39 PM
I love this "whoosh" business
 
Boretack is AWOL?
2
 
hard to disagree with this guy
 
@LightnessRacesinOrbit this guy gets it
 
@pakalupapito
started from gas station now we here
1.3k tweets, 498k followers, following 3 users
 
9:43 PM
@MartinJames Well we haven't seen B̎ͬ̾̾͗̒̑͆͗̃̂͋̈̀̎ͮ̎̚̚͞͏̴͏̦͉̠̱͕̼̲̯̭͙̦͉̪ͅạ̶̸̬̞̱͕͈̓̌ͩͫͫ̽͒͆ͭ̍ͥ̏ͧ̆̈ͧ̓̃̑͢ͅŕͦͤͯ̓ͪ̾ͫ̈́̇ͧ‌​̵̴̨̢͖͈̟̗͎͚̭͚͇̖̫̻ͭͧ́͘ͅķ̵͎͍̗̫̙̖͓̮̜͎̠ͧ̆̏̆͊ͮͅe̵̹͎̘͖͚̪̬͓ͨͭ̓́̌̆͑̍ͫͯ̿̑ͮ͗́͞tͨͤͫ͗ͬ͒͂ͣ̽̃̐̾‌​͚̺̘̫̭̟͕̹̯̪͕̭͍̘͇̔̑̃ͥ͡͞ in 2 days.
 
This whole feed is like a Twitter version of @AlexM
 
@LucDanton it's actually Any a => a -> a; if you want the latter, you have to explicitly quantify both
it turns out I am horrible at naming things
I mean, look at my nickname
 
huge retweets under every single post
 
@Nooble 6 weeks in the cooler on recapture..
 
jesus:
50 Shades of Pak http://t.co/snOXHG6lc5
click to lol lol
 
9:44 PM
@LightnessRacesinOrbit what the hell is that supposed to mean
my name is not pakalu papito
 
It was a compliment
 
oh ok
 
dude's hilarious
 
I like it then
 
9:45 PM
@MartinJames As is tradition.
­
 
youtube has been acting up on me a lot lately
 
How so?
­
 
now that mysticial's gone the thing was probably left to die
 
@AlexM. What happened to Mysticial?
 
9:47 PM
@Nooble wrong brightness and contrast
some videos don't load
 
@AlexM. Mysticial's gone?
 
@Nooble he deathed
it loaded yay!
I can listen to this
 
@AlexM. did he resurrectioned already
 
@LightnessRacesinOrbit Oh...
 
9:48 PM
@AndyProwl no because necromancy is illegal
 
> Last seen 9 hours ago
Yeah he's dead.
 
I like how blizzard remixes their wow main theme on every expansion
the newest theme is easily the most badass
 
@Nooble Well, that doesn't say last seen alive...
 
@ScarletAmaranth Is that a Haskell-style context with an implied binder, or a binder?
 
9:50 PM
@AndyProwl reminds me of that comic
with the # of times dead chick had sex going up while seeing the stats in heaven
 
yeah
 
cut out the sexism
 
@LucDanton it's an actual binder - Any and Some quantify, but with "haskell" syntax; (also I am horrible at naming)
@LucDanton I should use forall and... exists or some such... currently not important, just playing around with inference from CoC
 
jesus wtf
stop it
 
9:56 PM
@LightnessRacesinOrbit s/jesus/bloody nora/
 
@Nooble did you buy cs yet
 
@AlexM. are you periodically asking him that every day? o.o i clearly remember you asking that a few hours ago
 
well he said he was going to buy it today
just wanted to make sure
slowly leaves
 

« first day (1659 days earlier)      last day (3293 days later) »