« first day (1409 days earlier)      last day (3554 days later) » 

3:01 PM
@Ell Use a reference!
 
Ell
I think I need a types table and then classes can inherit from types
 
Table inheritance!
 
Marius: commented on his own answer with @OP instead of editing answer.
Kagaroat: Lol formatting
Webneat: strncpy with oversized input number
brain: yay, for loops (what is abstraction)
 
Ell
and I can also have an external_types table for types that are outside of the docmuntation
 
CXXRecordDecls, to be precise.
 
3:02 PM
@Jefffrey Sometimes yes
 
Or how about not using a relational database for storing data that doesn't fit well in a relational database.
 
I think quentin's answer contains off-by-one error, but that would take thinking and I am too lazy right now.
 
that.
 
Ell
@PolymorphicPotato what should I use instead?
I was thinking an xml file to begin with
 
@R.MartinhoFernandes Making it formal.
 
3:04 PM
The template just adds it to a category of posts that need maintenance.
 
why are you doing anything with it
just output html from an in-memory structure.
 
Ell
@Puppy I want to be able to edit the documentation in place while viewing
 
that... is tremendously bad and wrong.
 
Ell
and a self modifying html file is terrible
@Puppy why?
 
because then you've lost the only advantage generated documentation could possibly have had, which is that it's generated.
 
3:05 PM
That's not an advantage
 
if you edit it by hand, you've lost the only thing about it that was even remotely valuable.
(which it wasn't in the first place).
 
Also SRP, don't generate HTML in a code extractor
 
If you documentation is auto generated, it probably isn't documentation...
 
this is what I've been saying
 
Ell
@Puppy The advantage of generated documentation is that the structure of the documentation is generated, not the documentation itsself
 
3:07 PM
Better yet write a code extractor and a Sphinx plugin to consume the output and don't generate HTML at all
P much the only advantage of generated documentation is up-to-date signatures
Generated structure is almost always shit to navigate by actual humans
 
@Ell Yeah, but nobody is going to edit by hand a generated structure for every build.
it'd be way cheaper to just edit the structure manually.
 
Ell
@Puppy You don't do it for every build
also you misread again
you don't edit the structure you edit the documentation
 
right, I know that's what you said, but what I'm saying is that that's pointless because you'd have to edit it back every time you re-generate the structure.
 
Ell
I'm confused. Why?
 
probably because when you have a new structure, it doesn't have any of the stuff you edited in?
 
Ell
3:10 PM
well obviously if you write a new element it can't document itself automatically :L
 
... what about the documentation for all the existing elements?
 
Ell
but you've just said "you have to document things you haven't documented before"
@Puppy they stay there?
 
how?
 
Ell
Because files are persistent
 
right, but they're persistent with the old structure.
how are you going to automatically convert arbitrary edits to some HTML/whatever from one structure to another?
 
3:11 PM
Separate hand-written documentation and generated info :cripes:
 
Ell
@Puppy the whole point is that you're not just editing html
 
Help I've read YouTube comments.
 
Ell
that's why I have been writing a database schema thus far
 
well, even as far as "generated documentation" goes, it's clearly superior to just add comments to the source and have the generator put them in.
 
@EtiennedeMartel Too late, your mind has been irreversibly tainted.
 
3:12 PM
You don't want to be versioning build artefacts jesus
You're as bad at this as Puppy
6
 
Build artefact Jesus?
 
I am indeed Build Artefact Jesus.
3
oh, also
LLVM/Clang absolutely do rebuild their docs for their nightly builds.
 
Can we please stop calling API dumps 'docs' it makes me sick
 
yeah, it's a stretch.
 
Hey @Puppy how do you feel about national anthems?
 
3:16 PM
@Ell seriously write this as a plugin for Sphinx, you'll have a mature documentation system people know and a working autodoc for C++
 
worthless crap
 
Ell
@CatPlusPlus I'll take a look at it now
 
And you'll get more than just HTML output
 
hungry right before bedtime again :/ time for boiled broccoli & red hot chilli in soy sauce (& a bit salt)
 
@LightnessRacesinOrbit lol, as if you didn't know the answer.
 
3:22 PM
@Puppy What, why?
 
well, what value do you think it has?
 
@R.MartinhoFernandes Isn't the answer always the same?
 
it's just a random song with no benefit to anybody, ever.
if you want to listen to it, then use Youtube or whatever.
 
good thing is that, I love my greens
 
I see absolutely no benefit at all in associating a nation with a song.
 
3:23 PM
just love it
 
@Puppy Don't answer my question with a question. You said it's worthless. Back that up.
@Puppy National pride? A feeling of belonging? Of identity?
 
Damn, there's no popcorn in the office.
 
provided that I have enough seafood & other types of meat
 
@LightnessRacesinOrbit If you want to be proud of your nation, you should find something that it does well and be proud of that.
 
& a bit carbonhydrate
 
3:24 PM
Anthems are very useful, for example you can mock them which makes nationalists fuming mad
 
@Puppy What if my nation is really good at writing songs?
More to the point, the song is the manifestation of pride. It often lists the things the nation is good at. So what is the problem?
 
then I find it hard to imagine how anybody in that nation could have national pride.
personally I don't see any value in national pride anyway.
 
Ell
I think nationalism is harmful really
 
You literally just suggested that people should have it.
 
no, I said that if you want to have it, you should use another means.
 
3:25 PM
Our anthem tells the story of how good we are at marching
 
I don't see why anyone would want to have it.
 
We are apparently really good at picking beautiful place to live.
 
Xeo
@LightnessRacesinOrbit Can haz International Anthem / Earth Anthem?
 
Yeah globalisation or bust
Away with that nationalism bullshit
 
Puppy is not proud of his nation because he's never seen any of it.
 
3:27 PM
the only thing Britain appears to be really good at is profiting off the financial failures of others, and also remembering how great they used to be (by enslaving others).
 
Also censorship
Did you include that in the anthem yet
 
spying on its own citizens
 
use map<string,void*> (or funcptr typedef) to store the name and address. — SHR 19 mins ago
 
Also hating immigrants
 
why do people have a fetish for UB
 
3:28 PM
I don't think that "We're so great you can't sneeze without the Prime Minister being informed" is in the anthem.
 
@Puppy There are quite a lot of people in the UK who are better at other things.
 
How do you call the front of a website as opposed to a REST interface?
 
@Puppy Perhaps you're confusing "Britain" for "the British government [as seen through my narrow eyes]"
@Jefffrey wtf
 
@LightnessRacesinOrbit Yes, but that would be a personal better, rather than a national better.
 
@Jefffrey UI
 
3:29 PM
@Puppy What?
 
@Puppy Why haven't you moved somewhere you will like it yet?
 
@Puppy The country is made up of the people who live in it, doofus. If twenty of the world's leading biologists are British, then the UK is good at biology.
 
Ahahaha where do you want to move to
 
I am now convinced the UK is the worst nation.
4
 
No US is still worse
 
3:30 PM
@Puppy Why would it be? It's not true.
 
UK is in a close competition with NK
 
UK is weird... but lol if you think it is seriously the worst, even amongst western countries.
 
Xeo
@R.MartinhoFernandes Yeah, it has Puppy and Lightness. Fucked up place.
 
@LightnessRacesinOrbit I totally disagree.
 
@R.MartinhoFernandes excellent starbait
 
3:31 PM
the UK has jack shit to do with most of what its citizens do.
they just happened to be born here instead of 30 miles to the south in France.
 
@Puppy .. what?!
 
That would be terrible
 
Ell
I agree with puppy that national pride is silly
it's far too generalised
although idk where you draw the line
 
It's an international dick waving contest
 
@Ell Eh, there is huge difference between national pride and jingoism.
 
Ell
3:33 PM
:define jingoism
how do you do this feeds think now? :P
@Feeds define jingoism
 
Jingoism is patriotism in the form of aggressive foreign policy. Jingoism also refers to a country's advocation of the use of threats or actual force against peaceful relations, either economic or political, with other countries in order to safeguard what it perceives as its national interests. Colloquially, it refers to excessive bias in judging one's own country as superior to others—an extreme type of nationalism. The term originated in Britain, expressing a pugnacious attitude toward Russia in the 1870s, and appeared in the American press by 1893. == Etymology == The chorus of a song by G....
 
Xeo
== English == === Etymology === jingo +‎ -ism === Pronunciation === IPA(key): /ˈdʒɪŋɡɘʊɪz(ɘ)m/ === Noun === jingoism (countable and uncountable, plural jingoisms) (uncountable) Excessive patriotism or aggressive nationalism especially with regards to foreign policy. (countable) A jingoistic attitude, comment, etc. ==== Synonyms ==== chauvinism ==== Related terms ==== jingoist jingoistic jingoistically ==== Translations ==== === See also === by jingo jingo...
 
TIL Puppy thinks the UK is just made up and has nothing to do with the people living in it
 
Xeo
oha
whoah
 
Ell
@Xarn I think they are both bad
 
3:33 PM
Did you know many of the world's foremost experts on FP are British citizens?
 
Xeo
not feeds posting, but it edits my post
 
It's oneboxing.
 
Translate was too hard to onebox
:v
 
Xeo
@LightnessRacesinOrbit And those people being experts in FP has exactly what connection to them being British?
 
It edits just as much as any other oneboxing.
 
3:34 PM
@Xeo Exactly.
 
Xeo
@R.MartinhoFernandes right
 
@Xeo Nothing. But it has a connection to the UK consequently being good at FP.
 
Xeo
Still weird
 
I don't see how?
 
you'd have to somehow demonstrate that they wouldn't be FP experts if they were born in France.
 
3:35 PM
Country is incidental in this equation
 
@Puppy Why? What would that show? You seem to think that grouping people or skills by nationality is trying to prove that only that nationality could achieve such a feat. It doesn't. Nobody thinks it does.,
 
exactly.
 
Ell
@LightnessRacesinOrbit This is just a hunch but I think country is less important and maybe particular universities/schools are more important
 
Wait, Lightness is trying to show that France is bad at FP because the UK has FP experts?
 
So you're basically strawmanning
 
3:35 PM
Also not a statistical sample so you can't extrapolate to entire country hoop woop
 
He would never.
 
@R.MartinhoFernandes No, Lightness isn't. That's just Puppy's assumption because he does not understand how the world works.
 
@LightnessRacesinOrbit Because I find it hard to believe that being born on one patch of land instead of another patch of land 20 miles south meaningfully affects your FP skills.
 
@LightnessRacesinOrbit Oh, your detector is broken.
 
@Puppy Nobody is claiming that it is. What is wrong with you?
 
3:36 PM
ok, great.
 
@LightnessRacesinOrbit I find statements like this disingenuous; for one thing it's very anglo-centric. More often than not we have no idea if there are experts that speak another language; because they speak another language.
 
then we're on the same page that being born in Britain had absolutely nothing whatsoever to do with FP skills.
and therefore the fact that the FP experts are British is a coincidence
and being British has jack shit to do with it.
 
My city is really good at programming because I live here
 
@Puppy It has everything to do with them being British
 
3:37 PM
@Mgetz Unless those experts just prefer to not tell anything to anyone, er, no.
 
the statement "the UK is good at FP" means "the UK consists of people some of whom are very good at FP". Nothing more. None of this bullshit you're randomly making up to argue against.
 
@LightnessRacesinOrbit do you know who the foremost chinese FP experts are? Because I can guarantee there are some.
 
He wouldn't do that.
 
for the UK to be good at FP, then the UK has to have some impact on FP.
 
oh ffs I spent like 30 mins trying to figure out why my python script wasn't working (I don't really use python that much), turned out I wasn't calling my main method
 
3:38 PM
people who are good at FP randomly happening to be born here does not qualify.
 
@AlexM. Good job
 
@Mgetz Yes, I am sure there are. What's your point? That we live in a world where experts from non-English countries are not known of in England?
 
the only thing that "Consisting of some people who are good" means is that the concept of "X is good at Y" is now utterly meaningless and determined entirely by random chance.
 
@Puppy the UK has a huge impact on FP/.
@Puppy Then how would you define "the UK"? Your definition appears to be restricted to the individuals in government?
 
Random chance?
 
3:39 PM
All of this distracts us from the real issue
 
Yeah, sure.
 
@Puppy No, because not everybody in the UK was born in the UK.
 
Which is that I don't have any food
 
Those FP experts are, by and large, immigrants who now work at our Universities.
 
Ell
@LightnessRacesinOrbit I think saying this is fine, but being proud is wrong imho
 
3:39 PM
You're such a dumb fuck, @Puppy.
 
And also not rich yet why
 
@Ell Why? What are you proud of that isn't a consequence of luck, ultimately?
 
@LightnessRacesinOrbit my point was it was a pointless claim, academic literature doesn't tend to get translated that much. Also as you pointed out... academics move around.
 
@Puppy I'll say it again, stop being such a stereotype. @LightnessRacesinOrbit Stop trying to torment puppies, its not nice of you.
 
I'm very proud of my farts
V potent
 
3:40 PM
@Xarn it's funny!
@Mgetz Altenkirch and Hutton have been at Nottingham for over a decade.
 
@LightnessRacesinOrbit No, tormenting puppies is evil!
 
Ell
@LightnessRacesinOrbit Well working hard to get a levels I guess isn't about lucky (I know I didn't get what I wanted, but I redid all of my last years work :P) I know that if I hadn't have worked I would simply not have passed them
I don't think this is luck personally
 
I'm also proud of uh
uh
 
@LightnessRacesinOrbit "The UK" is an arbitrary label applied to a patch of land, and absolutely nothing more. And also various institutions which are created to represent that land and the people on it.
 
Dunno
 
3:40 PM
@Ell Having enough brainpower to succeed at your A Levels is luck.y
@Puppy You're actually being so offensively stupid as to anger me.
I think it's time I plonked you.
 
Yes everything is luck and nothing matters
 
@Xarn and this is how we know LRIO is not really british.
 
Ell
@LightnessRacesinOrbit okay. Ultimately everything is luck
but I don't think this is a useful notion
 
Like points on SO
Everything is internet points
 
whew
thank God Lightness finally plonked me.
 
3:41 PM
@CatPlusPlus Whose line is it anyway?
 
Yes. Whose. Badlet
 
@Puppy Well I didn't actually, because I know it'd make you happy. And we can't have that.
 
figured
 
Totally saw that coming.
Where's my cookie?
 
@Xarn You said this the other day, but it didn't make much sense to me then, either; what part of Puppy is stereotypical?
 
3:42 PM
@CatPlusPlus You saw nothing.
 
@R.MartinhoFernandes You don't get one, because I never claimed to have plonked him.
 
@Mgetz heh
 
@LightnessRacesinOrbit No, I meant the cookie I had on my desk.
 
@R.MartinhoFernandes I have a quantum cookie for you. It might or might not be there
 
Ell
@LightnessRacesinOrbit I guess it's up to each individual to decide where they draw the line on what is luck and what is hard work, but I at least draw it at being proud of other peoples success not related to them closely and I don't think it's a desirable attribute to have. But again, it's all opinion at this point
 
3:43 PM
Guess I ate it.
 
@R.MartinhoFernandes It's on your desk.
 
Ell
@R.MartinhoFernandes it's in your tummy space
 
At the end of the day, society needs groupings. You can't enumerate the successes of individuals among billions; you have to whittle down the numbers using aggregation. That is exactly what countries are. Trying to claim that they are meaningless and pointless is just absurd. It reeks of a lack of ase imagination.
 
@LightnessRacesinOrbit Shut in computer nerd who doesn't give a fuck about anything that isn't computerized or measurable? Do you really think that isn't a stereotype?
 
@LightnessRacesinOrbit We already have the only meaningful grouping we need; humanity, and not humanity.
 
3:44 PM
@Xarn Ok. Yeah I was wondering a stereotype of what. You've answered it
> You can't enumerate the successes of individuals among billions
 
@Puppy Specieist
 
I have no need to enumerate the successes of others.
2
 
Ah, there is it.
Countries are pointless because Puppy doesn't need them.
 
and don't see why anyone else would want to either.
 
Ell
3:45 PM
@Puppy I don't think that is useful really
what about animals n shiz?
 
@LightnessRacesinOrbit Programmer, Geek, Nerd, take your pick and adjust based on your country.
 
@Ell "not humanity".
 
@Xarn We're way past that now. He's moved on to ... something else I'm not quite sure what.
 
Ell
@R.MartinhoFernandes but I mean I think they should be subdivided more
 
But even most trolls don't say things this stupid.
 
3:45 PM
WHAT ANIMALS ARE NOT HUMANS WHAT YOU CRUEL PERSON PETA WILL END YOU
 
In biological classification, rank is the level (the relative position) in a taxonomic hierarchy. Examples of taxonomic ranks are species, genus, family, and class. Each rank subsumes under it a number of less general categories. The rank of species, and specification of the genus to which the species belongs is basic, which means that it may not be necessary to specify ranks other than these. The International Code of Zoological Nomenclature defines rank as: The level, for nomenclatural purposes, of a taxon in a taxonomic hierarchy (e.g. all families are for nomenclatural purposes at the same...
 
@Puppy You think competition is pointless, then?
 
@LightnessRacesinOrbit but without countries how will the people on that tiny rock in the north sea bitch about the people across that tiny strait that have poncy cheeses!
 
Fuck, oneboxing blind backfired.
 
@LightnessRacesinOrbit Some of them are, yes.
not all.
but most international competition is.
 
3:47 PM
@LightnessRacesinOrbit Nah, he is still definitely fullfilling at least one aspect of geek stereotype. And he is giving it 110%!
 
You're all nerds, nerds
 
I'm closing in on 15K. I checked - 15K doesn't actually get me anything at all. You should get a beer, or pizza slice, or something:(
 
@MartinJames You get more internet points
 
@Mgetz Country is not really the important bit there, I think. French are still French if they are annexed by Germany. They still have their affection for cheese.
 
3:49 PM
@Mgetz The Belgians?
 
Ell
@MartinJames may I ask where you work?
 
And now the stalker happy hour begins
 
@R.MartinhoFernandes Germany tried that... also see the culture laws that were implemented in Alsace and Lorraine
 
@Ell At home in UK, mostly. Some trips to Germany and other EuroPlaces.
 
@Mgetz part of Lorraine*
only one department of Lorraine kept advantages. Like 2 more public holidays.
 
3:51 PM
@LightnessRacesinOrbit Well, all international sports are certainly pointless (just like pretty much all the rest). Tax and regulation competition is like, "Let's see who can screw over their own citizens the most for the benefit of shareholders of corporations in other countries".
 
@Puppy I said "why?" not "say it again"
 
@FlorianMargaine given that my source was wikipedia... and said laws are long since gone... eh whatever
 
they still remain :-)
 
it's pointless because the citizens of the nations are not the winners, except in cases where they would have been winners anyway.
 
@Mgetz I read that as 'Flora Margarine'.
 
3:52 PM
@Puppy lolwut?!!
 
@Puppy Woah, for a moment there I read "all international airports are certainly pointless".
 
I kinda want to do a MUD
 
That was surreal.
 
@R.MartinhoFernandes I think they're an economic necessity :P
 
But I also want to do DF-like thing stuff
What do
 
3:53 PM
@Puppy Why? For screwing over the citizens for the benefit of shareholders of corporations in other countries?
 
nah
 
What, like falling down a well? I don’t recommend it.
 
@CatPlusPlus Play DF.
 
they make money, effectively, and that's pretty much a good thing; the problem of who ends up with that money is a different one.
 
Ell
3:55 PM
I am predicting lightness' comment about who ends up with the money
 
@Puppy National competitions "make money, effectively". Why are those different?
 
I'm hungry.
 
Ell
and it doesn't look good for puppy.
 
@LightnessRacesinOrbit I'm not aware of any national competitions that actually make money for anybody, as opposed to just shuffling it around.
 
My fortress is currently in lockdown and there's a titan hanging around outside and killing all merchants and all migrants as soon as they arrive. Has been so for two years now. Meanwhile I fucked up and cooked the last of my plump helmet spawn, and butchered all animals in a rush for leather. Now they're running out of food.
 
3:56 PM
@Puppy Oh, so airports conjure money out of thin air, do they??
 
@LightnessRacesinOrbit That's why they're -air-ports
 
They mine butts
 
@R.MartinhoFernandes Ahhhh! I always wondered
 
lol robot
 
It's not just me who sees it, right? Puppy has gone full retard?
 
Ell
3:57 PM
@R.MartinhoFernandes What tileset do you use?
 
There's no Puppy, you've been talking to yourself the whole time
 
Ell
@Puppy only mints make money :P
 
This one dorf had both parents and three cousins arrive as migrants and they were immediately torn to pieces by the beast outside.
 
@LightnessRacesinOrbit Mind blowing, isn't it?
 
3:59 PM
@Ell Been using Phoebus.
 
@LightnessRacesinOrbit They don't make money out of thin air; they obviously require other systems to support them and whatnot. But they certainly do increase the available money. If it weren't for airports, we would have a lower net ability to change our planet to what we want it to be.
 
@LightnessRacesinOrbit You are watching too many shows
 

« first day (1409 days earlier)      last day (3554 days later) »