« first day (1424 days earlier)      last day (3538 days later) » 

1:00 PM
There is some kind of CSRF on that afair though
 
Or maybe both. IANAL. Point is that a license designed for open-hardware will be aware of such things, while a license for software will be silent on it.
 
@CatPlusPlus oh it has plenty of that :D
 
The project is an automated beer brewery.
 
when do I start?
oh wait, I can't drink beer.
and don't really like beer anyway.
 
It's a brewery, not a bar.
 
1:02 PM
I'm not a beer guy either really.
I'm in it for the geekyness.
 
just trying to imagine @MartinJames's reaction.
 
@Puppy distill it then
 
Ell
@Puppy there's only one way you can get experience :P
 
My friend knows electronics, PLC etc, I know CAD & some programming.
Like all my projects it will probably not even start :)
 
@JohanLarsson I know that :P
 
1:03 PM
@Ell Might just email him back asking him why "Experienced C# CRM developer" made him think of me and if he has a good answer I'll roll with it
come to think of it, I don't even know what a CRM is.
 
"I'm always thinking of you, baby."
 
customer relations module?
contract renegotiation and maintenance?
 
Typical sales and inventory software thingies.
 
Ell
@Puppy You can write c#, right?
 
@Puppy Not having exp is a good thing also. Getting a job where you already know all the stuff is much worse.
 
1:05 PM
sure
 
Ell
Why not take the job?
you can learn what a CRM is :P
 
you say "take it" as if it's a real offer, whereas what I see is a recruiter who plumped up his CV numbers in his database and is now desperately trying to suggest any candidate, ever, regardless of suitability, and I'm not really seeing that a sane employer would want me for this task.
 
@thecoshman It's a surprising side effect. It's not a vulnerability for the simple reason that it has no ill effect
 
Customer relationship management (CRM) is a system for managing a company’s interactions with current and future customers. It often involves using technology to organize, automate and synchronize sales, marketing, customer service, and technical support. == Types == === Marketing and Customer Service === Customer relationship management systems track and measure marketing campaigns over multiple networks. These systems can track customer analysis by customer clicks and sales. Places where CRM is used include call centers, social media, direct mail, data storage files, banks, and custom...
 
@sehe moot point
a vulnerability is what it is no matter how trivial it may seem.
 
1:08 PM
@thecoshman Meh point. It's like saying the ability to send offending links (goatse?) is a vulerability.
 
@thecoshman Precisely and exactly. A vulnerability is what it is.
 
@Puppy I have a feeling most employers are gonna feel lucky if they hire you by accident. Also there are worse things than learning some C#, you might even be an owner in the C# room one day :)
 
@thecoshman Yours is a moot point.
The link doesn't kick you out.
Just click it and you'll see.
 
@sehe not at all. That is a link to a web site, just like I would expect.
 
1:09 PM
@JohanLarsson There certainly are worse things; it's just that the email quite explicitly states that they're hard up for time, which really implies that they don't have the time to teach it.
 
@thecoshman And so is the one sehe posts.
Click the damn thing.
 
@R.MartinhoFernandes ooh
I swear it did
 
@thecoshman Ok, I don't see what the difference is. In one case it sends you to a place you didn't want to go, in the other, it sends you to a place you didn't want to go?
 
@sehe yeah, turns out I never knew what clicking that actually did all along
¬_¬ stupid robot
 
ARGH
Sweaty palms why.
 
1:14 PM
@Puppy This is 100% commonplace.
 
right.
what's the worst that can happen, they tell me to fuck off.
 
Ell
yeah
 
the worst that can happen is you slip through the hiring process, end up in a job you can't do, and get fired for incompetence
 
Ell
they'd still have to pay you though :p
 
@Puppy so you're still unemployed
 
1:17 PM
@R.MartinhoFernandes ask web doctor thing, cancer.
 
@Ell not if it's a contract gig. no
s/if/as/
 
Ell
Oh right
 
@R.MartinhoFernandes fingerprint reader failing? Knife handling episode coming up?
 
Heh our prod went down
 
good job!
 
1:18 PM
heh
 
Jerk!
 
I wonder why Idris is eagerly evaluated.
that sounds... limiting.
 
@thecoshman Fuck you. I'll go to a doctor whenever I convince myself to.
Or a coroner.
 
Or a robotic engineer
 
@R.MartinhoFernandes vOv you're stupid
 
1:19 PM
@sehe No, I don't get them when truly anxious.
 
@TonyTheLion oh yeah, they are just masters :P
 
It's just random.
 
@R.MartinhoFernandes Ok then. That's prolly good. Then it's probably just hormones o.O
 
Also, totally not going to a doctor over sweaty palms.
 
@R.MartinhoFernandes your form of heart attack?
 
1:20 PM
Palms are sweaty, arms heavy, there is vomit on his sweater already...
oh wait...
 
@R.MartinhoFernandes you know doctors are not just their to pronounce time of death, right?
@TonyTheLion he he he
 
Don't die robor
7
 
Ell
ughhh why did my code break seemingly during a commit
 
1:23 PM
my code never break unless it's running
 
 filterP :
     ∀ {ℓ p} {A : Set ℓ} {P : A → Set p} →
     Decidable P → List A → List (Σ A P)
oh right that's what I needed.
 
ffs i cant star anything grrrrrr
skmeone star the google screenie so i can add my star!
 
@LightnessRacesinOrbit oh, enjoying mobile are we?
 
@LightnessRacesinOrbit sigh...
 
1:24 PM
yay thx
 
¬_¬ I feel like such a slut for doing that
 
also, I thought you couldn't even see the starboard on mobile
 
1:25 PM
i cant
 
@CatPlusPlus it was actually
 
That's why he wanted a star next to the post
 
@LightnessRacesinOrbit so... how did me staring it first help you?
 
~~ux~~
 
oh forget it
I don't care about mobile chat
 
1:25 PM
You can see the starboard on mobile.
 
cosh cos mobile doesnt let you star unstarred posts
 
it's shit and terrible and outclassed by slack sooo very much
 
Coded Very Well
 
you can only add a star to already starred posts
and i want to star things regardless of not being able to see the starboard myself
 
1:26 PM
> Those patents include our foundational invention, the GPU, which puts onto a single chip all the functions necessary to process graphics and light up screens;
 
Also, I'm not going to die of sweaty palms.
I'm too proud for that.
 
TIL NVidia patented GPUs
 
@R.MartinhoFernandes you could do though
 
@CatPlusPlus we have an acronym at work "HJC", being quite the opposite
 
If I die, it'll be of something either not ridiculous at all (like morning sickness cancer), or even more ridiculous than that.
I don't settle for mildly ridiculous.
 
1:27 PM
@BartekBanachewicz They patented some technologies used within them. But for a modern GPU, AFAIK you can't produce a competitive one without including some of their patents and some of AMD's patents.
 
knife slip in your hand, cut your self, blood all over floor, fall over in it, hit your head off the coffee table, launch bowl into air, hits tap on, flood apartment and drown in a shallow puddle
 
@thecoshman Sounds like a good enough procedure.
 
@R.MartinhoFernandes Honestly, it's fairly ridiculous that you don't get morning sickness cancer looked at.
 
We're not in a Looney Tunes cartoon
 
I'll note it down on my "possible suicide methods" list.
 
1:28 PM
what
 
@R.MartinhoFernandes if you are wondering how the apartment floods, you roll around a bit, and block the door of the kitchen.
@Puppy I've said it before and I'll say it again, he's stupid.
@CatPlusPlus sadly :(
 
take it from the puppy: sometimes, doctors actually cure you.
or at least give you pills that make it better.
 
#meetings
 
@Puppy Sometimes, they're not even doctors
 
lol
 
1:30 PM
@Puppy we should make one
 
a GPU?
nah
I got enough on my plate at the moment.
 
a GPU could at least be funny
it would be as useless as Wide of course
 
@thecoshman Btw, your messages are 100% more awesome when read in your voice with your prosody.
 
what, you didn't think throw throw throw throw throw throw throw throw throw 1 was funny?
 
must've missed that one
 
1:32 PM
@Puppy I just laughed. Still funny.
 
@thecoshman biggest waste of time, ever
 
man
I hope this Clion shit turns out well.
I'd love to migrate away from MSVC.
 
> Higher order dependently typed polymorphic lambda calculus
 
if I could build Wide itself under Itanium, then I can start bootstrapping.
 
what has Itanium to do with that
 
1:34 PM
because the only C++ ABI worth considering that isn't Itanium is MSVCs.
 
@R.MartinhoFernandes huh
 
I can't bootstrap Wide as long as I'm using MSVC and Clang doesn't support all the features I use.
principally exceptions here.
 
oh
thanks?
 
@Puppy you know that noone's gonna use it on x86, so thinking about Itanium at this point seems a bit weird.
 
1:36 PM
@BartekBanachewicz Are you being purposedly dumb?
 
@BartekBanachewicz You know that Itanium ABI is the one used on ARM and non-Windows x86 and x64, right?
well, strictly, ARM ABI and I think it's x64 ABI are derivatives of Itanium rather than strictly being Itanium exactly, but Itanium is the name of the family of Itanium ABI derivatives as well.
 
TIL
low-level implementation crap. Boring.
 
I actually think it's very exciting.
it's all about information and who has what information when.
 
> According to a recent poll by MissTravel.com, the most popular destination for closeted gay men in the world is Chicago, Illinois, followed by Sydney, Australia.
 
@Puppy yeah girls piss their pants hearing about it
 
1:38 PM
that and exciting are two totally unrelated things.
 
@Puppy The girls disagree.
 
also, you'd probably have to be more specific, I imagine that there's at least one girl in the world with chronic incontinence who's also a programmer who would piss her pants upon hearing about it.
 
Ha, that's still not enough!
You need at least two girls
 
alright, so the second girl has only temporary incontinence brought on by an infection.
 
1:41 PM
frankly, pants-pissing is really an oddly specific reaction to require.
 
I apologize for my intellectual superiority good sir
 
@Puppy go utilize that superiority in finding a job, asshat.
 
@EtiennedeMartel certain part of Sydney is very gay ... literally ... & there is the mardi gras
The Sydney Mardi Gras is an annual LGBTQI pride parade and festival in Sydney, Australia, attended by hundreds of thousands of people from around Australia and overseas. It is one of the largest such festivals in the world, and includes a variety of events such as the Sydney Mardi Gras Parade and Party, Bondi Beach Drag Races, Harbour Party, the academic discussion panel Queer Thinking, Mardi Gras Film Festival, as well as Fair Day, which attracts 70,000 people to Victoria Park, Sydney. Sydney Mardi Gras is one of Australia's biggest tourist drawcards, with the parade and dance party attracting...
 
working on it
 
1:45 PM
There is a lady whom I bush walk with occasionally (we are in the same bush walk group), her partner is a woman
 
Impressive.
 
@R.MartinhoFernandes my response or the working-on-it part?
 
Thank you for clarifying about bush walk groups
 
hm
just realized that these papers require me to remember what I did like, two weeks ago
(I don't)
 
#ohno
@Puppy you were dicking around playing video games and chatting here
 
1:48 PM
well, true, but I did some stuff apart from that.
I just don't remember on which exact dates.
 
Day of St. Never in the afternoon.
 
TIL "bush walk groups"
 
Also one of my friend's best friend is gay
 
hmm
What do you think about explicit proof passing with arguments?
As a workaround for lack of dependent typing?
 
@chmod711telkitty Even more impressive!
 
1:51 PM
I think if you're passing proofs then you ought to see a doctor.
 
filter :: [a] -> [Proven p a]
 
meh
 
where p can express some reification
 
I dislike having to tell the compiler things that I already know and it doesn't need to just so it can figure things out that I already knew.
 
I wonder if you could hack that into existing inferred type system
@Puppy does Wide have H-M?
 
1:52 PM
H-M sucks when overloading is involved
 
Everything sucks when overloading is involved
 
^
@Puppy so much suckage.
 
eh
 
it doesn't especially bother me.
I haven't seen any really compelling arguments in favour of H-M.
 
1:54 PM
@Puppy of course, you're writing a language that's going to be used by one person.
 
> setlocale: LC_ALL: cannot change locale (en_US.UTF-8)
^ The person who introduced this error must DIE.
 
@Puppy "it's type inference that actually works"
that's a pretty good argument if you asked me
 
it doesn't work if it can't handle overloading
 
overloading is overrated
 
1:57 PM
ah yes
you could simply try the Rightfold Defence
 
the what
 
"Your requirements make my ideal solution awkward or impossible? Just change the requirements!"
 
ahaha lmao "ideal"
 
Of course, the requirements consists of that solution. Duh.
 
oh right I forgot
 

« first day (1424 days earlier)      last day (3538 days later) »