« first day (2281 days earlier)      last day (2661 days later) » 

3:05 PM
Is there a C chatroom?
 
Ven
@BartekBanachewicz well yeah
no way around it to go and query a website
 
@eleanora yep, mostly empty
@Ven hard to tell what's fucking you over without tracing I'm afraid
 
Ven
:/
not sure what tools I should be using...
 
ghci?
looks like a small enough program to trace by hand
 
Ven
3:08 PM
can you step-in in ghci?
 
Ven
because otherwise it won't help - the IO does both printing and networking
@BartekBanachewicz sorry I'm a haskell noob :p
 
yeah ghci trace is pretty nice but you have to keep in mind that haskell doesn't call functions
 
Ven
that I know
 
you should be fine then
 
Ven
3:09 PM
I just want to see some "print" or "put" somewhere.
(no, not the state put)
 
I'm also wondering if you can replace the IO with your own IO
that would... ugh, log the prints ;)
 
Ven
well, I can probably bracket stdout
but it seems to be the wrong solution :P
 
3:25 PM
@BartekBanachewicz Ah that's a shame. Maybe I can ask about the complex type here?
 
@eleanora the complex type? The complex number type?
 
yes
 
well what about it
 
it seems complex matrix[n][n]; is valid code. But I am also told you have to specify float complex, double complex or long double complex
so what is the type of complex matrix[n][n] ?
 
@eleanora int-default?
actually no
apparently it's only float, double and long double according to the docs
 
3:28 PM
ok but complex matrix[n][n]; is valid code
 
@eleanora where did you read that complex m[][]; is valid code?
@eleanora source?
 
it compiles and runs happily
with no warnings
 
@eleanora that doesn't mean it's valid
 
@eleanora Under GCC; not under Clang.
I'd file a bug against GCC for this if I cared about C at all.
 
@Griwes Very interesting! Thanks for testing it under clang
 
3:33 PM
@Griwes aha
yeah fuck C
terrible macros is just one reason
 
is there somewhere to test different gcc versions online?
 
isn't that C++
 
@eleanora pure C compilers are p much dead for modern platforms nowadays
 
@BartekBanachewicz Oh! I had no idea. It seems -x c is the answer for godbolt
 
3:45 PM
I mean sure they might use some different components
 
gcc is a c++ compiler truncated when called gcc and full c++ when called g++
 
not sure what parser it uses though
C can be parsed in a much simpler way than C++
 
Ven
@BartekBanachewicz ugh
the debugger is very very :|
oh well. Now I know it's getGETRequest_, AKA getGETRequest_; that's doing it
 
@Ven good job
 
Ven
I don't see how it's doing that. At all.
reportEvent ResponseFinish (show (rqURI req))
 
3:58 PM
hopefully someone will report the gcc bug :)
 
Ven
@BartekBanachewicz ty! fixed it.
@BartekBanachewicz silenceReq = (setOutHandler (const $ return ()) *>)
 
Ven
you have to manually tell it to STFU.
 
4:14 PM
dumb
 
Ven
:(
I switched it to (setOutHandler discord *>)
yay for Control.Monad.Extra
 
nwp
yay for sending garbage to discord
 
Ven
@nwp ?
what did I do?
 
@Ven discord *>
 
4:18 PM
evil
 
damn I really wish it was spring already
like
 
Ven
oh. :D
I meant discard.
 
snowboarding is cool but it's not bike riding cool
 
Ven
My code looks neat. I like it.
 
the speeds just aren't there on the hills around
and mountains are too far
so eh
 
Ell
4:21 PM
I prefer skiing to snowboarding
I've only snowboarded once though
I kept falling over :V
 
@BartekBanachewicz Ride your bike down hill.
 
@EtiennedeMartel Downhill mountain biking is awesome. Ride a ski lift (or gondola) up the mountain, then ride down. Utterly impractical, practically guaranteed to cause at least a few injuries, and so damn fun you're grinning even as you mop blood off your face. :-)
 
ergh... stupid vpn that has to be initiated via firefox
 
@Ell Even really good snowboarders fall a lot more than even a mediocre skier.
 
@JerryCoffin because they are cooler :P
 
4:38 PM
@thecoshman Part of it is more a social thing. Skiers mostly ski, and when they're done skiing, they go to the lodge and sit around and talk. Snowboards pretty routinely sit around on the mountain and talk, text, etc. Pretty routine to find a whole group of them just sitting in the snow ~100 meters down from a lift.
 
@JerryCoffin I've heard the same about skiers :P
 
@thecoshman I've never seen it nearly as much with skiers. Skiers sitting around on the snow usually means either one of them is (at least mildly) hurt, or else they're sharing a joint.
 
Xeo
That text is bullshit vOv
You can always change your pledge before the final 24h
and after the 24h you can too, as long as you don't cause the project to go under the goal
So basically, that never happened
 
@Xeo ...much as we might wish it had.
 
Xeo
4:53 PM
meh
the Dies KS was being trolled hard
anyways, who needs facts if you can get retweets and people all up in their "justice", lol.
 
@Xeo unless he did pledge that final amount that push it just over the goal :P
 
Xeo
4 mins ago, by Xeo
You can always change your pledge before the final 24h
 
> as long as you don't cause the project to go under the goal
 
Xeo
that's when you're in the final 24h
 
which I have no idea if it is or not vOv
 
Xeo
4:56 PM
read the text again
it claims to have been before the final 24h
 
oh
didn't pay too much attetion
ergh... for some reason the ssh connection to this server doesn't always fully scroll, so I just waited ages to find out that it didn't even start downloading that file because of permissions ¬_¬
 
5:10 PM
@Ell different things really
Skiing is way more about the speed and turning and technique, while snowboards are about getting over the top. You can "drift" way more on a snowboard especially at lower speeds.
I rode both for a couple of years and on shitty hills like around here, skis just don't get fast enough to be able to put them sideways
But I'd really give snowboard at least a couple days before you choose one over the other, falling down is hardly fun and hardly representative of the experience imho
 
Xeo
snowboarding ♥
 
Hello
 
6:28 PM
@fredoverflow ...as long as your "anything" fits within the confines of the JVM, anyway.
 
I wouldn't be surprised if Scala let you escape the JVM confines with some implicit higher-order path-dependent type macros or whatever ;)
 
Ell
7:07 PM
this guy has a very sinister voice youtube.com/watch?v=-T1LoHTZDvs
 
Ven
@fredoverflow well, they have to, yeah..
 
7:40 PM
> Your last message is too far back; please use the transcript instead
yesssss
wow that's a long argument about c interfaces
 
 
2 hours later…
9:25 PM
?tag loungedead
 
Ell
:3
 
user1804599
@fredoverflow Scala is like C++: the compatibility with its predecessor is what infects everything with terribleness.
 
:3
lol
 
@rightfold Scala has a predecessor? You mean Pizza or Funnel?
 
user1804599
Java
 
user1804599
9:32 PM
Like C++ has C
 
user1804599
If Scala–Java interop were worse then Scala could be better
 
user1804599
I.e. design Scala without even thinking about Java or the JVM
 
But then you couldn't use Java libraries?
 
user1804599
FFI
 
user1804599
9:34 PM
Like Frege.
 
user1804599
Or PureScript.
 
Ell
@rightfold is there a name for the type which contains all values?
or is that not a thing?
 
user1804599
It's a thing in untyped languages.
 
user1804599
They have a single type that contains every term.
 
user1804599
I don't think it has a standard name.
 
user1804599
9:38 PM
Every term is of the top type.
 
@Ell java.lang.Object ;=)
 
user1804599
@fredoverflow integers arent
 
Object x = 42;   // compiles
 
user1804599
There's an implicit conversion
 
user1804599
42 isn't of type Object
 
9:40 PM
@rightfold And those don't exist in your universe?
 
user1804599
Integer.whatever(42) is of type Object
 
valueOf, probably
 
user1804599
It's of type Integer, which is a subtype of Object, therefore it's of type Object by subsumption
 
user1804599
Unlike e.g. OCaml where upcasts are explicit.
 
boolean lol = 42 instanceof Object;   // What do you think, does this compile? :)
 
user1804599
9:42 PM
Probably
 
nope
 
user1804599
instanceof is not parametric and is therefore terrible
 
user1804599
It's like side effects and exceptions: avoid at all cost
 
Ell
@rightfold not all not-parametric things are bad!
what about cons for vectors? :D
 
user1804599
They are
 
user1804599
9:43 PM
The type tells you insufficiently much about what it does
 
I have designed a language where side effects and exceptions are two sides of the same coin, namely side effxceptions.
 
user1804599
@fredoverflow in PureScript you must explicitly allow exceptions to be thrown from an I/O action by saying so in the type
 
Do you have to specify which exception?
 
Ell
ah wait my thinking is incorrect
@rightfold what happens when you run out of memory?
 
user1804599
@fredoverflow No, there's only one exception type, Error.
 
9:45 PM
@Ell Doesn't have to be an exception, simply terminate everything immediately?
 
user1804599
@Ell No such behavior defined; browser will just crash the tab
 
user1804599
AFAIK ECMAScript doesn't mention OOM
 
user1804599
Not sure what node does
 
user1804599
You can get stack overflow exceptions but they can't be caught anyway
 
user1804599
And other than that there are no runtime errors in PureScript.
 
user1804599
9:47 PM
The only way to get a runtime error in PS is through stack overflow or through the FFI.
 
user1804599
Pattern matches must be exhaustive or else you need to call unsafePartial which is unsafe
 
user1804599
@fredoverflow You'd typically use Either or ExceptT though, where you have to specify the error type
 
user1804599
Which is nice; unchecked exceptions a2m donkey cock
 
user1804599
The reason people dislike checked exceptions is because they have only used mediocre checked exception implementations, i.e. without usable polymorphism.
 
10:10 PM
@rightfold What's your new job?
 
nwp
10:35 PM
Qt Creator 4.2 is out exactly one month now and debian didn't package it. I thought debian was supposed to be good at this.
 
it's not
 
nwp
experimental doesn't have it either
 
Hello all
 
11:06 PM
@Borgleader
"is it because a coding error?" Yes. Question answered. Move on. — spender 6 hours ago
 
nwp
:35099826 it is even easier, you just install it from the website, but I kinda wanted to stop giving random executables from the internet admin/root access to my system
 
@nwp Imagine the horror that the Windows people feel every day. They use CD's they use USB-sticks. They even use the pirate-bay. QT-Creator should be safe though.
@rightfold I googled the abbreviation but couldn't find it. Is a2m like b2b?
 
Don't google it at work
 

« first day (2281 days earlier)      last day (2661 days later) »