« first day (737 days earlier)      last day (4212 days later) » 

11:00 PM
Annoying version of "lol"
 
Reminds me of kids who think they're cool online.
 
Everybody thinks they're cool online.
 
lel!!!
Luc, have I already asked what studies you've done?
 
Some think they're hot online.
 
No.
 
11:01 PM
@LucDanton May I?
 
I dropped out of engineering school.
 
Where are you from?
 
Now I'm catching up on a bachelor's / license.
 
Why did you drop? And from which school?
 
@R.MartinhoFernandes Some are
 
11:04 PM
@Cicada Too much emphasis on middle management, being a project lead or even a drone. I only cared for the software stuff.
 
What's drone in this context?
 
I take it as code monkey as in "code without thinking"
 
@R.MartinhoFernandes The "here's how to be a good employee" courses. Not that I mind them too much, but being graded on that was a pain.
 
What school please? Excuse my insistance
 
I used to rely on being carried by my maths grades, but that stopped happening. I decided to focus on the software stuff which had grown on me.
 
11:08 PM
@LucDanton Oh gawd. That's awful.
 
@Cicada No specifics. Those schools are small you know!
 
@LucDanton yeah, that's a pretty sucky thing to be graded on. Are you doing CS now instead of *engineering?
 
@LucDanton Well since you haven't told me in which country you were I wanted to know by the school.
 
Speaking of specifics, I'm in Bordeaux now.
@je4d Yes.
 
@LucDanton best of luck!
anyway, bedtime for me, bye all
 
11:11 PM
@LucDanton I used to do that too=) Stopped dead in my tracks with "mathematical methods for phycisists". Thats when I realized I were a physicist =)
 
@LucDanton ow. so recognizable
 
@Cicada Did you post your autobiography about your thoughts on school?
 
I don't know if I should ._.
Now that I finished redacting, it doesn't sound too interesting lol
 
Isn't an autobiography a near death experience?
 
@Cicada I'm sure many of us would enjoy reading it. :-)
 
11:16 PM
@CaptainGiraffe That's why it's relevant.
 
user142019
GUYS!! I’m designing a programming languages.
 
I was writing in jest, but if this is anywhere true I apologize.
 
@WTP'-- Does it suck
 
user142019
@Cicada of course it sucks, it’s low level and has a C-like syntax.
 
@WTP'-- Is it called "Suck"?
 
user142019
11:17 PM
@Chimera nein.
 
@CaptainGiraffe lol no, dw, it's just a metaphorical death
 
@Cicada Thanks for clearing that up. fluffycat.jpg
 
Read that as "lol no, dword, it's just a metaphorical death". Took me a whole minute to realize it was "don't worry".
I might be a tad sleepy.
 
@R.MartinhoFernandes Yep the dword had me too =)
 
user142019
11:20 PM
@LucDanton I have already filled that in a few months ago.
 
I remember that. You failed.
 
@WTP'-- I'm going to like it.
 
user142019
Wait, I’ll fill in that form.
 
@R.MartinhoFernandes Yet another example why hungarian notation sucks!
 
I'm gonna go with stack-based && ! non-programmer-friendly
 
11:22 PM
May 27 at 21:27, by Radek 'daknok' Slupik
@RMartinhoFernandes checklist filled in. xD
 
Oh yeah, I remember how you failed to fill in [has]/[lacks].
 
[ ] Noone really believes that your language is faster than:
    [x] assembly  [x] C  [x] FORTRAN  [ ] Java  [x] Ruby  [ ] Prolog
wait, faster than Java, slower than Ruby?  WTF?
 
I'm going to go on a limb here and claim that if you're not qualified to fill in the programming language checklist, you're not qualified to design a programming language :P
 
user142019
> Your type system is unsound.
 
user142019
WTF does that mean.
 
11:26 PM
@WTP'-- I don't know. Javascript?
 
@WTP'-- See, my assertion above applies.
 
Basically, "Your type system is unsound." means "Your language has a type system."
Check it.
 
user142019
Oh okay.
 
@R.MartinhoFernandes Dictionary says otherwise.
 
11:27 PM
@Rapptz List of languages with sound type systems agrees :P
 
An unsound type system is still a type system.
 
Ah, I thought it was a formal adjective.
 
(Not saying there aren't any, but there's an underwhelming minority)
 
@CaptainGiraffe yay for ! not non-double negative
@R.MartinhoFernandes hahaha
@R.MartinhoFernandes Don't mention H. again
 
@sehe Haskell? Last I checked, it isn't one.
 
11:29 PM
A what?
 
A language with a sound type system.
 
user142019
> You have reinvented PHP but worse.
 
Does haskell have an unsound type system too?
 
user142019
LOL
 
Things like head :: [a] -> a right?
 
11:29 PM
Okay. I'll trust your verdict
 
user142019
@sehe Haskell has an extremely strong type system, in fact.
 
user142019
Haskell does no implicit conversions at all, AFAIK.
 
@Cicada Thanks :-)
 
@sehe Yep. Which says a lot about sound type systems.
@WTP'-- Nothing to do with it.
@LucDanton Yeah.
 
11:30 PM
@Chimera I'm not very satisfied with what i wrote, specially the end.
 
user142019
Well, if the author of the quiz was more clear about the meaning of “unsound”…
 
You can feel the confusion growing as the paragraphs pass.
 
user142019
Anyway, I filled it in.
 
@Cicada I'm sure it will be worth the read...
 
Also wtf line breaks.
 
11:31 PM
@WTP'-- It's a well-known term in the context of type systems.
 
user142019
I can find the definition nowhere.
 
In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics. In most cases, this comes down to its rules having the property of preserving truth, but this is not the case in general. Of arguments An argument is sound if and only if # The argument is valid. # All of its premises are true. For instance, :All men are mortal. :Socrates is a man. :Therefore, Socrates is mortal. The argument is valid (because the conclusion is true based on the premises, that is, that the conclusion ...
Comes from logic.
 
@Cicada Whoa. Is this autobiographical?
 
@sehe Somewhat. I even mentioned you! :D line 83
 
Hmm. Maybe I'm the only one that sees it this way, but I thought the "has/lacks" section was only about nuissances: you listed stuff that it unfortunately had, and stuff that it unfortunately didn't have.
 
11:34 PM
@Cicada What? I didn't see a bear reference
 
user142019
Oh, unfortunately. Well change it to “fortunately”.
 
> The practicals are just "fill in the holes" (inb4 sehe misquote) exercises: they never involve thinking or research of some kind.
lol
 
user142019
@R.MartinhoFernandes (Refresh. :P)
 
@Cicada How does the INSA recruit? Their website is kind of a mess.
 
11:35 PM
Wait, you reinvented PHP?
OMG.
 
user142019
But better. :P
 
@LucDanton After high school if you're good enough (17.5 de moyenne au bac parait il), which wasn't my case. After a bac+2 if you're good enough (which was my case).
 
@WTP'-- But.. Why would you even try.
 
user142019
It’ll be something like this, but I’m not sure yet about the syntax (which could be much better).
 
> FILE*
kill it
KILL IT
 
11:36 PM
@Cicada +2 on a case basis? Not the concours?
 
@LucDanton Case basis, yes.
 
Your autobiography starts in 2004?
 
I think the name would have stuck otherwise.
 
@R.MartinhoFernandes Around that yeah. Just to plant the background.
And the main character.
MY OWN SELF
 
@Cicada That sounds like a painful bit of frustration there. I'm sorry to hear that. Can I urge you to look at the bright side? You have something these other people apparently never had: the passion to learn and passion to create beauty. Once get over the shock and learn to forget about people who don't know what makes them happy, you can be free to be happy again. You'll still be you.
 
11:38 PM
@Cicada lol that sounded funny to me for some reason
 
Wait, is everything there about computers and programming?
 
Almost as if someone else owns you and you got your freedom
 
Took a quick read as well, it's unfortunate that the formal stuff doesn't stick.
 
@Cicada KEEEL EEET!
 
user142019
FILE* f; would probably become Pointer<FILE> or something.
 
11:38 PM
@Rapptz That's precisely why I arranged the words like that you know!
 
user142019
Or maybe not, I’m not sure yet about the syntax of pointers.
 
@WTP'-- WHY. Just use a damn handle. Or sumtin
 
user142019
@sehe That was just an example of a pointer used internally by the IO module (at least, in the implementation I linked).
 
@sehe Honestly, I don't know if I'll be psychically strong enough to hold for the rest of the year. I mean, I'm really getting ill
 
user142019
Of course, you’d use IO.File, not <stdio.h>.FILE*.
 
11:40 PM
@WTP'-- Oh well, Constraints :) I wasn't aware of them
 
> import qualified IO;
lol @ "qualified"
 
user142019
Haskell terminology.
 
Does that mean an IO with a bachelor can apply?
 
I'm getting tired of brace syntax, and I'm not sure why.
 
@Cicada Ok. Weigh your options. How bad would it be to be happy without a diploma? Maybe, postpone it (that's what I "did" - never looked back)
 
11:40 PM
@LucDanton Because it's tiring.
 
import PhD IO;
 
user142019
@Cicada no, it’s like the opposite of using namespace.
 
user142019
import IO; # imports all functions from IO into global namespace
import qualified IO; # imports all functions from IO into IO namespace
 
I'm wondering about paragraph syntax these days. Like those infamous whitespace-significant syntaxes, but even more restrictive.
 
Oh I get it.
 
user142019
11:42 PM
I also need a syntax for “deleting” copy and move ctors. Or maybe I’ll just make them explicit.
 
Oh, that was not an autobiography. That was more like... I don't know. Something rant-y mixed with cry-for-help-y?
 
@Cicada If you could ever see yourself living in the US, you could make a great living based on the education and skill you already have and won't have to lose your passion for writing/developing beautiful software. What I mean is that your income is not always proportional to your level of education... probably true in other countries... don't give up on your passion....
 
@R.MartinhoFernandes You like these -y suffixes
 
Another overseas siren song!
 
@Cicada I was going to write "ranty", but consistency won over correct spelling.
 
11:44 PM
@Chimera That's what I like about the North American way of thinking.
 
Concistenc-y*
 
user142019
And for import <stdio.h>;-like imports I might use libclang.
 
@LucDanton No, it's not an adjective there.
 
Sorr-y.
 
lol
 
11:45 PM
"Something with many rants and a cry-for-help"
 
I used the word "autobiography" purely to ironize on the fact that this should have been a small text
 
@Cicada "Simplify your life" - works. You don't need a topnotch job to get happy. (Form the rant I get the distinct impression you already were). Ironically, once you go back to excelling doing what you like [I think you have proven you can do that] the "high profile positions" (?!) might just come to you.
 
You know, I tend to say more sarcasms than normal sentences.
 
I did like the part with "I have so much to rant on that I won't do it, because it'd take pages and pages." proceeds to rant for a few paragraphs.
 
@R.MartinhoFernandes consistec-y would be cr-y-for-help-y :)
 
11:48 PM
@Cicada @sehe makes a good point. Being happy and pursuing your PASSION is more important than your salary... Here I'm assuming if you left school now and found a job you'd be able to make enough to live on and still be HAPPY and being able to enjoy writing software.
Or you could just find a better school?
 
@R.MartinhoFernandes See, I can be reasonable sometimes :)
 
@Chimera I have the distinct feeling she's had it for a while
 
@sehe Yeah.
Sometimes a break from school does a person a lot of good.
 
@sehe I know - I'm going to try this last year at my school. If I fail before the end, I'll quit.
 
I think the puppy feels similar, btw.
 
11:50 PM
@Chimera I could probably do that, but on a long-term view it's probably not reasonable.
 
(And he did fail and quit)
 
I certainly don't fare as well in academical settings as I used to do. I don't mind tbh.
 
user142019
Or you know, just because I like Python. gist.github.com/3935129
 
@Cicada Fight the good fight to keep your passion then.....
 
@WTP'-- I like Python's elegance
 
11:52 PM
I like C's simplicity and power.
 
@WTP'-- Function signatures have types for parameters, but not for the return.
 
@Cicada didn't you once mention that people always tell you their trouble, for reasons unbeknownst to you? Perhaps you could find a good coach, someone whose views you value. Someone older/wiser. Start a job you like, think of new avenues. Perhaps you can be a good teacher? Get your pupils precisely the enthusiasm you have, and you missed in college? ...
Perhaps you can be a life coach? Perhaps you can just travel the world and earn a living by waiting tables? Or you can go run this IT project in Kenia?
 
@Chimera I'll try :) I've been doing it for a little over a year, in fact. But I do feel my morale going down as time passes, and it's reaching new depths lately. (For that very reason I left school 1 week before the beginning of holidays, because I really can't take it anymore).
So I'm skipping 1 week of this shit.
 
user142019
@LucDanton return types are inferred.
 
user142019
There are no implicit conversions anyway, so that’s not a problem.
 
11:55 PM
Number one quality: regularity.
 
@sehe Yeah people do that for some reason! Never found anyone like me though. I'd love to travel again :) And teaching, um, why not. I'll have to consider this.
> unbeknownst
How litterary.
 
I'm writing question, and answer. :) lol
yeah, in notepad++
 
@Cicada Anything that sparks your interest. And you know you can do better, and what difference it will make to students/pupils. (I'm thinking all ages here)
 
user142019
def open:File(filename:String, flags:Integer):
# maybe, I don’t see the need.
 
@Cicada This world does need teachers who enjoy the material being taught and wish to pass on a desire and thirst for learning to students.
 
11:58 PM
Aight, time to switch to double sucky Internet mode and face code.
 
user142019
Facebook? Why not face book and study!
 
There are 4,088,689 github repos but only 3,865,162 SO questions, does that seem strange to anyone?
 
@WTP Lol
 

« first day (737 days earlier)      last day (4212 days later) »