TacticalGrace
- @edwinbrady Due to the size of the type term of the quoted program fragment?about 19 hours ago from Syrinx in reply to edwinbrady
- @pigworker They are implicit in TypeFamilies IIRCabout 19 hours ago from Syrinx in reply to pigworker
- ...ok, ok, maybe I shouldn't have used GADTs, TypeFamilies, FlexibleContexts, FlexibleInstances, ScopedTypeVariables & UndecidableInstancesabout 19 hours ago from Syrinx
- Dear GHC, type error messages that span 27 lines are *not* funny!about 19 hours ago from Syrinx
- @alexey_r I am not using a polymorphic embedding, but reflect the EDSL into a GADT, but I have two GADTs and a conversion between them.4:11 AM Jul 11th from Syrinx in reply to alexey_r
- Playing with type families to implement transparent datatype representation changes in embedded languages #haskell3:17 AM Jul 11th from Syrinx
- @dorchard The one where some particular overlaps weren't recognised if instances were in a particular order? Yes, that's fixed.2:11 AM Jul 10th from Syrinx in reply to dorchard
- @hate_pick_nick That sounds like a feature request and I am not convinced it is actually feasible12:00 AM Jul 10th from Syrinx in reply to hate_pick_nick
- Fixing type family bugs in GHC9:48 PM Jul 9th from Syrinx
- @AndrePang Which one do you use?6:03 PM Jul 9th from Syrinx in reply to AndrePang
- @AndrePang I had an anti-glare film but it was grainy making small print hard to read. G's is better in that respect, but doesn't stick well6:02 PM Jul 9th from Syrinx in reply to AndrePang
- @alancse How did you scratch it? I am always torn between risking scratches and a protective film, which in itself is often annoying.5:34 PM Jul 9th from Syrinx in reply to alancse
- @alancse What happend with the screen?5:00 PM Jul 9th from Syrinx in reply to alancse
- @AiGameDev Counterstrike (both CZ and Source)4:08 AM Jul 9th from Syrinx in reply to AiGameDev
- @pigworker Maybe you pull your shoulders up, tensing your shoulder and back muscles, when you are programming or similar?4:06 AM Jul 9th from Syrinx in reply to pigworker
- RT @efa_oz: Save the Children opposes Internet filter: http://is.gd/1rTGX and GetUp launches new ad: http://censordyne.com/ #nocleanfeed11:25 PM Jul 8th from Syrinx
- @donsbot Yes, it aims at a lower level of programs. It's more like what Obsidian is for GPUs.9:43 PM Jul 8th from Syrinx in reply to donsbot
- @conal I don't think there is a geometry shader extension for OpenGL ES (yet?) - see http://www.khronos.org/regi...9:34 PM Jul 8th from Syrinx in reply to conal
- @conal Apple resellers are usually happy to sell and install a memory upgrade for a lot less, or buy memory separately & install it yourself4:46 PM Jul 8th from Syrinx in reply to conal
- @sigfpe How about, "What email?" ;)4:36 PM Jul 8th from Syrinx in reply to sigfpe
|
|
