This gives a great breakdown on how Idris works. To be clear you will get a compile time error, i…
frkn
A couple notes
-Since Casey uses unity builds and whole code is just one translation unit, …
The thing about mutability is that both ends of the spectrum are very powerful. Being stateless i…
hugo —
John_Uskglass the fact that they are towards the pure end of functional programming languages?
Y…
Quite a good overview over different typesystems.
Idris seems quite compelling with its ability …
Laurie —
@mmozeiko Ah thanks, I'd missed that in the comments.
@hugo Interesting question. I think there …
Adrian —
There is something I don't understand with my bitmap.
To create the bitmapContext I use this co…
hugo —
Very nice rant indeed. In the spirit of handmade, I had also commented asking if anyone would ela…
Last night, I did a talk and demo of the programming language that I've been developing. Here is …
This is answered in comments:
in any programming language, we usually verify statically unknown d…
Laurie —
Thanks for the link! As you say, very interesting article. I didn't quite understand the bit abou…
Unlegushwanion
Yes, important point. But I mean the first read, after the write. There are ways …
cmuratori Can you file a GitHub request for it? That seems to be the best way of keeping track o…
msmshazan X11 or xcb?
I think this means "Xlib vs XCB" ? or are you meaning implementing X11 Di…
Can you file a GitHub request for it? That seems to be the best way of keeping track of things p…
Fences will _not_ ensure that the... loads) will have also finished.
Yes, important point. But …
I was going to fix that bug, but I completely forgot about it. Thanks for reminding me, I'll fix …
Mikkel —
New version! Awesome!
Now, whenever my program hits an exception (or rather my assert have been t…
Connor —
Time to try MotionBox, I guess! :D. So many nice comments about it.
- Connor
Hello everyone! Today I upload a new version of CDbg with some improvements and bug fixes.
Change…
Takadimi I was honestly shocked when I booted it up for the first time yesterday. I had been deal…
strangezak Gosh i need to get MotionBox everyone is saying it's awesome :D
Just go get it: http:…
Thank you Allen,
Honestly I already thought that the HMN was very welcoming and then came your m…
2) I can't see anyway to access relevant account information. Like for my youtube account it wou…
I was honestly shocked when I booted it up for the first time yesterday.
I had been dealing with…
Unlegushwanion
To me the requirement of fences for a 100% guarantee is a good thing. Because it …
Please forgive me if I am rambling. I find this topic to be very interesting, and important.
Rea…
If you haven't seen these blog posts, take a look:
https://fgiesen.wordpress.com/2014/07/07/cac…
When Casey began addressing the issues in GitHub, I saw the one about "wrong pitch" and just assu…
It doesn't really matter. Both are API are more or less ok. And both of them talks with same X Wi…