Re: DConf 2014 Lightning Talks

2014-08-07 Thread Bruno Medeiros via Digitalmars-d-announce

On 21/07/2014 20:13, Andrei Alexandrescu wrote:

Now available from youtube by default.

http://www.reddit.com/r/programming/comments/2bbklj/dconf_2014_lightning_talks/


https://twitter.com/D_Programming/status/491299147015012352

https://www.facebook.com/dlang.org/posts/888753774471638


Andrei



In Átila's talk, there is an egregious misuse of the term syntax 
checking, applied to what is actually language *semantics*, not 
syntax... ^_^'  But cool talk, and cool tool.


One question though, I'm hoping people familiar with Emacs could clarify 
to me: I assume that for flycheck to work in the continuous 
(as-you-type) way that it is shown to be working, then the files being 
edited have to be saved on to the disk, so that dmd can check them. Is 
it this saving done to the actual underlying files, or to some sort of 
copy? (I'm guessing that it's to the actual underlying files)


This is an interesting behavior I've come across, even before watching 
this talk: Recently I tried IntelliJ IDEA, and it also goes away with 
any explicit UI notion of saving a file. It just saves files 
automatically, as you type. This is interesting, and might well be a 
marked improvement in UI behavior...


--
Bruno Medeiros
https://twitter.com/brunodomedeiros


Re: DConf 2014 Lightning Talks

2014-08-07 Thread David Gileadi via Digitalmars-d-announce

On 8/7/14, 4:18 AM, Bruno Medeiros wrote:

This is an interesting behavior I've come across, even before watching
this talk: Recently I tried IntelliJ IDEA, and it also goes away with
any explicit UI notion of saving a file. It just saves files
automatically, as you type. This is interesting, and might well be a
marked improvement in UI behavior...


This is a UI direction that Mac OSX is going in, presumably as part of 
their push to bring iOS behavior to the desktop. Apps that use it save 
as they go, and they have a standard UI to browse through previous 
versions of your document if you want to go back to (or crib from) 
something earlier.


Re: DConf 2014 Lightning Talks

2014-08-01 Thread bearophile via Digitalmars-d-announce

Ali Çehreli:


Ali Çehreli's (first speaker) slides are at

  http://acehreli.org/AliCehreli_assumptions.pdf


It's a nice slides pack. Now in Phobos there's also assumeUTF 
(https://d.puremagic.com/issues/show_bug.cgi?id=10162 ).


See also:
https://issues.dlang.org/show_bug.cgi?id=9682

It essentially asks two functions (group and filter) to return a 
SortedRange if the input is a SortedRange, because those two 
functions don't change the items order.


In Haskell you do such things using rewrite rules 
(https://www.haskell.org/ghc/docs/7.0.1/html/users_guide/rewrite-rules.html 
).


Those are two examples of conservation of assumptions 
(invariants).


assumeUnique returns an immutable instead of a Unique!T struct. 
So after calling assumeUnique you can't mutate the items. An 
Unique!T wrapper (like std.typecons.Unique) allows you to mutate 
the items if the needs arises but also to keep their property of 
having no shared references. Some functions like sort() are able 
to conserve the property of uniqueness, so sorting an array of 
Unique should return a SortedRange!(Unique!T[]) or something like 
that.


Another assumption that could be useful for Phobos is 
assumeAligned!(T[], 16), that specifies the assumption that a 
specific slice has its first item aligned to 16 bytes. This could 
be useful if you use SIMD instructions (time ago I have even 
suggested to put such array alignment inside the D type system, 
but I didn't raise much enthusiasm).


Bye,
bearophile


Re: DConf 2014 Lightning Talks

2014-07-23 Thread Dmitry Olshansky via Digitalmars-d-announce

22-Jul-2014 03:20, Dicebot пишет:

Brian WAT slides were absolutely brilliant, I have totally enjoyed
watching those for the second time now :)


Yes, his talk is one of my favorites. So much fun in so little time :)

--
Dmitry Olshansky


Re: DConf 2014 Lightning Talks

2014-07-22 Thread Iain Buclaw via Digitalmars-d-announce
On 22 Jul 2014 02:15, Walter Bright via Digitalmars-d-announce 
digitalmars-d-announce@puremagic.com wrote:

 On 7/21/2014 3:59 PM, Robert burner Schadek wrote:

 On Monday, 21 July 2014 at 22:08:26 UTC, Brian Schott wrote:

 On Monday, 21 July 2014 at 22:04:58 UTC, Ali Çehreli wrote:

 Thanks! I will wait at least another year before watching the video. I
don't
 think I can stand seeing myself cramming 26 slides in 10 minutes! :)


 Waiting never helps! I can never stand to watch the videos of myself.



 I know how you feel. I don't want to watch my talk either.


 I did watch mine and I'm a cocky son of a . that will not look in
the
 mirror for a week. But IMO it is a good tool for self-reflection. I
learned that
 my voice is annoying and that I had to much food lately.

 @Brian and @Ali you're fine, don't worry.


 True.

 I used to be in the dance business.

Andrei's a drummer, Walter's a dancer.  Now I know I have seen too much.  :)


Re: DConf 2014 Lightning Talks

2014-07-22 Thread Walter Bright via Digitalmars-d-announce

On 7/21/2014 11:20 PM, Iain Buclaw via Digitalmars-d-announce wrote:

  I used to be in the dance business.
Andrei's a drummer, Walter's a dancer.  Now I know I have seen too much.  :)



No, I'm not posting any videos of that!


Re: DConf 2014 Lightning Talks

2014-07-22 Thread Leandro Lucarella via Digitalmars-d-announce
Piotrek, el 21 de July a las 21:51 me escribiste:
 On Monday, 21 July 2014 at 21:39:52 UTC, Ali Çehreli wrote:
 Ali Çehreli's (first speaker) slides are at
 
   http://acehreli.org/AliCehreli_assumptions.pdf
 
 Ali
 
 Hi,
 
 Assume meme was great too.

https://www.youtube.com/watch?v=KEP1acj29-Y#t=36s

-- 
Leandro Lucarella (AKA luca) http://llucax.com.ar/
--
I can't watch TV for four minutes without thinking
I have five serious diseases.
Like: Do you ever wake up tired in the mornings?
Oh my god I have this, write this down. Whatever it is, I have this.


DConf 2014 Lightning Talks

2014-07-21 Thread Andrei Alexandrescu via Digitalmars-d-announce

Now available from youtube by default.

http://www.reddit.com/r/programming/comments/2bbklj/dconf_2014_lightning_talks/

https://twitter.com/D_Programming/status/491299147015012352

https://www.facebook.com/dlang.org/posts/888753774471638


Andrei



Re: DConf 2014 Lightning Talks

2014-07-21 Thread deadalnix via Digitalmars-d-announce

On Monday, 21 July 2014 at 19:13:55 UTC, Andrei Alexandrescu
wrote:

Now available from youtube by default.

http://www.reddit.com/r/programming/comments/2bbklj/dconf_2014_lightning_talks/

https://twitter.com/D_Programming/status/491299147015012352

https://www.facebook.com/dlang.org/posts/888753774471638


Andrei


This video is private.


Re: DConf 2014 Lightning Talks

2014-07-21 Thread Ali Çehreli via Digitalmars-d-announce

On 07/21/2014 12:13 PM, Andrei Alexandrescu wrote:

Now available from youtube by default.

http://www.reddit.com/r/programming/comments/2bbklj/dconf_2014_lightning_talks/


https://twitter.com/D_Programming/status/491299147015012352

https://www.facebook.com/dlang.org/posts/888753774471638


Andrei



Ali Çehreli's (first speaker) slides are at

  http://acehreli.org/AliCehreli_assumptions.pdf

Ali



Re: DConf 2014 Lightning Talks

2014-07-21 Thread Piotrek via Digitalmars-d-announce

Hi,

Brian's talk is enjoyable. I's an evidence that D people are in 
touch with ground... rolling and laughing...


Please keep some PRs open and save some WATs for next year.

Also, we still need more explosions and planes in presentations!

But seriously, thanks Brian and others for your work.

Cheers
Piotrek


Re: DConf 2014 Lightning Talks

2014-07-21 Thread Piotrek via Digitalmars-d-announce

On Monday, 21 July 2014 at 21:39:52 UTC, Ali Çehreli wrote:

Ali Çehreli's (first speaker) slides are at

  http://acehreli.org/AliCehreli_assumptions.pdf

Ali


Hi,

Assume meme was great too.

Cheers,
Piotrek


Re: DConf 2014 Lightning Talks

2014-07-21 Thread Ali Çehreli via Digitalmars-d-announce

On 07/21/2014 02:51 PM, Piotrek wrote:

On Monday, 21 July 2014 at 21:39:52 UTC, Ali Çehreli wrote:

Ali Çehreli's (first speaker) slides are at

  http://acehreli.org/AliCehreli_assumptions.pdf

Ali


Hi,

Assume meme was great too.

Cheers,
Piotrek


Thanks! I will wait at least another year before watching the video. I 
don't think I can stand seeing myself cramming 26 slides in 10 minutes! :)


Ali



Re: DConf 2014 Lightning Talks

2014-07-21 Thread Brian Schott via Digitalmars-d-announce

On Monday, 21 July 2014 at 22:04:58 UTC, Ali Çehreli wrote:
Thanks! I will wait at least another year before watching the 
video. I don't think I can stand seeing myself cramming 26 
slides in 10 minutes! :)


Ali


I know how you feel. I don't want to watch my talk either.


Re: DConf 2014 Lightning Talks

2014-07-21 Thread Robert burner Schadek via Digitalmars-d-announce

On Monday, 21 July 2014 at 22:08:26 UTC, Brian Schott wrote:

On Monday, 21 July 2014 at 22:04:58 UTC, Ali Çehreli wrote:
Thanks! I will wait at least another year before watching the 
video. I don't think I can stand seeing myself cramming 26 
slides in 10 minutes! :)


Ali


I know how you feel. I don't want to watch my talk either.


I did watch mine and I'm a cocky son of a . that will not 
look in the mirror for a week. But IMO it is a good tool for 
self-reflection. I learned that my voice is annoying and that I 
had to much food lately.


@Brian and @Ali you're fine, don't worry.


Re: DConf 2014 Lightning Talks

2014-07-21 Thread Dicebot via Digitalmars-d-announce
Brian WAT slides were absolutely brilliant, I have totally 
enjoyed watching those for the second time now :)


Re: DConf 2014 Lightning Talks

2014-07-21 Thread Walter Bright via Digitalmars-d-announce

On 7/21/2014 3:59 PM, Robert burner Schadek wrote:

On Monday, 21 July 2014 at 22:08:26 UTC, Brian Schott wrote:

On Monday, 21 July 2014 at 22:04:58 UTC, Ali Çehreli wrote:

Thanks! I will wait at least another year before watching the video. I don't
think I can stand seeing myself cramming 26 slides in 10 minutes! :)


Waiting never helps! I can never stand to watch the videos of myself.



I know how you feel. I don't want to watch my talk either.


I did watch mine and I'm a cocky son of a . that will not look in the
mirror for a week. But IMO it is a good tool for self-reflection. I learned that
my voice is annoying and that I had to much food lately.

@Brian and @Ali you're fine, don't worry.


True.

I used to be in the dance business. The coach would never videotape his students 
until he knew they were hooked. Otherwise, they'd be devastated and quit. How 
you think you look and how you actually look are very different things. 
Videotape is the harshest, and most effective, training tool.