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

15:05
Is there a C chatroom?
Ven
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
Ven
:/
not sure what tools I should be using...
ghci?
looks like a small enough program to trace by hand
Ven
Ven
15:08
can you step-in in ghci?
Ven
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
Ven
that I know
you should be fine then
Ven
Ven
15:09
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
Ven
well, I can probably bracket stdout
but it seems to be the wrong solution :P
15:25
@BartekBanachewicz Ah that's a shame. Maybe I can ask about the complex type here?
@eleanora the complex type? The complex number type?
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
15:28
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
15:33
@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
15:45
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
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
Ven
I don't see how it's doing that. At all.
reportEvent ResponseFinish (show (rqURI req))
15:58
hopefully someone will report the gcc bug :)
Ven
Ven
@BartekBanachewicz ty! fixed it.
@BartekBanachewicz silenceReq = (setOutHandler (const $ return ()) *>)
Ven
Ven
you have to manually tell it to STFU.
Ven
Ven
:(
I switched it to (setOutHandler discord *>)
yay for Control.Monad.Extra
nwp
nwp
yay for sending garbage to discord
Ven
Ven
@nwp ?
what did I do?
@Ven discord *>
16:18
evil
damn I really wish it was spring already
like
Ven
Ven
oh. :D
I meant discard.
snowboarding is cool but it's not bike riding cool
Ven
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
Ell
16:21
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
16:38
@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
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
Xeo
16:53
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
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
Xeo
that's when you're in the final 24h
which I have no idea if it is or not vOv
Xeo
Xeo
16:56
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 ¬_¬
17:10
@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
Xeo
snowboarding ♥
Hello
18:28
@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
Ell
19:07
this guy has a very sinister voice youtube.com/watch?v=-T1LoHTZDvs
Ven
Ven
@fredoverflow well, they have to, yeah..
19:40
> 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…
21:25
?tag loungedead
Ell
Ell
:3
user1804599
@fredoverflow Scala is like C++: the compatibility with its predecessor is what infects everything with terribleness.
@rightfold Scala has a predecessor? You mean Pizza or Funnel?
user1804599
Java
user1804599
21:32
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
21:34
Like Frege.
user1804599
Or PureScript.
Ell
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
21:38
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
21:40
@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
21:42
Probably
user1804599
instanceof is not parametric and is therefore terrible
user1804599
It's like side effects and exceptions: avoid at all cost
Ell
Ell
@rightfold not all not-parametric things are bad!
what about cons for vectors? :D
user1804599
They are
user1804599
21:43
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
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.
21:45
@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
21:47
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.
22:10
@rightfold What's your new job?
nwp
nwp
22:35
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
nwp
experimental doesn't have it either
Hello all
23:06
@Borgleader
"is it because a coding error?" Yes. Question answered. Move on. — spender 6 hours ago
nwp
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 (2893 days later) »