« first day (1224 days earlier)      last day (3740 days later) » 

12:06 PM
because it just allowed me to make the exact monad I wanted :F
if your function runs in Glisha YourState a, you can use safe draw commands I exposed, and because it's an instance of MonadState, you can treat it like a regular StateT/State monad
 
> static float32x8 simdpp::float32x8::make_const(float v0, float v1, float v2, float v3, float v4, float v5, float v6, float v7)

Creates a float32x8 vector from four values known at compile-time.
 
It's copy-pasted from the docs for static float32x8 simdpp::float32x8::make_const(float v0, float v1, float v2, float v3)
Dunno what "compile-time" means there.
 
12:14 PM
looks like they forgot contexpr
in the meantime, linking step takes forever on ubuntu
and cabal does that every time for whatever reason
 
@R.MartinhoFernandes Well, it's about a value issued as a processor immediate, I believe, so "compile-time" means "Compiler must know value at code-generation time".
 
@R.M do you have any idea, besides specifying everything explicitely, how to avoid the ambiguities between Control.Monad.Trans.State.Lazy and Control.Monad.State.Class? Could splitting "inner" (StateT) and outer (Glisha as MonadState) parts into separate files work?
 
@BartekBanachewicz Don't import Trans.State.Lazy?
 
@R.MartinhoFernandes but I need StateT in the insides of the implementation :f
 
IIRC one of those is supposed to be for advanced usage, i.e. you know what you're doing. There's some more general module that exports the relevant stuff from it.
 
12:19 PM
oh.
 
Contr.Monad.Trans.State, maybe.
 
Xeo
Control.Monad.State gives access to StateT oO /cc @Bartek
 
@Xeo wat.
I keep mixing all that
and importing random stuff just to make it work
guess it wasn't such a good idea after all
eh fuck and Lenses in my monad are still ambiguous
maybe because of that
 
Xeo
There are two libraries involved with monads and their transformers - 'transformers', which has StateT, ReaderT, MaybeT etc, and 'mtl', which depends on 'transformers' and has MonadState, MonadReader, MonadMaybe etc
mtl also reexports transformer's MonadTs
 
:F
this is confusing
 
Xeo
12:28 PM
Control.Monad.State comes from mtl, and gives access to State, StateT and MonadState, the former two being reexported from transformers. (IIRC)
 
@Xeo awww yiss
 
Xeo
MonadState, MonadReader, MonadMaybe etc (from mtl) are for properly working Monad transformer stacks
 
so I got rid from the ambiguities in the library
but not in the user Lens code :/
 
Xeo
Lens depends on mtl and uses MonadState etc
 
I made my monad an instance of MonadState
I thought that would be enough to make use of lenses in it unambiguous
 
Xeo
12:31 PM
you made your own monad?
 
well I have a trivial wrapper over IO
it's an instance of Monad and MonadState so I guess you can say I did
it prevents the user from running arbitrary IO code, I stole that from SafeHaskell example
 
Xeo
and what exactly is ambiguous / broken?
 
sec
@Xeo this
I've removed unneccessary imports
hmm
I think I can remove import to State from client code too
samples/sample2.hs:34:16:
    Not in scope: `get'
hmpfh.
 
waaaait.
 
Xeo
12:43 PM
@BartekBanachewicz I think you can just reexport State from your module
 
@Xeo I have to fix reexports in general, but cabal is kinda a pita to configure :/
 
looks good
 
it's a pita :v
 
Xeo
@BartekBanachewicz what exactly is position?
 
I saw your very bad pun
 
12:45 PM
@Xeo lens accessor on my Instance thing
 
Xeo
autogenerated?
 
Xeo
hm. x too?
 
x = (element 0) (for GL.Vector2)
 
Xeo
mh
 
12:46 PM
could this be a problem?
 
Xeo
does that thing have a proper signature?
 
well it worked under different conditions
 
Xeo
if not, try adapting the one from element, minus the Int argument
just for checking
 
like with manual traversed.position.x `over` change $ objects if I provided objects manually
 
Xeo
can I get a gist of your monad and the respective instances?
 
12:48 PM
okay I think I found the problem
:/
I had some leftover code that wasn't used
@Xeo the current thing is on the broken branch on my GH
I'll commit the current fixes in a sec
 
Xeo
does it work now?
 
I think it does.
Removing the unnecessary imports helped me narrow that thing. Thanks for clarifying, BTW.
 
Xeo
np
 
@Xeo there
the samples are looking really cool
pretty much as simple as Love2D, but totally safe.
 
Where is everyone today?
 
1:02 PM
this is cool ^
 
Oh my god, the Stan Lippman? One of the authors of C++ Primer? Unfortunately, the audio has strange issues...
 
@TonyTheLion Right here.
 
Hm, "C++ Primer" is the #1 beststeller on amazon.de in the "Programming in C" category... O_o
 
I liked that book
 
But it's not a C book.
 
1:10 PM
mhm, this "modern C" thing was
> I think the best part about C is that it is very simple in comparison to C++. The changes in the new languages are things you would expect to be standard - not drastic changes to the way code is written (expanded types, variable length arrays, built in threading, etc). Time has also not created an expansive standard library or way of doing things that will take you years to master as in the STL/Boost camp or even Objective-C.
 
Ell
I have c++ primer 4th edition by lippman and moo
 
that was before C++11, wasn't it?
5th was C++11
 
@DeadMG Hey puppy! What you up to?
 
> STL Boot Camp
 
heh
the guy who wrote that appeared here a few times; I might have called him an idiot once or twice
 
1:18 PM
auto Correct(int i) {
  if (i == 1)
    return i;               // return type deduced as int
  else
    return Correct(i-1)+i;  // ok to call it now
}

auto Wrong(int i)
{
  if(i != 1)
    return Wrong(i-1)+i;  // Too soon to call this. No prior return statement.
  else
    return i;             // return type deduced as int
}
weird
 
Xeo
@BartekBanachewicz but will take you years to write again and again and again... idiots
 
Okay, I cannot take this Lippman audio anymore. Time to change to Stepanov:
 
@FredOverflow I don't think it's "weird".
 
@LightnessRacesinOrbit it is
 
@BartekBanachewicz Why?
 
1:20 PM
@LightnessRacesinOrbit because the second case is unambiguous.
and as such, should be allowed.
 
Oh my god, another messed up audio track. Everything's on the left. I guess I'll have to download it and tell VLC to play only the left channel.
 
@BartekBanachewicz Well, I suppose the only improvement you could make is that if there are any non-recursive calls then take the return type of the first of those.
 
@LightnessRacesinOrbit well, first or any actually, because they have to match, no?
 
Couldn't you just keep recursive calls out of the type inference mechanism?
 
1:22 PM
@FredOverflow why?
 
@BartekBanachewicz Whom are you addressing your "why?" to?
 
foo x | x == 0 = 0 | otherwise = foo $ x - 1
look ma, no problems with inference.
 
@BartekBanachewicz Because recursive calls don't help the inference machine. Just ignore them, and deduce the return type from the non-recursive returns.
 
@BartekBanachewicz Sure. Ultimately you have to pick one, so you have something to compare against and ensure that they do all match. It needn't be the first but I think this would make the most intuitive diagnostics when they don't match.
Western humans read top-to-bottom.
 
@LightnessRacesinOrbit I see. And agree.
 
Xeo
1:25 PM
@LightnessRacesinOrbit are there actually languages that read bottom to top?
 
@Xeo Japanese does, doesn't it?
 
Xeo
lolwat
 
er, Chinese
There is some language. Looking it up
 
@Xeo The Matrix
 
Xeo
Japanese is either western style (left-to-right, top-to-bottom), or top-to-bottom, right-to-left
never bottom-to-top
and I don't think Chinese is either
 
1:29 PM
I think Qt 5 overdosed on dependencies.
 
> Several scripts used in the Philippines and Indonesia, such as Hanunó'o, are traditionally written with lines moving away from the writer, from bottom to top, but are read horizontally left to right.
Could have sworn there were others
And that example isn't even really a good example
> The Ancient Berber developed from the Phoenician script and like Phoenician, was originally written from right to left in horizontal lines, but became more commonly written from bottom to top in vertical columns running from right to left.
> The following writing systems are written from right to left in vertical lines running from bottom to top:
>
> Batak, Hanuno'o, Tagbanwa
>
> Note
> Tagbanwa is traditionally written in vertical columns running from bottom to top > and from left to right, however it is read from left to right in horizontal lines.
So there you go.
 
@locust9 No, I'm on a paradise island, on a small house over the water.
eh.
it's kinda nice to have shitload of money
 
Ell
Kinda nice? >.<
 
well yes, kinda nice.
 
Ell
It's more than kinda nice imho
 
1:38 PM
meh, money-obssesion
 
Ell
I think money can buy you a lot of happiness
It can't buy you good relationships but it can get rid of a lot of worries
 
true
but it wouldn't make cabal not relink my samples every time
 
maybe you'd then be able to pay someone to do it for you?
 
@TonyTheLion playing Banished
 
@TonyTheLion I'm coding for fun.
 
1:40 PM
@DeadMG oh, you're being more useful than me. I'm useless today.
@BartekBanachewicz oh
 
less useful than playing games all day?
 
yes, I'm not very productive today
I copy & pasted some code
that's as far as I've got
 
Ell
I ironed my suit
 
I don't even own an iron :/
 
Ell
.and I'm going to do some maths once I'm changed
 
1:43 PM
hi i am poor in explanation — Vishal 20 mins ago
 
@LightnessRacesinOrbit LOL
 
with context it's hilarious
 
yeah because of
> look it this why i don't know :( please enplane.
 
well at least he's right in one thing: he's poor in explanation.
 
1:45 PM
that's terrible
 
someone else: "My thrust area includes c++,boost c++,MFC." No wonder he only has -11 months' experience.
 
> thrust area
damn it. I've updated cabal to 1.18.0.2 but it's still performing full relink every time
 
@LightnessRacesinOrbit oh gawd :/
 
Mocking Indians, are we?
 
Vlad's posts have been annoyingly coherent and polite lately. :(
@R.MartinhoFernandes No
 
1:48 PM
oh wait no
someone made a PR
 
@R.MartinhoFernandes Well, yes. But not because they are Indians.
 
@LightnessRacesinOrbit That one guy claims to be from India
 
but didn't get merged, I guess :/
 
@LightnessRacesinOrbit He subsided to the pressure
 
@TonyTheLion Or got past the менопаусе
 
1:48 PM
lol
well done on your Russian
 
Google Translate detects it as Macedonian.
 
Its a trap!
 
@LightnessRacesinOrbit Btw, <s> only transliterates as <с> when pronounced as [∫]
 
damn it.
 
@R.MartinhoFernandes I just typed it into translit.cc *shrug*
 
1:52 PM
at least the code works :3 I can handle asynchronous keyboard state now :3
 
@LightnessRacesinOrbit Oh. I thought you had used the good ole "just change keyboard layout and type it as you would normally".
 
@StackedCrooked Could you slap some bit.ly (or something similar) support onto the "share" link in Coliru?
 
Хех, тхис ис цоол!
 
2:03 PM
> Blue and tkhis University Perforation!
 
59
Q: Transitivity of Auto-Specialization in GHC

EricFrom the docs: [Y]ou often don't even need the SPECIALIZE pragma in the first place. When compiling a module M, GHC's optimiser (with -O) automatically considers each top-level overloaded function declared in M, and specialises it for the different types at which it is called in M. The optimi...

 
> lovebjkhdbfjkhfcjksdxhckdshivkdshihv idsjfodsjfsjfoidsufioehjkidshikjdlkdlemwdflmewd
 
MIT Lisp Machines had a cool feature to help find the mouse cursor: if you moved the mouse back and forth quickly, the cursor would magnify (the documentation described it as "big like Godzilla"). — Barmar 14 hours ago
:(
Why was this feature lost.
 
Xeo
Windows has a similar thing
 
2:11 PM
Not big like Godzilla, and not by shaking the mouse.
 
Xeo
heh
 
Hmmm.
Though I have one spare button on my mouse. I could map that to the locate cursor key.
 
Xeo
you could also change the cursor icon to something that's easily recognizable :p
 
Unless I make it huge, it won't matter. The mouse cursor is recognizable enough, I think.
But there are just too many places where it can be.
 
Xeo
heh, especially on your big setup, eh
maybe an autohotkey script to position it in a certain place?
even the 'locate cursor' function might not be enough with 6 screens
 
2:22 PM
The problem with mapping the spare button to that is that I already grew used to pressing it for no reason.
 
oh man
I had a hospital for 30 years and never had any disease, so I reclaimed the resources.
next year, Spanish Flu :(
 
So it's not really spare after all. It's more like the stress relief dummy button.
 
Xeo
lol
 
The mouse at work doesn't have it and I find that I keep trying to press it anyway.
 
@R.MartinhoFernandes :)
dat feel
I had that with Ctrl for a while. It caused problems when I borrowed someone else's PC (lab machine, school, etc) and they hadn't turned off Sticky Keys or the Accessibility stuff
 
2:25 PM
I have that with Caps Lock.
 
Now I seem to mentally sort of "click" various parts of the outside of my monitor, with my mind. Naturally it takes a few times to get it absolutely right, which is frustrating.
 
@LightnessRacesinOrbit ah I know such things too well... there's some Ctrl/Alt/Shift combination that gets pressed way too easily and it changes between Keyboard layouts - and if you are used to a German layout and it suddenly switches to US layout it's a mess, because especially all the brackets, braces etc. are somewhere else
 
Who here is solid with statistics?
 
@BenjaminGruenbaum Bartek thinks he is. Robot actually is.
And I'm not
 
afternoon
 
2:28 PM
o/ @Jefffrey
 
@BenjaminGruenbaum Statistically speaking? or actually?
 
@BenjaminGruenbaum I'm only 3.3% +/- 0.25 solid with statistics.
 
I have a statistics question. I have an A/B test with multiple independent tests. I want to check which one is significantly better than the others. Which test would I need? (iirc I can use the T test for 2 tests, but I have more).
 
Xeo
@ArneMertz alt-umschalt (caps lock)
 
The standard deviation of the Lounge is sadistically flogging PHP developers.
 
2:31 PM
@StackedCrooked epic find
 
Xeo
on that note, a) why haven't you disabled the shortcut b) why haven't you remapped caps lock c) why aren't you using English layout? :)
 
@Xeo yeah. When I am on a newly instaleld Windows it's one of the first things I turn off - after getting lost with the keys the first time
 
@Xeo On Windows it's Alt+Left Shift by default.
It's a half-shortcut which makes it even more insidious.
 
Xeo
alt-left shift?
 
Xeo
2:34 PM
I was pretty sure it's capslock
 
@anthony-arnold True. I can't see one either. Edit: OH GOD HERP DERP I CAN'T READ VALGRIND SAYS THERE IS NO LEAK. Lulz. Now we can get back to how silly this guy is. :D — user1357649 Apr 15 '13 at 2:34
 
@Xeo a) I do as soon as I get messed up by it. c) because I'm used to it and have German keyboards everywhere
@Xeo I just looked - it's Left Alt and Shift
 
Xeo
right, I somehow had 'Umschalt == Caps lock' in my mind
 
@TonyTheLion you're a bad redditor today
 
Come on Miran, that's old
 
2:37 PM
@Xeo Caps lock is "Feststelltaste"
 
Xeo
alt-caps lock is changing between input types with Japanese layout (hiragana, katakana, romaji)
@ArneMertz Fuck the German terminology!
 
It's all modifiers, no actual "real" key in it. Easy to press accidentally "on the way" to a full shortcut.
 
@Xeo yeah
 
And then leaves you forever wondering what the hell did you press that changed it, because in your mind you never even issued any shortcut at all.
 
and to be precise: its "left Alt" and any Shift... (I don't know about you, but i have only one real Alt)
@R.MartinhoFernandes exactly.
 
2:39 PM
@LightnessRacesinOrbit I started studying it some two months ago. Don't get fooled by my selective discussion of the few parts I grok :)
 
Xeo
the right alt is alt graph
 
@Xeo so it's not really alt is it?
 
Xeo
aka alt+ctrl
it's weird
 
@FredOverflow the guy never fails to surprise
 
Xeo
I do like the context key right next to it, though
 
2:40 PM
Not quite. Alt+Ctrl works as an alternative on some setups that treat right Alt as a normal Alt.
Alt Gr is not a general replacement for Ctrl+Alt.
(Alt Gr + Delete?)
 
Xeo
hm, true
 
@BenjaminGruenbaum I don't know any, but my knowledge is limited.
 
@R.MartinhoFernandes know where I can look?
 
@Xeo and I hate the newer "Windows" keys left to Alt and right to AltGr
 
@sehe lol
 
Xeo
2:42 PM
@ArneMertz whaaaat
I love em
 
@FredOverflow IMHO it's never time to switch to Stepanov. I mean, he has some wise ideas but I find his auld style and slow pace hard to bear. Almost as bad as B. Milewski.
 
Xeo
Or at least left WinKey I love
 
@BenjaminGruenbaum I wish there was a "The Ultimate Statistical Test Cheat Sheet" somewhere, but I haven't found one yet. Maybe Cross Validated?
 
@Xeo nah. They get pressed too easily and pop you out of whatever you are doing just to open fucking start menu
 
Xeo
2:43 PM
@ArneMertz You just suck :P
I use the left one all the time
 
@Xeo no I press
 
@ArneMertz There's no Start menu now!
 
Xeo
There is
 
@Xeo My keyboard only has that one.
 
Xeo
It's still called the "start menu" I think
 
2:44 PM
@LightnessRacesinOrbit so beauty
 
@R.MartinhoFernandes if you have Win 8.0
 
@LightnessRacesinOrbit OK, hot. Who is it?
 
I think she is high though
look at her pupils
maybe she is just horny
 
@Xeo what do you use it for?
 
Xeo
@ArneMertz Win-E for explorer, just WinKey alone and then typing something for search, Win-R for Run
and on my Win8 work machine Win-I and Win-C
also Win-L at work, for lock
 
2:48 PM
@R.MartinhoFernandes, make up your mind
 
Xeo
:14864124 your conscience is acting up again
 
Hello everyone
 
@ArneMertz "newer"?
Those things have been mainstream for over ten years.
 
@MartinJames I have no idea
 
@BenjaminGruenbaum Maybe some form of ANOVA? I remember that from my course in university, but only vaguely. I learned fuck nothing in that course.
 
2:51 PM
@AkhileshSk A java guy eh
hi
 
@R.MartinhoFernandes well I'm still not used to them :P call me Oldscool in that regard
 
"Paisha Coffey"
 
@Xeo TIL... I just knew Win+E
 
Xeo
Even just for Win-E it's invaluable!
oh, and prior to win7 also Win-Tab
 
2:54 PM
@Xeo not that invaluable. how do you navigate inside Explorer? by keyboard or by mouse?
 
Xeo
fancy version of alt-tab
 
@LightnessRacesinOrbit Ok, nice anyway, though should be tagged NSFW, (Not Suitable For Wife).
 
Xeo
@ArneMertz keyboard
 
@Xeo works in Win7 also
 
@ArneMertz voice control obviously. That thing where it overlays a grid of numbers over the screen, you call it out, then it does a smaller grid inside that cell etc.... :p
 
Xeo
2:55 PM
@ArneMertz it does? not for me
 
@melak47 Hmm, we can do something like that with our brain thingy.
 
@R.MartinhoFernandes neat
 
I'm not wearing a tinfoil hat just to trigger shortcuts.
 
That's similar to how the speller currently works.
 
@Xeo gives me that fancy "switch between windows" view.
as long as you hold the win key then
 
Xeo
2:57 PM
huh
I'm not getting that
 
I find that horrible.
 
Oh! I miss aero!
 
@Xeo do youhave a windows 7 theme or one of those Win2K themes?
 
Xeo
alt-tab is superiour anyways
 
It was the mostly useless feature. I kept wondering when Windows was going to do the cube desktop like compiz.
 
Xeo
2:58 PM
navigating it with arrow keys
 
@Xeo I mostly use Win+1, Win+2, etc.
 
@R.MartinhoFernandes I use the 'flying windows' aero view often. I don't see it as particularly horrible.
 
Xeo
@ArneMertz Normal Win7 aero theme... although it's currently in basic mode because of Splashtop
but even without basic mode I didn't get that
Win7 Professional
 

« first day (1224 days earlier)      last day (3740 days later) »