« first day (1229 days earlier)      last day (3736 days later) » 

11:00 PM
Maths is a description of what can be true.
 
I don't think math cares about truth.
 
well then why can't I have A == !A?
 
(Well, logic and stuff but that's just an arbitrary value there)
@DeadMG Who says you can't?
 
well, mathematics.
 
user3010322
Discrete mathematics in particular.
 
11:01 PM
all I'm saying is that mathematics is based on proofs, which is based on truth.
 
@DeadMG Nope.
Some particular axioms.
There are theories without that axiom.
 
anyway
@R.MartinhoFernandes Right, but they all have equivalents.
I mean
 
user3010322
Isn't there a category of math that's like, where none of the rules apply and you're just working on weird crazy shit?
 
if you start from X axioms, you describe Y world; and the things that cannot exist in Y world are untrue, as it were.
 
@DeadMG Maybe Gödel would disagree.
 
11:02 PM
@ThePhD no
 
nah, I'm pretty sure that he simply says that you can't always prove whether or not it's true.
 
He says that it's turtles all the down. Not truth.
 
but it still has a truth value, you just can't prove what that value is.
I think of it like quantum truth, as it were.
 
Mathematics doesn't care about that truth value.
 
user3010322
Math just is.
 
11:03 PM
> is that a fucking poop rat?
 
user3010322
Join the Math. The math is all.
 
user1804599
@ThePhD computer science.
 
anyways to get back to what I was doing earlier
 
"Oh cool, Github released a text editor"
 
you can't see edit history of reddit posts?
WTF
 
11:04 PM
what a shame
 
I could create a new type for every constant value or maybe turn my expression into a variant
but they both have some nasty downsides
 
not sure how to address
 
user1804599
Meh, Node.js.
 
@Rapptz why
 
user3010322
11:06 PM
@Rapptz Looks kinda weird.
 
@Jefffrey read it and find out for yourself bud
 
@Rapptz I don't see any shame
and I've read it
 
closed source text editor aimed mainly at web developers
 
@Jefffrey Maybe because you're it!
 
user3010322
Shammmrey.
 
11:08 PM
it's also going to be proprietary
it hints at it anyway
 
I guess that if I created a new type, you could do constant functions.
but they'd be interpreted really
 
user3010322
What's wrong with a proprietary text editor?
 
not sure if want to go there
 
@ThePhD why would you use it?
there's vim/emacs etc
 
user3010322
If it works well, why wouldn't I?
 
11:09 PM
and ST is successful because it has a free unlimited evaluation period.
 
@Rapptz Because I need to edit text?
 
I meant proprietary as in it costs money
i.e. not gratis.
 
user3010322
Oh. I never pay money for anything.
 
user3010322
Whatever.
 
yeah that's a totally different can of fish
I can still hardly make my rent
fuck paying money for a text editor
 
11:10 PM
@Rapptz where does it says it's aimed at web devs?
 
I'd just do what I did with VS and pirate it
 
user3010322
@Jefffrey ... The very first line? o.0
 
@ThePhD can you quote that for me?
 
user3010322
Oh, it just said it's based on web technologies.
 
11:11 PM
:/
 
> At GitHub, we're building the text editor we've always wanted. A
 
and all the examples are aimed at web developers too.
 
user3010322
cson?
 
user3010322
crappy-json?
 
user3010322
compact-json?
 
11:12 PM
cock-script object notation?
 
@R.MartinhoFernandes it's going to be shit
 
it just says it uses web technologies and you can tweak it with HTML and CSS
 
coffeescript object notation?
 
@Jefffrey if GitHub wants to make a text editor they've always wanted then trust me when I say it's going to be extremely heavy on the web development stuff
just like Sublime Text
 
@Jefffrey I wonder what audience that appeals to.
 
11:12 PM
@R.MartinhoFernandes yeah, this.
 
user3010322
 
user3010322
So.. it's bracket-stripped JSON?
 
@R.MartinhoFernandes well, let's say that if you don't know a bit of HTML and CSS you are fucked
 
evening
 
@ThePhD ... basically :S
 
11:13 PM
@Jefffrey I didn't say anything about knowledge.
 
@R.MartinhoFernandes the audience is: everybody who knows HTML and CSS. Hint: not only web developers know those two languages.
 
why the flying fuck would anyone defend making plugins with HTML and CSS
 
@Jefffrey They're the only ones stupid enough to think they're something they want to use though.
 
@Rapptz I'm not?
 
I'm just saying in general
the idea is shit
 
11:15 PM
@Jefffrey Hint: web developers are the ones mostly likely to know it. No one said anything about exclusivity.
 
user3010322
It sounds like they used librocket and just wanted to plug in text directly from the plugins, lmao.
 
ohshit dizzyness
 
@Rapptz yes, it is.
 
that one IDE
LightTable
to extend it you have to make it in Clojure iirc
 
user3010322
Bleh.
 
11:17 PM
kinda sucks because I don't know Clojure
 
rightfold will be happy
 
JetBrains emailed me today saying I don't qualify for their private IDE testing because they don't support my build system.
 
user3010322
Lol.
 
same here
 
user3010322
No ninja support, eh?
 
11:18 PM
@Rapptz Pretty much everyone here got that e-mail.
 
user3010322
Knew I should wrote down "Cmake, gcc, Vim"
 
fucking CMake :(
 
well
strictly speaking
 
user3010322
glslang looks pretty awesome @Borgleader
 
I use make, cmake, premake, and MSBuild
 
user3010322
11:19 PM
I'm going to rewrite all my stuff in GLSL now, since I don't have that much stuff in it.
 
I compile with VC++, g++, and Clang
 
user3010322
And then keep poirting to open GL.
 
user3010322
WTB ppl to help port to OpenGL.
 
user3010322
When I got to OpenGL, I'm going to add FreeType as a dependency, but I ditch dwrite.lib and d2d1.lib, which is a good thing I think.
 
user3010322
glload I compile in-engine, so, that saves me that problem.
 
11:21 PM
fuck this
 
am I the only one who has low expectations for JetBrains C++ products?
 
I'mma make a new type for every constant value.
 
like R# and their IDE?
 
constant integer? NEW TYPE!
 
I received an SMS yesterday from my operator, that my invoices will be send to some random e-mail from now on :|
 
11:21 PM
constant string? NEW TYPE BITCHES
@Rapptz No.
 
user3010322
After getting their R# preview for C++, I was not very happy with it. Albeit, it's a super-mega-preview build, so.
 
pretty much everybody who goes "Our product works for C#! Let's port to C++" gets it horribly, horribly wrong.
 
I'm going to schedule an ophthalmologist appointment.
 
user3010322
I'm not going to judge it until they actually put it out and charge money for it.
 
and owned hard.
 
user3010322
11:22 PM
@R.MartinhoFernandes Your eye gears be broke?
 
they released it for public beta today
 
@DeadMG They went "Our product works for Java! Let's port to C#" and got it horribly, horribly right :P
 
yeah, but that's Java and C#, not Java/C# and C++.
 
So I was thinking on that whole Doxygen alternative idea
 
user3010322
Well, they're rolling their own parser from scratch.
 
11:24 PM
I think it might be possible with libclang
 
user3010322
Doxygen alternative? What for?
 
personally
I'm on the fence about rolling a new C++ parser.
 
@ThePhD That's not the important point, to be honest.
 
re-using Clang's work is way simpler in many ways, but their design is so godawful, it's tough to make good use of it in many ways.
 
It's about acknowledging that the language has its own personality.
 
11:25 PM
it's far from an open-and-shut case.
 
user3010322
@R.MartinhoFernandes That mostly just means they get to intimately understand the language itself, which I think is a good thing, mostly.
 
user3010322
Yeah, what you said.
 
I found this today
> The dev team behind Clang (and LLVM) is top-notch and its source is one of the best designed bodies of C++ code in the wild. Clang’s development is very active, closely following the latest C++ standards.
 
user3010322
=l
 
user3010322
Their only curated external API is their C API.
 
user3010322
11:26 PM
They have themselves stated their C++ API is prone to changing without notice and can be a clusterfuck to fit their needs.
 
@ThePhD Obviously the result of having the best design. Only crappy designs lead to stable APIs.
 
user3010322
And I can verify it is indeed a we-forgot-to-tell-you-about-all-the-ownership-fuckery-we-do-so-here's-a-raw-poin‌​ter clusterfuck.
 
yes.
ownership, lack of exceptions, and coupling.
all major major issues with Clang codebase.
 
best design!
 
user3010322
They separate out so many classes.... but those classes are hand-tied to other classes. And not by constructor: by nothing less than a constructor plus two additional function calls to the class to set things.
 
11:28 PM
Anyway I quickly abandoned the idea after remembering what a PITA it is to build Clang on windows and how poorly documented their shit is
 
user3010322
Could just try to use C API. Or look at their examples.
 
honestly I don't find building Clang on Windows that big of a deal
it's just slow.
 
I'm pretty sure it's impossible for me to do it
I only have 4 GB of RAM
 
don't think I went above 4 when building it with MSVC
aww shit
pseudo-concept hack.
 
user3010322
@Rapptz Noob, get more RAM.
 
11:37 PM
oh, er, wait a minute.
this is buggy as shit.
if you wrote a C++ function that took pointer to char, you couldn't pass the address of an int8.
 
@ThePhD Dunno. Maybe I'm overreacting and just need to sleep.
 
What's wrong with your eyes?
 
hrmph. This bug in my code has eluded me.
 
user3010322
@DeadMG Good, they're fundamentally different types!
 
user3010322
Your char type should be a 32-bit codepoint, yo.
 
11:43 PM
er
I don't have a char type.
and secondly, it would matter what C++ thinks when calling a C++ function.
 
user3010322
@R.MartinhoFernandes What's the largest normalized sequence of codepoints you can have to form a single character, not including rendering characters/markers?
 
if I make a programming language, I wouldn't even add strings
 
user3010322
@Rapptz You monster!
 
my strings would be an int array
 
fact is, one C++ function can take either string literal or pointer-to-8-bit-integer and I've gotta support both those things.
 
11:45 PM
@Rapptz isnt that what python does? (if you replace array with list)
 
@Borgleader not exactly - lists are mutable, strings aren't
 
@Rapptz Oh gawd.
 
@Rapptz "C++17: I See a Monad in Your Future!" I fucking hope not :(
 
@ThePhD Wait what do you mean by "character" here?
 
11:47 PM
@BartoszKP fine, immutable int list, wtv :P the important part was sequence of ints.
 
why are monads overhyped
 
@Borgleader well then, I fail to see the difference :) where strings do not come down to a sequence of ints eventually? :P
 
user3010322
@R.MartinhoFernandes Uhm. Visually representable glyph, I guess.
 
user3010322
=[
 
user3010322
11:49 PM
I guess for programming I'll just make it so everything in a literal is a codepoint, and you can string lots of codepoints together, normalized or not.
 
user3010322
You can optionally add an encoding string to the start of it. So u8"Woof!" or u16"Woof!" or u32"Woof!" or la1"Woof!" or w/e.
 
user3010322
I could also just make everything UTF8 and tell everyone to fuck off.
 
in Rapptzlang, Hello World! is: print({72, 101, 108, 108, 111, 32, 87, 111, 114, 108, 100, 33}).
fun for the entire family
 
@ThePhD I don't see how this is a problem for anything.
 
11:51 PM
I should sleep
 
user3010322
@R.MartinhoFernandes I was just trying to think the best way to have a "char" datatype in a program, I suppose.
 
@Rapptz see brainfuck ;0
 
user3010322
I guess codepoint == char is the best I can do for myself.
 
@R.MartinhoFernandes Is that whats responsible for those unicode characters that get rendered over multiple "lines" even though its one line of text... I have a hard time explaining it. Its like they chained so many "modifiers" just keeps on going.
 
@Rapptz null terminated string, lol
 
11:52 PM
I tried googling an image of what im thinking of but i couldnt find it :(
 
I don't know why you thought involving rendering in it was a good idea.
 
@Jefffrey ?
there's no null terminator
 
@Borgleader Yeah, those things abuse that.
 
user3010322
Counted strings, yo!
 
@R.MartinhoFernandes Is there a name for that?
 
11:53 PM
@Rapptz oh, it's the !, nvm
 
@Borgleader zalgo ?
 
protip: null terminator is 0
5
 
lol, makes sense
 
yay
now you can use cpp.literal to create a TU representing short C++ snippets
 
@BartoszKP The website does what I'm referring to. I'm wondering if there's a name for what it does
 
11:54 PM
now I don't need two files for every fuckin' test
 
@Borgleader abusing? : D
 
@Borgleader It's just a long sequence of combining characters.
 
@Borgleader Also, it's not just a name of a website AFAIK see here
it just uses the name "zalgo text" for this "thing" that's being done ;0
 
@R.MartinhoFernandes T̖̥̗h͇͎͇̦͍̭̟͟ą̳̮̞̘n̩̭̝̥̞k̵̟̺̭̮͎̜s̢̤̯͎ /cc @BartoszKP
 
@BartoszKP Zalgo is a meme that started in Something Awful.
 
11:58 PM
:DDD
 
@BartoszKP Ugh, the accepted answer
 

« first day (1229 days earlier)      last day (3736 days later) »