On Tuesday, 15 July 2014 at 18:47:28 UTC, bearophile wrote:
The talk was nice, and it's the chance I was waiting to ask a
question to the speaker.
I've read a very nice paper (+ slides) about using some
specialized but simple type system rules to make less bug-prone
the bit-twiddling kind of
Am Mon, 14 Jul 2014 11:17:26 -0700
schrieb Andrei Alexandrescu seewebsiteforem...@erdani.org:
http://www.reddit.com/r/programming/comments/2aoqov/dconf_2014_day_2_talk_7_tiny_ubiquitous_machines/
https://www.facebook.com/dlang.org/posts/884725944874421
The talk was nice, and it's the chance I was waiting to ask a
question to the speaker.
I've read a very nice paper (+ slides) about using some
specialized but simple type system rules to make less bug-prone
the bit-twiddling kind of code, Bit-Level Types for High-Level
Reasoning by Ranjit
So are those things a good addition to Phobos for your kind of
programming? (additions to the language can be discussed later).
You can look at the slides for a quicker overview, or you can ask
me here for a summary, if necessary.
Bye,
bearophile
http://www.reddit.com/r/programming/comments/2aoqov/dconf_2014_day_2_talk_7_tiny_ubiquitous_machines/
https://www.facebook.com/dlang.org/posts/884725944874421
https://twitter.com/D_Programming/status/488748669869780992
Andrei
On Monday, 14 July 2014 at 18:17:25 UTC, Andrei Alexandrescu
wrote:
http://www.reddit.com/r/programming/comments/2aoqov/dconf_2014_day_2_talk_7_tiny_ubiquitous_machines/
https://www.facebook.com/dlang.org/posts/884725944874421
https://twitter.com/D_Programming/status/488748669869780992
This is my favorite DConf 2014 talk. I absolutely admire
dedication Mike has pushed through many annoying issues through
to the point he has prevailed :) Best proof of concept for D
usage in embedded barebone world I have seen so far.
On 7/14/2014 12:32 PM, Dicebot wrote:
This is my favorite DConf 2014 talk. I absolutely admire dedication Mike has
pushed through many annoying issues through to the point he has prevailed :)
Best proof of concept for D usage in embedded barebone world I have seen so far.
Post this on reddit!
