« first day (1693 days earlier)      last day (3270 days later) » 

8:00 AM
they should switch to GIT
 
@FlorianMargaine I've read about it. It looks pretty... dangerous.
 
I'd like to see it used in a big project... I'm just not sure it can scale out
 
user1804599
@khajvah And also to JAVA and ECLIPSE.
 
Same here.
 
8:00 AM
meh
I still think this is pointless
 
@rightfold eclipse <3
 
@BartekBanachewicz What do you think about R, btw
 
Java + Eclipse + LOTS OF DESIGN PATTERNS = <3
 
I mean, for a single branch or single maintainer it sure can work and is nice, because very simple
but for more people working collaboratively on it...
inb4 "missing patch, who got it?"
 
@Griwes But as for the build itself, if you do install it will indeed download, build, install all deps and then build your thing. Alternatively install --dependencies-only.
 
8:01 AM
@BartekBanachewicz I have two or three projects I'm working on, one of them depends on another. I have a functionality I need for the first one, and it belongs in the second one. I implement it, git commit, git push, and I don't necessary want to reinstall everything manually - just automate that.
 
@Griwes you'd love npm ;-)
 
@Griwes but you'd need to up the hash in the depending project, no?
 
@BartekBanachewicz not necessarily if you just put the branch
 
-- with cabal
echo "mychange" >> code.hs
cabal install
cd ../otherproject
cabal install
 
Is it possible to do java without an IDE?
 
8:04 AM
I don't think builds should base on version control, again
 
# with npm
cd lib; # make changes in code
cd /my/project/using/lib;
npm link
# use "require('lib') and it works!
 
Well to "run" otherproject it would also try to build
so if you have a local dev install it just works
I still believe builds should operate on releases, not commit hashes
 
@BartekBanachewicz Either that or point to a branch, but that's still easier than installing it.
 
ALSO WTF IS WITH GOOGLE FONT
 
Especially since I need most of my libs installed twice :D
 
8:06 AM
WHAT HAPPENED
 
@Griwes not necessarily if installing means apt-get install lib
 
Xeo
@BartekBanachewicz I tried a variety of them. Didn't like 'em.
 
(One for clang+libc++ and another for g++ and libstdc++.)
 
@Xeo you just haven't found the one :P
 
@FlorianMargaine Please reread my description of the situation.
 
Xeo
8:07 AM
@BartekBanachewicz And I don't particularly care, tbh
 
@Griwes with cabal you p much always work in a sandbox
@Xeo Then don't say the beer isn't tasty :P
 
Xeo
The fuck is with people always trying to vehemently defend beer's taste whenever I say I find it yucky?
 
@BartekBanachewicz Sure. Still, my point is - I'd want most of the stuff with dependencies and stuff kept in a single place per project.
 
Xeo
It's always the same.
 
Also this way it gets trivial to replicate the environment across different machines.
 
8:08 AM
@Griwes ah, so you want stuff like python's virtualenv
 
Xeo
Like some kinda fanaticism
 
@Griwes .cabal/.cabal-sandbox
 
@Xeo poor you
 
@FlorianMargaine Yes and no.
@BartekBanachewicz Then again, auto building a package from git hash? :P
 
GEB looks interesting.
 
user1804599
8:11 AM
XD
 
Ell
@Xeo because there are so many beers
 
user1804599
I just found a bug report I wrote.
 
Ell
and people that don't like some beers like others
 
user1804599
And the first part of the title is in Dutch and the second part is in English. XD
 
Ell
so when you don't say you like any beer at all, they think you can't possibly have tried them all
 
user1804599
8:12 AM
> Voorvoegsel ordernummer inserten als NULL instead of empty string
 
user1804599
I didn't even notice when I wrote it.
 
I wish they released this
looks like a beast
 
first thought: "asserts with an ugly syntax"
 
Ven
@MarcoA. get dependent types instead :>
 
perhaps the other thoughts will get better
 
Ven
8:18 AM
@MarcoA. that seems pretty awful
 
@Ven yep, except for the concept itself, I really dislike that [[]] syntax
kinda reminds me of.. obj-C ?
 
user1804599
learn Go.
 
user1804599
@MarcoA. assertions don't work well with concepts and inheritance.
 
user1804599
Contracts would.
 
Ven
@MarcoA. well, I think contracts + overloading is a pretty bad idea
 
8:20 AM
that makes sense. Still ugly though
 
user1804599
@MarcoA. it's attribute syntax introduced in C++11.
 
user1804599
Spec# is so-far my favourite implementation of DBC.
 
uh, never used them
I always used the platform-dependent form
 
Ven
:[
 
user1804599
I use [[noreturn]] on occasion.
 
user1804599
 
[[might_crash_occasionally]] -> the compiler is aware you wrote crap code and will attempt to fix it
 
user1804599
void Inc(int y)
ensures old(x) < x;
{
    x += y;
}
 
user1804599
This is very nice.
 
I agree
this is way better
 
user1804599
Being able to specify contracts in code instead of in non-executed documentation is good.
 
8:24 AM
(on a syntax POV)
it's also readable
 
user1804599
 
user1804599
This is my favourite picture of >>=.
 
> We need to use >>= to shove our wrapped value into the function
 
@thecoshman What do you mean "generally believed"? Those are actual things Cameron said, and more or less the way things work. Yes, people in Germany generally believe in reality.
 
{{{needs more curly braces}}}
 
8:35 AM
> There are just two kinds of languages: the ones everybody complains about and the ones nobody uses - Bjarne Stroustrup
OZ/Mozart is a great programming language, it's so consistent
 
@MarcoA. haskell too
 
Haskell suffers from not having first-class typeclasses.
inb4 first-classness flame war
 
oh there is a user(i.e. complainer)
 
Silly you, I don't use Haskell.
:P
 
8:39 AM
@Griwes it's just a dev feature vOv
 
"just"
 
@Griwes erm?
 
@BartekBanachewicz Haskell typeclasses are not first-class citizens.
 
@Griwes dev can inherently be more... raw imho
@Griwes you mean they are compiler magic instead of something implemented via language primitives or what?
 
@BartekBanachewicz They are not values.
 
8:41 AM
hello
 
The biggest problem IMO is when something can implement a type class in two ways.
(Like integers, Monoid and the requirement to newtype your type to have additive and multiplicative monoid instances, for example.)
 
@Griwes Idris has both named and unnamed instances
@Griwes yeah I got that
 
@BartekBanachewicz I'll have to look at it one of these days.
 
Scala solves that by passing the proof of instance with calls
but that's annoying
 
I should make a value_ptr or something
 
8:43 AM
I agree newtype wrapping is a meh solution
 
Yeah. I'm trying to invent a solution that'd make sense, for Vapor.
But I can't say I'm close to that. :D
 
Who wants to bikeshed with me
 
@Griwes don't worry 50 years of studying PLT should get you there
 
:D
 
It's been a while since I've done it and I'm rusty
 
8:44 AM
morning
 
after all Haskell based on just like 30-40 years of research, and Idris based on Haskell
 
That number keeps getting bigger.
 
lol
@R.MartinhoFernandes ?
 
@BartekBanachewicz I'm trying to take the shortcut. I want to see what comes out of it :P
 
8:45 AM
From the title I thought it meant to support being run in a CI server somehow (it already supports that with JUnit reports).
But... no.
 
@Griwes oh so cinching/thephding/crowing?
 
@BartekBanachewicz so if I make a language based on Idris, it should be even better?
 
@BartekBanachewicz No, Griwesing.
 
@FlorianMargaine assuming you thoroughly understand every single aspect of Idris and then improve a tiny bit, I guess yeah.
 
@R.MartinhoFernandes I read the issue earlier today. I think he's just trying to be helpful.
 
8:46 AM
I am onto this for a looong time, not exactly doing research, but still moving forward.
 
@Griwes There are no shortcuts in knowledge.
 
@Rapptz I know.
 
vOv
 
@Griwes You're tracing steps of thousands of others from years ago.
just pointing that out.
 
level 4 warning in VS sucks though
 
8:47 AM
@R.MartinhoFernandes The guy's like your #1 user or something
 
just like -Wall -Weverything sucks in clang
 
n shouldn't be size_t.
 
it might get easier if you stop looking at your feet.
 
@BartekBanachewicz Maybe, maybe not. Time will tell.
 
auto n = last - first;
 
8:47 AM
@Griwes sigh, every young scientist thinks that
some are even right, which doesn't help
 
@BartekBanachewicz because idris creators thoroughly know every single bit of haskell?
 
@FlorianMargaine I am pretty sure Edwin knows a lot about Haskell
but then again, he aimed at improving just some parts of it
Not making a "new, perfect language" like what @Griwes is trying to do
 
@BartekBanachewicz I'm not trying to make a "perfect" language.
 
I know! I'll make my own lisp with blackjack and hookers.
 
@R.MartinhoFernandes what line is that
 
8:49 AM
No? I was under impression you were.
 
I'm trying to make a language suitable for my needs.
 
@Griwes a GSL
 
@BartekBanachewicz :D
 
Oh, I get it.
Sigh.
Seriously, fuck you VS.
I don't care. Just fuck it.
I'm not butchering my interface to because of a fucking warning.
 
8:50 AM
Shouldn't that be std::iterator_traits<decltype(first)>::difference_type?
 
That's usually std::ptrdiff_t no?
 
But then it gets passed into outlier_variance(estimate<double> mean, estimate<double> stddev, int n)
 
TEMPLATE ALL THE INTEGER ARGUMENTS
 
@R.MartinhoFernandes I mean, is that generalisation one that (as a generalisation) German's believe? That England is only wanting to sponge off EU
 
8:51 AM
And just fuck it. This is the noisiest fucking warning.
And it's fucking acceptable.
Which means that fuck the stdlib.
 
didn't ThePhD do a PR about this?
 
Yes, and it also did unacceptable things, like fucking up my interface.
I'm not fucking up my interface for this annoying warning, and that's final.
 
gotta ask though
how?
 
I'll just add more casts.
 
@BartekBanachewicz yes?
 
8:53 AM
@Rapptz outlier_variance(estimate<double> mean, estimate<double> stddev, ptrdiff_t n)
Or some variation of that.
Never gonna happen.
 
yeah I get that but why is that bad?
 
Because it's an int.
 
@Mr.kbok lel, I was thinking about coding at this time
 
It's last - first that is wrong.
 
not sure I really get it
ptrdiff_t is just a signed integer so I don't see the difference
 
8:54 AM
This is like the old days where you just couldn't use integer types and had to typedef everything.
Turns out, these are still the same days.
@Rapptz It's larger in some platforms.
 
oh so it's a size issue
8
So like I wanna make a copy_ptr thing that also has a Copier in addition to a Deleter similar to std::unique_ptr.
Bad idea? Good idea? Meh idea?
 
@thecoshman Well, that kinda is how things work. Extrawurst all over.
 
I think I 'll learn Clojure
 
I'm totally adopting Extrawurst as a meme.
 

« first day (1693 days earlier)      last day (3270 days later) »