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.

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.  :)

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!

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.

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

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

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

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.

On 07/08/2014 15:45, David Gileadi wrote:
> 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.

Interesting.

Indeed the only potential issue I saw with this approach was, how does the application "mark" each local history version of a document? With explicit save it's easy, just create a new version in the local history each time the document is saved.
Without explicit save... A smart algorithm/heuristic would have to be put in place. Something like saving a new version after a user stops typing after a while (5min or so?), or after a significant number of changes occurred. (if the local history is smart enough and saves changes incrementally, it can actually store every single change actually)

In any case that's workable, and overall it seems like an improvement in UI design. It even reminds me of the talk "Inventing on Principle" talk Bret Victor gave ( http://vimeo.com/36579366 ), in particular the aspect about reducing (if not removing entirely) the save/compile/run cycle.

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