« first day (1854 days earlier)      last day (3085 days later) » 

user1804599
3:00 PM
 
user1804599
lolwut those pictures
 
0
Q: Possible bug with simultaneous write to the same memory region in boost::mutex constructor

FrozenHeartAs was previously discussed in this question, a pre-C++11 implementation can execute code in the way when several threads simultaneously call constructor for the same object with static storage duration. In boost::mutex implementation there's initialize function that is called from its construct...

OMG. I think someone doesn't "get" multi threading. Quite abit
 
@Elyse Well, Haskell Curry probably wasn't the only guy called Haskell.
 
> Clowns to the left of me, jokers to the right
 
user1804599
@sehe Yes, that's the title of the original paper on clowns and jokers.
 
3:02 PM
@sehe very stupid
 
user1804599
@fredoverflow I like the explanation of composition around 5:12.
 
@milleniumbug Why do you post the same link I replied to?
 
@Dean I get the purpose of the question now. It's about initializing local statics, nothing about mutex at all.
 
@fredoverflow lol sorry
such fail
 
Ell
@Elyse heh I need that :P
 
@fredoverflow the voice again <3
 
haha
in JavaScript, 31 mins ago, by rlemon
my new 25 year old female doctor who is ~8/10 had to stick her ungloved finger in my crack
@AndyProwl relevant?
 
lol, why?
 
3:14 PM
I found two new problems in my testsuite. Seriously, how did it manage to pass.
 
er
 
user1804599
@nick ugh, misogyny
 
I mean, why relevant to me
 
ugh who was the colonoscopy guy
 
Jeff
 
3:15 PM
@JEFFF
 
user1804599
@nick @Jefery
 
Jefertiti
4
 
Jeffwey
 
user1804599
@AndyProwl Confffetti
 
Mar 20 at 20:00, by milleniumbug
Wrote my first unit test in my life
Mar 20 at 20:01, by milleniumbug
The code was correct, and the test was wrong
 
@Puppy ahaha, what?
 
@milleniumbug Hahaha :D
 
@Puppy yea CS GO on linux gets about 100 fps less than the windows version
 
user1804599
My computer runs only good code quickly ∴ it runs games slowly.
 
@Elyse yeah just like they say: the fastest code is the one that doesn't exist
 
3:22 PM
@milleniumbug That's not bad. In fact, when my test passes first time, I specifically break it to make sure the test is working
 
Yeeeeaaaah, now it works with both g++ and clang++ and it is standard-compliant /o/
 
user1804599
> In Ruby, everything is an object.

In Clojure, everything is a list.

In Javascript (sic), everything is a terrible mistake.
 
user1804599
lol
 
Haha :D
 
@fredoverflow hitler on c++17, among others, really
 
Ell
3:23 PM
@Puppy yeah a lot of ported games perform significantly worse unfortunately :/
 
Xeo
whoo, time for a meat-up. see you guys on Sunday evening
 
> Funny how people still don't believe in God,oh yeah cause they came from apes or perhaps the wind maybe aliens.......bunch of empty headed idiots.And for those who say thanks to the doctors,God gives men the knowledge to come up with medicine.Cause I don't think every doctor is an Einstein
Excuse me while I go dispatch an ICBM.
 
do not get angry elim
 
wtf xeo has new avatar
 
that is the reaction they want to get
@BartekBanachewicz so slow
 
3:24 PM
@ElimGarak meh
 
user1804599
I really want a tool that can do this: stackoverflow.com/questions/33198181/…
 
user1804599
Then, if the type of the function has fewer than two inhabitants, there's no need to test it.
 
> Then, I had an epiphany. I realized that the type forall a. a -> a was the Mogensen-Scott encoding of the unit type.
 
Ell
forall a. a -> a
Why does this have only 1 inhabitant? (I assume it's the identity function?)
 
the Morwenn-ScottW encoding
 
user1804599
3:28 PM
There is no way to implement it other than \x -> x.
 
Ell
Can't I do f a = 1
 
user1804599
No, because 1 isn't of type a.
 
Ell
oh wait that doesn't work for all a :P
 
user1804599
Precisely.
 
user1804599
It's unary, so you must start with \x ->. Then the only value of type a you have is x, hence the only possible implementation is \x -> x.
 
Ell
3:29 PM
cool
@Elyse is this type theory?
 
user1804599
It's called parametricity. It is a property of some type systems.
 
Ell
but generally, this topic is inside type theory?
 
user1804599
I suppose.
 
but generally, is this topic inside of magic?
 
Ell
Where do you learn about this stuff?
 
3:32 PM
Pierce
 
user1804599
@Ell Talks, Twitter, chat sessions, Stack Overflow posts.
 
user1804599
Thinking about things, too.
 
@AlexM. Hi
 
@AlexM. Hi
 
hi
 
3:34 PM
hihihi
 
gaaaaaaaaaa
I don't want to work on this anymore today
i wanna go home
 
@Jefery can I help you? :D
 
@ElimGarak I could be martian?
 
@sehe I always thought you were Rigelian.
 
> ICBM
 
3:38 PM
@Jefery ah you just wanted to see if I unplonked you
 
@Dean what.
 
Hmm, I need a generic showString :S
 
@AlexM. You plonked me?
 
ah it's the username
 
Ven
@R.MartinhoFernandes a show?
 
3:39 PM
ok
 
what is "plonking" ?
 
@AlexM. Have you got Nick plonked?
 
Plonk is a Usenet jargon term for adding a particular poster to one's kill file so that that poster's future postings are completely ignored. It was first used in 1989, and by 1994 was a commonly used term on Usenet. To publicly repudiate a poster, it is added to one's reply or is simply used as the entire, one-word reply. It is also used as a verb, as in: "I plonked that idiot". The word is an example of onomatopoeia, intended to humorously represent the metaphorical sound of the plonked user hitting the bottom of the kill file (imagined perhaps as a bit bucket). Folk etymology sometimes gives...
 
I was just trying to start a chain thing
 
3:40 PM
ah nick is plonked yes
 
user1804599
@Ell more fun: for any non-negative N, forall a. {- "a ->" repeated N times -} a has N inhabitants.
 
Ven
@R.MartinhoFernandes showString . show?
 
was just testing to see if I was still plonked
 
@Jefery You missed the night train earlier
 
@Ven That adds quotes if the input is a String.
 
Ven
3:41 PM
ah, true
 
@sehe Nice
@AlexM. :c
@AlexM. lol
 
user1804599
forall a. a has 0. forall a. a -> a has 1. forall a. a -> a -> a has 2. etc
 
I don't think I'll unplonk nick, too troll-y for my taste tbh
it would be unfair to the other trolls at least
 
It's impossible to hoogle since it's :: String -> String
No, I'm dumb.
It's :: String -> ShowS
 
Ven
showString is just (++), mate
 
3:43 PM
shows adds quotes too.
 
> "In nomine Patri, Filii et Spiritus Sancti"
 
@Ven The generic signature is I want is a -> ShowS, which (++) can't. I.e. irrelevant implementation detail.
 
Ven
@R.MartinhoFernandes I mean, literally, that showString is (++)
 
Yeah, but that's not relevant.
 
Ven
ok. Well
I'm afraid you need your own typeclass for pretty printing your stuff then :\
 
3:45 PM
Yeah :S Annoying since I'm only gonna use it for this one tiny bit.
 
Anybody into logic programming here?
 
what about it
 
user1804599
@Jefery Yes I've always wanted to try it some more.
 
What languages have you tried so far?
 
Ven
@R.MartinhoFernandes if you're okay with using Data.String.Conv, it has toS
 
user1804599
3:46 PM
@Jefery Clojure, Mercury and Prolog.
 
user1804599
The former naturally sucks.
 
Ven
@Jefery prolog only for me :)
 
user1804599
The latter I have only used for like ten minutes.
 
it's not like there's a ton of languages to choose from
 
user1804599
 
3:47 PM
@Ven Linky? Hoogle can't find it.
 
@Jefery Prolog
 
Hmm. Maybe my own typeclass is not too hard.
 
Ven
;-)
 
Instance for String + instance for Show a => a should do.
 
3:49 PM
ghajhha sooo boooord
me home wants
brain work stop
 
user1804599
@R.MartinhoFernandes conflict as Show String exists.
 
go home then
@BartekBanachewicz at which time do you usually leave
 
Ven
@R.MartinhoFernandes yeah, it's just a bit annoying, but nothing major
.oO( it'd be easier in a dependently-typed language ! )
 
@Mr.kbok 8 hours after I arrive
 
which is, today?
 
Ell
3:50 PM
haskell supports dependent typing, doesn't it?
well
 
Ell
ghc does
 
Prolog++ is an object-oriented toolkit for the Prolog logic programming language. It allows classes and class hierarchies to be created within Prolog programs. Prolog++ was developed by LPA and first released in 1989 for MS-DOS PCs. Support for other platforms was added, and a second version was released in 1995. A book entitled 'Prolog++ The Power of Object-Oriented and Logic Programming' by Chris Moss was published by Addison-Wesley in 1994. Currently, Prolog++ is available as an add-on to LPA Prolog for Windows. Two other approaches to object-oriented Prolog include PDC Visual Prolog (once known...
 
Ven
@Ell "not really"
 
@Mr.kbok late
 
3:51 PM
lol prolog with classes
 
user1804599
@Ell No.
 
@Ell not really
 
Need FlexibleInstances. Don't care.
 
user1804599
@R.MartinhoFernandes How is that implemented?
 
@R.MartinhoFernandes this is an obv extension
 
3:51 PM
HEI JEFORI FOUND THE LANGUAGE FOR YOU
Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability, and efficient execution. == Language Characteristics == Ciao provides a full Prolog system (supporting ISO-Prolog), declarative subsets and extensions of Prolog, functional programming (including lazy evaluation), higher-order (with predicate abstractions), constraint programming, and objects, as well as feature terms (records), persistence, several control rules...
 
Ven
haskell is ghc deal with it : ^)
 
lol
 
Lounge should write a Pizza language
 
that was quick
 
3:52 PM
user image
6
 
user1804599
Pizza is an open-source superset of the Java programming language with the following new features: Generics Function pointers Case classes and pattern matching (a.k.a. Algebraic types) In August 2001, the developers made a compiler capable of working with Java. Most Pizza applications can run in a Java environment, but certain cases will cause problems. Work on Pizza has more or less stopped since 2002. Its main developers have concentrated instead on the Generic Java project, another attempt to add generics to Java which was eventually adopted into the official language version 1.5. The pattern...
 
Ven
@AndyProwl Odersky did it first
 
hm
@Dean lol
 
damn Terra still doesn't support ARM
 
@Columbo Have you favorited the language-lawyer tag or something like this?
 
Ven
3:54 PM
I should write a bit of J...
@Morwenn I did!
 
even better
 
void main() also wouldn't be bad
 
Fuck it. I'll just TypeSynonymInstances everything instead of generifying the instances for naught.
I won't use them ever.
 

« first day (1854 days earlier)      last day (3085 days later) »