« first day (1646 days earlier)      last day (3299 days later) » 

2:10 PM
That was just quick "for fun" verification. And actually verification code was aimed to comparison-based sorting algorithms. While full verification for digit-based sortings would lead to much more test sequences.
Anyway, I think such kind of widely used and rather complex algorithms require extensive testing and verification. This reminds me a [http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/](bug) in TimSort (which was used at Python and Java) discovered by formal verification tool.
 
all of my bugs were caused by an initializationCunt
 
* Bug in TimSort.
 
I just installed IntelliJ IDEA Community Edition, and the first impression is really nice!
 
@fredoverflow They recently released IDE for C++.
 
cool
 
2:16 PM
I haven't tried, but I hope it will be a decent tool.
 
I care about the size of shared_ptr since I was deciding whether or not to put it in a cache friendly struct based on how big it is
 
user1804599
shit
 
user1804599
I implemented parallel grep but it opens too many files at once.
 
@fredoverflow Indeed, of all the Java IDEs I've tried over the years, its clearly ahead of the others
 
@Borgleader That... is not saying much.
 
2:22 PM
"IntelliJā„¢! It's better than Eclipse!"
 
@fredoverflow I used it a bit for a project, probably one of the nicest IDE for java
WAY better than eclipse
 
eclipse is too slow :3
 
and you haven't seen the source code yet..
 
"It's better than Eclipse" isn't saying much.
 
Both were sluggish and buggy for me.
 
2:23 PM
Eclipse use OOP patterns even when they're not needed
 
user1804599
I need a cookie pool to limit the amount of open files.
 
I like NetBeans
 
I'm being cynical here but I can't imagine working on a large program with CLion and have it not be a slow bloated mess
 
@EvgenyPanasyuk I've installed it, but you apparently also need a cwgwin something to use it... haven't done that part yet. IDE doesn't look bad for a first impression...
 
@Meraj99 MSYS2 is enough
 
2:25 PM
@milleniumbug Ah, thanks, I'll check it out
 
@Prismatic You make it sound like there's another C++ IDE out there that is not a slow bloated mess.
 
Visual Studio
 
QtCreator
 
It is pretty responsive.
 
VS is the most slow and bloated IDE in existence.
and QtCreator isn't slow and bloated because it has no features at all.
 
2:25 PM
@Puppy but it has achievements!
 
(except when it's doing these foreground "background jobs")
 
Can you live without them?
 
@Puppy Which features does it not have
 
@Puppy You mean after Eclipse.
 
when I tried QtCreator it wouldn't even break on a breakpoint.
 
2:26 PM
@Puppy That's not a lack of a feature, that's clearly a bug
 
@milleniumbug My experience of Eclipse was not as slow as my experience with VS.
 
sometimes QtCreator's debugger feels a LOT unresponsive.. but it's the GDB price to pay with that IDE. Not aware of a better alternative
 
@Prismatic You make it sound like there's a significant difference there.
 
@Puppy Interesting, it felt the opposite for me.
 
@Puppy I don't discount a feature for an application because one version of it has a bug.
 
2:28 PM
either I can use the feature, or I can't.
the reason why is not my problem.
 
damn me, I should commit more often
 
besides
 
there's a difference between "The feature has a bug" and "The feature did not work in the simplest possible test".
 
> Visual Studio doesn't support the 'this' keyword!
 
2:30 PM
VS has refused to break on my breakpoints more than once but it doesn't fail on "Hello, World" like QtCreator did.
 
@Puppy No there isn't. A bug is a bug. For all you know a simple typo in the source is causing it to fail on a breakpoint
 
how could a typo in my source code that compiles and runs cause it to fail to break?
 
@Puppy I meant in QtCreator's source
 
oh
 
I agree that it seems like a pretty nasty mistake to overlook though
 
2:31 PM
well I don't give a shit about QtCreator's source, that's their problem.
 
It renders the entire thing useless for debugging
But saying the feature doesn't exist because one particular version doesn't work for you is disingenuous
 
it's not disingenous, it's completely accurate.
as far as I could tell there was no feature.
I don't give devs free passes because their code works for someone else.
 
What did you think the breakpoints were there for? Decoration?
 
which I doubt that it did considering that it was literally the simplest possible case.
don't know don't care.
 
If you get into a car and turn the key, but the engine doesn't start does that mean the car doesn't have an engine?
 
2:34 PM
 
@Prismatic As far as me getting to work is concerned, those two situations are basically equivalent.
well it's not strictly a valid comparison since your engine is your responsibility and QtCreator is the dev's responsibility.
 
Maybe when the car was shipped to you someone disconnected the battery by accident
 
you say that as if I care whether or not that happened
which I don't
I'm not gonna spend my time checking the engine that somebody else is responsible for when I could simply drive another car where the person responsible for them at least checked that it turned on.
 
Alright. I just don't agree that a mistake that renders a feature useless for one person equates to the statement that the feature doesn't exist.
 
I don't care whether the feature exists for other people
 
2:43 PM
@Puppy you're a tough guy
 
how so
 
because you write tough stuff, that's obvious
 
what tough stuff
 
@Borgleader Does it make a difference whether I put .idea/ or /.idea/ in the .gitignore file?
 
user1804599
2:49 PM
The latter matches only in the same directory as the gitignore.
 
user1804599
The former is recursive.
 
I have no idea (no pun intended) if there can be several .idea directories in a project...?
 
> Delivery fee:
Total < 30 TAXI
Total ā‰„ 30 Free
wtf does taxi mean
 
user1804599
Put .idea in a global gitignore.
 
do they send a guy with the food to take a cab
 
user1804599
2:50 PM
Nobody cares what editor you use..
 
@rightfold .idea or .idea/?
 
user1804599
.idea/.
 
fred@fred ~/IdeaProjects/BeanThere $ cat ../.gitignore
.idea/
out/
*.iml

fred@fred ~/IdeaProjects/BeanThere $ LANG=C git status
On branch master

Initial commit

Untracked files:
  (use "git add <file>..." to include in what will be committed)

    .idea/
    BeanThere.iml
    out/
    src/

nothing added to commit but untracked files present (use "git add" to track)
Doesn't seem to work :(
 
The gitignore has to be at the repositoy root.
 
Ven
(git add --rm --cached, @fredoverflow)
also, yeah, the gitignore has to be at the git root OR to be global
 
3:01 PM
fred@fred ~/IdeaProjects/BeanThere $ git add --rm --cached
error: unknown option `rm'
@Ven Oh, okay. In that case, I'll make it global.
 
Ven
it wasn't --rm? duh
Oh, I'm dumb. it's git rm --cached
 
why use command line?
 
Because I have no idea how to do the shit in IDEA.
 
Ven
mmh, it should auto-detect git.
 
@AlexM. It means you will be charged the price of a taxi car.
 
3:09 PM
I gotta order >30 then, I don't wanna pay 15k eur
 
^ Lifehack.
 
@fredoverflow Do you use Windows?
 
slobber slobber
 
user1804599
 
user1804599
Only 60 lines of code!
 
Morning Bartek
 
Morning LRiO
 
@LightningRacisinObrit so here's some saliva on your face to make up for it?
 
3:21 PM
horse is an asshole
 
user1804599
@StackedCrooked slobber slobber
 
Nothing about the poor sod who sold it for £10 at a car boot sale
We only care about the people who can get rich
 
I had interaction with a horse today. My job was to walk him while gf did stuff.
4
typo?
Tried to teach him that he must stop when I stop.
prolly derped engrish on that one but can't spot it :)
 
no typos dedected
 
3:29 PM
fun main(args: Array<String>) {
    println("Yay, Kotlin plugin also works!")
}
 
user1804599
woo
 
@JohanLarsson I use Linux Mint at home, which is basically "Linux for Dummies".
 
Learn Linux in 24 Hours
 
@JohanLarsson It sounds kinda funny that you refer to a horse as "him".
 
@fredoverflow Still pretty hipster
 
3:31 PM
@LightningRacisinObrit Why the fuck are you reading the DM?
I thought better of you.
 
I didn't
 
@fredoverflow yea 'he' is in fact an ex-he.
 
user1804599
Might open-source the company bot one day.
 
@JohanLarsson No, it's simply out-of-context starring. Totally childish Lounge humor (I starred, too)
 
ok np :)
is interaction where I dumbed it?
 
user1804599
3:34 PM
if you have a perverted mind it makes you think of zoophilia
 
argh merchants who send invoices with subject line "Copy of your <X> invoice (....)"
I read the "Copy of "as that it's not the actual file, or it's an orphaned file, or something
Cos I've been [mis?]trained by Windows Explorer
 
sounds like you
 
user1804599
:D
 
user1804599
@fredoverflow Should've been fn or func.
 
user1804599
The function name aligning with the body is confusing and ugly.
 
3:36 PM
I think it's kinda nice
also lol needing a function keyword.
 
user1804599
Keywords for top-level declarations are good.
 
@JohanLarsson it's just that it could be (mis)interpreted in a slightly sexual/zoophile way, and slight potential for misinterpretation is more than enough to get four out-of-context stars here. Just don't take it personal - we're dumb, not you
 
user1804599
They make stuff easier to read and simpler to parse.
 
they're redundant mostly
 
@AndyProwl I'm old, that is what happens after dumb :)
 
user1804599
3:38 PM
Get rid of comments too.
 
user1804599
They're redundant.
 
permadumb
 
user1804599
The program is perfectly parseable without them.
 
@JohanLarsson I know. I'm old too, which partly explains why I'm dumb.
Actually no it doesn't, I was always dumb
 
user1804599
And newlines, too. A single space is enough for separating tokens that would otherwise form a single token.
 
3:39 PM
Maybe one day I'll stop growing older and start growing up
 
user1804599
Not to mention a keyword for classes.
 
user1804599
foo { } is a class and foo() { } is a function.
 
user1804599
Such a keyword would be totally horrifically redundant.
 
user1804599
Also, the opening brace can be removed since it's really unnecessary.
 
have any of you used Kate as a text editor? its pretty nifty
 
user1804599
3:41 PM
It's not Vim.
 
Yes you are correct, its not software for dinosaurs
/runsaway
 
user1804599
Are you referring to @TemplateRex?
 
I thought they used Emacs?
 
@Puppy Having a function keyword (and a variable keyword) makes parsing a lot simpler for both machines and humans.
 
only if you have an inferior grammar :p
 
user1804599
3:49 PM
Nok has the best grammar.
 
user1804599
Speaking of which, I should implement varargs.
 
user1804599
Which could, of course, appear anywhere in the parameter list.
 
already on Nok? what happened to Mill?
 
user1804599
Still working on that as well.
 
@Puppy That's so one minute ago.
 
user1804599
3:53 PM
But I wanted to experiment with something else.
 
@rightfold how many languages do you have now?
 
Every minute a new language.
 
user1804599
Two.
 
gear styx mill?
 
hexapoda and zoidlang
 
user1804599
3:54 PM
hexapoda is a bug tracker
 
user1804599
:v
 
s/tracker/generator/
 
hm
maybe I'll order pizza today
 
Any of you have recommendations for file recovery on linux?
 
no.
 
4:02 PM
mm this looks so good
 
@Prismatic tar
As in, restore from backup
 
@CatPlusPlus I don't have a backup of the thing I want to restore. I just accidentally deleted some stuff... what I want back isn't critical, it'll just save me some time if I can get it back quickly
Seems like it isn't worth the trouble though... I need a live distro and have to unmount my main partition.
 
ARGHARGHARGHAREGH DONT BOOT YOUR BEST TEAMMATE WITH 3x ANYONE ELSES SCORE FOR ACCIDENTALLY RUNNING YOU OVER YOU FUCKING BINT
THAT IS NOT WHAT THE BOOTING OPTION IS FOR
arseholes
 
@LightningRacisinObrit wtf
 
halo
bootings are getting really popular lately
meanwhile someone can go running around beating up his own team mates to juuuuuuuust near death and not get punished for it
 
4:08 PM
I should get back to work on my game now that I've slowed down with CS a bit
 
I was kicking utter arse in that game for my team
it really annoys me
 
@AlexM. is it as cool as GTA V?
 
even cooler
 
hmmm
 
then it must be written in Oz
 
4:09 PM
apparently, Wizards are randomly proficient with heavy crossbows.
 
definitely
 
I don't know why but they are.
 
ITT Wizards and Oz
things that go hand-in-hand
 
yesterday my GM gave me a belt-fed machine-loaded crossbow.
which was kind of him
 
@MarcoA. no it's written in cups
 
4:10 PM
real wizards program with Oz
 
ba dum
 
in Python, 2 days ago, by Robert Grant
I'm self-taught, after 3 years of playing counterstrike at university
 
only if I sign in to microsoft's stuff
but I'll just assume that you rekt all
> Let this app access your info?
halowaypoint.com
wtf is this site trying to do
 
doesn't say what 'info'
MS doesn't really care enough to whittle it down
it reads stats from your games
 
4:16 PM
it does say below something about my xbox live profile
w/e I clicked yes, any microsoft rape is good rape
 
oh man
2 days and you got the wrong character
close enough
 
what?
damn
 
oops, I saw she has white hair now... hehe
Wait, it must not be her. Look: royal-heroine.jp/kate
 
why are you so interested in this anyway
is lucas cicada
 
LoL
I want to watch this anime, that's only why I asked.
 
go ahead
if it's your first make sure you don't start believing that all anime are like it
and never watch another again
 
No, it's not my first one. It's too weird?
 
4:26 PM
Meanwhile in Belgium two drunk woodchoppers used their chainsaws in a bar fight. One customer lost 3 fingers.
 
@LucasHenrique depends on who's watching
nah it's ok
 
@StackedCrooked cool
@AlexM. maybe you should watch Euphoria: Another room. Yeah, that's really creepy and weird.
 
not the same kind of weird
 
Well, I'll take a look. Now let me get this fuc*ing printer to work ¬¬
 
you can say "fucking", your mother is not watching
(I hope)
 
user1804599
4:31 PM
Shared mutexes are great.
 
@AlexM. Also it was an awkward position of the *.
F**king would be a lot better.
 
Hello Alex M.. I'm Lucas' mother. You better say sorry.
JK. Let's say fuck :D
 
@Nooble a few days ago I was wondering
what if everyone in the world knew how to regex just like they know how to speak languages
I mean I thought of this because
there was this ad somewhere which listed some services
around ~4 of them which were in the same category and the only ones, and ended with the same suffix
they could have saved space by doing something like .*suffix
and people would read it faster
 
Lol.
We can dream.
 
Uh that's not what regex is for
Also no
 
4:41 PM
@LightningRacisinObrit I've just spent all day trying to learn C++ but it's all a bit new and I appreciate the help — James Willson 4 mins ago
I'm hungry
 
@CatPlusPlus then you call it something else
real life pattern matching for people
 
Matching is the keyword
 
unmatching then :A
I think unmatching works
because you fill in the gaps
 
What you want to do makes little sense and doesn't improve anything
 
w/e
 
4:46 PM
Why does CLion keep saying 'MinGW not found'..? I've tried like 10 installers (literally) already.
What am I supposed to put as the path?
 
Probably because MinGW was not found
 
why was it not found?
 
Maybe it was the little gnomes
 
Oh, nvm, I just figured it out, and I probably look stupid now.
that happens a lot to me ^
 
you looked stupid before ^^
 
4:49 PM
:D mwahahaha, time to rek this ide now
 

« first day (1646 days earlier)      last day (3299 days later) »