« first day (1844 days earlier)      last day (3105 days later) » 

5:00 PM
@JerryCoffin :)
 
SDL_UnionRekt
 
nasty when tests pass when run separately but fail when run in suite
 
@Morwenn wat
 
@Borgleader Goth is supposed to be dark, but there's also pastel goth which uses more pastel colours. So... it's kind of pastel dark :D
 
I am freakin' bored.. entertain me, please.
I beg you.
really.
 
Ell
5:14 PM
Okay my powerline font is sorted
 
@FilipRoséen-refp A, B
 
@Ell Have you guys had MOSFETs yet?
 
@Borgleader if it requires flash, I am not amused
 
Ell
@Columbo Not the physics of them
 
@FilipRoséen-refp youtube has html5 support, afaik
 
5:16 PM
weird that youtube doesn't show me the html5 player though, is that still opt-in?
@Borgleader yeah, I was just thinking about that
 
Ell
We did them after we did boolean algebra, to show how they can be used to implement gates
 
@Ell So you know about p-n junctions and such?
 
Ell
Not from uni
 
ok this is it, im learning vim
 
@Borgleader seems like I had to explicitly request it
 
Ell
5:17 PM
I know a teeny amount from outside of uni
@ScarletAmaranth try emacs first :)
 
but now I need to mess around with stuff to support x.264 in firefox on this machine
 
Ell
or maybe try vim and be frustrated and then try emacs ;)
 
blargh.. I guess that's at least something to do with my time
 
@Ell My supervisor is a physics PhD, so he makes me learn all the physics
Which isn't too bad but a good lot of work
 
Ell
@Columbo What is your course title?
 
5:19 PM
@Ell Digital Electronics
 
Ell
Oh
I thought it was Computer Science
 
@Ell wtf
Of course it is
Maybe I thought you were referring to modules?
 
Ell
Yah sorry
I meant overall degree title
 
@Ell My course is CompSci w/ Maths
 
Ell
Okay
 
5:20 PM
@Ell My degree will not be course specific, IIRC
It's simply a BA Hon., without any further information about anything you did ;-)
 
Ell
Yeah, I was just wondering why they would teach you the physics of PN junctions in a computer science degree o.O
 
@Ell Well… don't they teach you the stuff?
 
> This question was voluntarily removed by its author.
nooo the chemistry & physics in haskell question is gone
 
Ell
@Columbo They might do later, but my course is MEng Electronics & Computer Science
so I'd expect a little physics in the electronics part
not in computer science though, I don't really see how it's relevant o.O
 
@Ell So you'll be a Master once you graduate?
 
Ell
5:22 PM
@Columbo Yeah
 
@Ell I bow down to you in advance, my master
 
Ell
Haha, let's hope I get there eh? ;)
 
@Ell You will, you will :-)
 
Ell
@Columbo wait wtf
you get a BA?
Why not BSc?
 
@Ell Because for me, Computer Science is an art.
 
Ell
5:30 PM
For them too I suppose :P
 
@Ell Yep. But it doesn't matter too much to an employer what your degree is called, there's just a nice surprise effect when someone asks you about your degree and you start with BA and end with " science"
Well, actually, almost never, because most people know about this rather arbitrary issuance of titles
 
Back when Maxis & Will Wright meant something.
 
that's wright
 
I just had to Google him to see if he's still alive or something.
 
Ell
5:39 PM
@Columbo yeah I agree, it's just unexpected
 
5:55 PM
@ElimGarak so, have your sleepless nights paid off? :D
 
original vs. remix I just stumbled upon
 
well it's no wonder he has those problems if he has to keep track of shit like flags
bartek!!!
heya
 
probably been posted (considering my recent streak), but wtv:
 
6:11 PM
@AlexM. it'ssssssoooocoooooollldlddodutside
a.k.a. I fixed my motorbike!!
 
the weather is nice now altho I'd like it more if it were more rainy
> Golubac Fortress in Serbia, guarding the Danubian frontier of the Balkans
whoa
 
@AlexM. uga
ever tried riding a motorcycle when it's raining
 
how's haskelling going?
@BartekBanachewicz nope I don't ride nor drive :P
 
not much
I'm mostly invested in the stuff I do at work now
I wrote a specialized testing fw
 
user1804599
xhamster is broken :(
 
6:20 PM
hello all
does StackOverflow store comments even when people delete them?
They don't show their history, but will they internally store the history?
 
Ask someone who works on snack overflow?
 
Did you mean to ask "Do you ask someone who works on stack overflow?" To which I would answer "I don't know whether someone who works at stackoverflow is in the channel". Or did you mean to ask "Does someone ask who works on stack overflow?". I cannot currently make sense of your question/answer
I think it is ambiguous since it is the ambiguous user defined conversion sequence
 
he means that there is no one here who knows anything about stack overflow's internal business
i.e. no stack overflow employees
 
How the fuck should we know what snack overflow does internally
 
I envy him. He's so many social contacts with all the people on the channel
 
6:24 PM
I doubt you'll get an answer from a SO employee either
 
that he even knows who they work for.
 
They all have diamonds hth
 
all the enviness depends on the fact that he actually meant to say that of course
no guarantee of kept enviness is given at all
 
what a piece of brick you are m8, had enough
 
@CatPlusPlus ah I see. although I could easily miss them and catch a community moderator who works for a different company but still has a diamond. so that could be dangerous
 
6:26 PM
That's really not the point
Also nobody cares
I just proved to myself that unignore button is not worth it ever
So there's that
 
@CatPlusPlus "nobody cares" is a well-known kind of answer when someone feels grumpy and overstrained
@CatPlusPlus you will miss out on my new riddles
 
user1804599
@ScarletAmaranth ever used Coq?
 
@Elyse yeah but only in the interactive mode
 
user1804599
Is it different from the non-interactive mode?
 
It's more interactive
 
6:31 PM
well, in interactive mode you "compose" your definitions using tactics
in the non-interactive mode you write it kinda like in haskell or idris
 
user1804599
I've heard Emacs' Coq mode was superb.
 
interactive mode feels a lot like doing natural deduction
 
@Xeo do you have this stuff where you live upload.wikimedia.org/wikipedia/commons/thumb/e/e8/…
holy crap is it good
 
ye its good
 
Ell
I attempted to try Coq
I couldn't do it :(
not attempted to try, just tried
 
6:37 PM
isn't coq just a theorem proof assistant?
 
personally I couldn't think of anything for which to use it back when I heard of it :D
 
its been used to prove some complex shit
 
Ell
It's a "proof management system"
 
such as the 3 color graph coloring problem
 
Ell
6:38 PM
and a c-like language compiler
 
PHP for proofs
 
does it have advantages over, say, prolog?
 
its nothing like prolog
 
Ell
@AlexM. it's a different kinda thing
 
but you only use it for proofs
right?
 
6:39 PM
no you dont only use it for proofs o_O
 
Nobody uses Prolog for proofs
 
but that's what you guys are telling me lol
> its been used to prove some complex shit
> It's a "proof management system"
 
proving seems to be the key point
 
it's a programming language that also has interactive mode
for proving shit
but really it's a calculus of constructions impleneted
the line between proofs and programs becomes very blury
"programs" as "proofs" is no joke
(and the entire curry-howard isomorphism)
 
6:41 PM
i think it can be used for typesystem theory aswell. to prove something correct
 
yes; it's simply a language with calculus of construction for type system
which also has interactive mode
that lets you use tactics (something like rules of deduction calculi)
 
so technically you can write random apps in it then
 
> Pluto is, to our knowledge, the first concurrent web server written in Gallina, the functional language of Coq.
I wonder how much you have to twist your designs to write something like a media player in coq lol
 
uffff
Coq is not overly far from Idris
it's really not that bad
 
6:45 PM
I'm not saying it's bad
 
you don't need to twist anything
 
user1804599
Coq can also generate OCaml and Haskell code IIRC.
 
in Paris, there are pilot-less trains - software written using the B-method
which is a different spin on "Coq-like" languages
 
user1804599
And Scheme, apparently.
 
this time coming out of Dijkstra's LGC
(GCL?)
CLG?
google curry-howard isomorphism and go from there
 
Ell
6:47 PM
@ScarletAmaranth how is your theorem prover going?
How much theory do you need to know to write one or understand existing code?
 
user1804599
$ cat hi.v
Inductive list (t: Set) : Set :=
    | nil : list t
    | cons : t -> list t -> list t
.

Extraction Language Haskell.

Extraction list.
$ coqc hi.v
data List t =
   Nil
 | Cons t (List t)
 
user1804599
:D :D :D :D :D
 
we used to work with agda for a week
I think it's similar
 
@Ell it's a theorem prover by accident; the idea behind it is that I will remove the "human" part and it will technically not be a "theorem ASSISTANT", but really a theorem prover; (it does sound magical, yes it doesn't work in many cases)
yes, Agda very similir to Coq
fewer tactics, overall much weaker
but more "practical"
 
Ell
I am quite interested in this proving business
 
6:51 PM
well
I'd say you don't need "advanced" knowledge but solid basics
 
Ell
I'm a far way behind
 
perhaps initially described in something that unis call "discrete maths"
 
Ell
but I will learn for the future
@ScarletAmaranth Yeah I do a discrete maths course
 
if you can't understand boost::mpl's implementation, I would forget about the plan :p
 
Ell
We only just covered contrapositive proofs last week though :3
 
6:51 PM
you need basics of logic, set theory and type theory
 
Ell
very early days
I'm hoping we move to type theory swiftly
I was watching a video on dependent typing the other day
I caught little glimpses of it :P
 
i mean, conceptual. it's very much about recursion and pattern matching
 
and then you need to understand that these concepts are really the same thing looked at from different angles
@ᐅJohannesSchaub-litbᐊ what C++ compilers do finding the closest match of an overload or specilization is really a pattern matching problem
 
Ell
@ᐅJohannesSchaub-litbᐊ I have never attempted
 
@ScarletAmaranth i guess you can twist the rules into one
for each "if ..." you create a parameter pattern and match it against the argument, and have them be abstract data types.. or something like that
 
6:54 PM
@ᐅJohannesSchaub-litbᐊ yeah but the moment you start twisting it's no longer comprehensible by human beings :P
I think people work in a pattern-recognizing ways; we need terse syntax that has some symbolic semantics that we had internalized beforehand
 
@ScarletAmaranth I'll take a look, ty
 
basically convert a hard problem to one that you can solve automatically (not necessarily with software, but at least with little to no effort)
 
convert the problem to plain text and post it on SO :p
 
^ this
 
tutorial bahhhhhh
 
6:58 PM
@sehe Hey, you're on Linux, right? What do you use for streaming? OBS?
 
Ell
OBS yes
 
lol this is so retarded
 
Ell
lol yeah
 
but are the noodles al dente
 
Ell
the noodle gets harder as you get to the end of it
also I didn't know you could buy long noodle sticsk like that
 
7:00 PM
I'd also argue that it's easier to boil noodles in a proper recipient
 
those look like spaghetti to me
@AlexM. this; how is it a problem to put them into a boiling water pot :-\
 
Xeo
@AlexM. Of course
in every super market
 
I expected the kinders to have more calories
you know what has crazy amounts of calories tho
pretzels
 
Xeo
@AlexM. One isn't the problem. But it's not like you can just stop eating them...
> 7,890 backers pledged $1,255,444 to help bring this project to life.
Wahaha, Muv-Luv wins.
 
@Xeo yes but at least they're sweet so eventually you can't take anymore
but think of the pretzels
 
Xeo
7:05 PM
@AlexM. Not in my case
 
@fredoverflow Superfluous comment of the year.
 
I've got a pack of those long pretzel-like sticks
250 grams = 860 calories
 
Xeo
You counting calories now? :P
 
and if you have something like a beer to accompany them, you can get those 250 grams eaten really quickly
 
calories say nothing to me
is that much?
 
7:06 PM
@ScarletAmaranth yea
 
Xeo
@ScarletAmaranth Normal need is around ~2.2k
 
a day?
 
Xeo
ye
 
yup
 
Xeo
7:06 PM
depending on weight and height and gender
and activity level
 
@Xeo trying to pretend I'm trying to lose weight
 
Xeo
lol
not while snacking kinder bons :D
 
How does that translate to 103, 203, 1 ?
 
I did skip the fries and cheese tonight tho
ate canned tuna
 
Xeo
@CaptainGiraffe what?
@AlexM. I had a nice self-made bifteki.
200g ground meat, 60g feta cheese
 
7:08 PM
@Xeo I missed the activity level. Lets say double activity_level = 0.92;
 
Xeo
I still have no fucking clue what you're saying
 
@Xeo Obviously a struct. "weight and height and gender and activity level". = { 103, 203, 1, 0.92}
 
@Xeo mmm
 
Xeo
yesterday I made meatballs filled with squid and mozzarella from the other 300g ground meat
delicious
 
Was the squid precooked?
 
Xeo
7:10 PM
ye
 
@CaptainGiraffe have you started using again?!
 
@ScarletAmaranth Yep, I tried <algorithm> yesterday. I even did <iostream> today. It was wild.
@ScarletAmaranth never the entire std though. Never again.
@ScarletAmaranth I've heard horror stories about people catching std bugs. Not pretty.
 
std::strtok
 
hi
 
Hi Rapptz, we were discussing calories and surf and turf, and my resource abuse.
A new topic is welcome. The SO gatekeeper πάνταῥεῖ is rarely in the chat isn't he?
 
7:25 PM
interesting
 
and I wonder about diamond inheritance in the channel..
 
Ell
I'm gonna play factorio
 
youtube.com/watch?v=MW51nryJmLk Replace lovins with mixins.
 
user1804599
Nice.
 
lol "surf & turf"
 
7:36 PM
Too much balsamic vinegar :(
 
user1804599
So awesome.
 
lovely, mono doesn't seem to be able to infer the simplest type arguments
at least not under unity
have to specify myself :< SimulatedPeripherals.Select<SimulatedPeripheral, byte[]>(DataWithPeripheralIdentifier)
 
@Morwenn :(
 
What's the signature of that
 
private static byte[] DataWithPeripheralIdentifier(SimulatedPeripheral peripheral)
 
7:40 PM
@Borgleader It's still good but no as awesome as it could.
 
VS doesn't complain at all so I doubt that MS's .NET would
it's just in Unity that I get the error
 
Is it overloaded?
 
nope
 
What's the error?
 
`The type arguments for method > System.Linq.Enumerable.Select<TSource,TResult>(this System.Collections.Generic.IEnumerable<TSource>, System.Func<TSource,int,TResult>)' cannot be inferred from the usage. Try specifying the type arguments explicitly
 
7:41 PM
Any thoughts on code.visualstudio.com ? Quite disappointing to me.
 
pretty explicit
it can't infer TSource and TResult
 
What's SimulatedPeripherals
 
also do I smell DataWithPeripheralIdentifier being overloaded?
 
@CatPlusPlus an abstract class
 
Xeo
1 min ago, by Alex M.
nope
 
7:42 PM
that inherits monobehavior
 
The collection
 
array
I wonder if the monobehavior throws it off
 
idk all I see is that it looks for Func with additional index argument
Method groups definitely work in C# 4
 
oh wait, I did not spot the 2nd thing there
why would it look for that thing
this is the first time I have to do this with Select, I gotta google
yea definitely something weird about unity, a minimal example with select that works everywhere else fails in it (and there's for some reason a closed issue on github about it)
 
@CaptainGiraffe it's github's atom editor without tabs, what'd you expect?
 
7:55 PM
this is the 2nd time code in unity doesn't behave like in another context, at least this time it was an error
1st time it was just incorrect behavior at runtime
SimulatedPeripherals.Select(x => DataWithPeripheralIdentifier(x)) this works
so I'll leave it at that
 
"Code Editing. Redefined. Build and debug modern web and cloud applications"
I expected a C# compiler with a .NET framework that was cross platform. I'm a gullible bastard.
 
lol. also no plugins/extensions IIRC :D
 
although, I think it handled my German-ish keyboard layout better than atom. Atom's just like "oh you want to type a \ ? Well too bad, I have a shortcut for that key combination."
 
user1804599
coool
 
user1804599
8:06 PM
Theorem map_composition :
    forall (A B C : Set) (f : A -> B) (g : B -> C) xs,
    map B C g (map A B f xs) = map A C (fun x => g (f x)) xs.
Proof.
    induction xs; simpl; auto.
    induction IHxs; auto.
Qed.
 
user1804599
I wanna learn more about this stuff.
 
@melak47 Uh, it's not Atom
 
fine, it's a totally different editor built on atom's electron thing.
 
@Elyse Are you working with Isabelle?
 
user1804599
Who is Isabelle?
 
8:16 PM
It manages to support AltGr afair so that's a p important distinction :v
 
@Elyse The theorem prover assistant: cl.cam.ac.uk/research/hvg/Isabelle
 
user1804599
No, I'm using Coq.
 
My lecturer developed it together with other guys
 
user1804599
Prove it.
 
I mainly use it for ML
But it's supposedly nice for theorem proving as well, I might try that at some point (or will have to)
 
user1804599
8:18 PM
Python 0.4 released: http://blog.pyston.org/2015/11/03/102/ Looks like solid progress!
 
user1804599
Woot Python 0.4! I've been waiting for that for years!
 
Errybody doing string interpolation these days python.org/dev/peps/pep-0498
 
@Elyse … you meant Pyston right
 
user1804599
See tweet.
 
@Elyse sorry
 
user1804599
8:22 PM
> Python 0.4 released
 
That name clash is like void f(...)
 
@CatPlusPlus Yeah, there have even been discussions about including some (broken) kind of string interpolation into C++.
 
> Pyston 0.4 released
Have you read the link?
 
user1804599
Yes. Have you read the tweet?
 
The tweet contains wrong information
 
8:32 PM
No shit Sherlock
 
Ell
Man sugar is so addictive
 
I keep listening to this as if it's a real song youtube.com/watch?v=KqAxtwH0LGo
ugh
 
> As a quick preview, consider an alternative rewrite using a new operator 💩 .
 
user1804599
@sehe I want to use Boost.Spirit for parsing, but I want to automatically replace newlines by semicolons between certain pairs of tokens (e.g. between two identifier, between an identifier and the if keyword, etc). Is that possible? Such that x\ny is parsed as if x;y, x\nif as if x;if, if\nx as if if x.
 
CLion has caused a 2 minute HDD threshing lag by bugging out on cyclic inclusion (guarded mind you)
 
user1804599
8:42 PM
In conventional (lexer, parser) pairs, I'd do this after lexing, before passing the token list to the parser.
 
user1804599
But AFAIK Spirit combines them into one step.
 
Ell
Mate
m8
I could eat this pot of sugar forever
must staaahp
 
What
Why would you eat sugar
 
Ell
It's not just sugar
it's lemon curd
 
@ScarletAmaranth nice.
 
Ell
8:47 PM
But 50% of it is sugar
 
Lemon turd
 
@sehe I love how that question I put a bounty on still gets new answers
 
@Columbo Which one?
 
3
Q: Find which set of numbers (range) a given number belongs to, without using loops

Yves HenriI'm confused to decide which or what kind of algorithm to find an object based on the following criteria: There are 2 classes: 'TileSets' and 'Tile'. TileSet have 2 int attributes: firstTileId and lastTileId, while Tile has a single int attribute: id, like that: struct TileSet { int firstTileId,...

 
@Columbo Brings me back to TAOCP =) sehe is solid as usual.
 
8:58 PM
lololololol
 
Catherine Plus Plus
 
So cat is a woman!?
 
@CatPlusPlus neato
 
user1804599
Eh, C++.
 

« first day (1844 days earlier)      last day (3105 days later) »