Re: Ocean v2.1.1 released

2016-09-22 Thread Chris Wright via Digitalmars-d-announce
What does Ocean do?


Re: V0.5.2 of Emsi's containers library is released

2016-09-22 Thread Andrei Alexandrescu via Digitalmars-d-announce

On 9/22/16 3:22 PM, Brian Schott wrote:

https://github.com/economicmodeling/containers/releases/tag/v0.5.2

This is a containers library built on top of std.experimental.allocator.
Version 0.5.2 fixes several bugs in the UnrolledList and HashMap
containers.


Awesome. I'm curious if there are any benchmarks that can help us 
improve allocators. -- Andrei




Re: Cppcon tonight at 8:30 in Bellevue

2016-09-22 Thread Andrei Alexandrescu via Digitalmars-d-announce

On 9/22/16 2:35 PM, Brad Anderson wrote:

I remember you recommending Types and Programming Languages by MIT Press
awhile back. Is that still what you'd recommend for learning about type
theory?


Yes, although not a lot of current work is available in book format at 
all. Also, I've heard Pierce's second book "Advanced Topics in Types and 
Programming Languages" is just way esoteric. Maybe Timon has some more 
recommendations. -- Andrei




Re: Cppcon tonight at 8:30 in Bellevue

2016-09-22 Thread Atila Neves via Digitalmars-d-announce

On Thursday, 22 September 2016 at 21:21:06 UTC, cym13 wrote:
On Thursday, 22 September 2016 at 19:50:40 UTC, Atila Neves 
wrote:
On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright 
wrote:

Wednesday 09/21/2016 8:30pm: Writing Secure C++

CppCon is being hosted at the Meydenbauer Center in Bellevue. 
Directions and parking information can be found here:


http://www.meydenbauer.com/parking-directions/

Additional information on CppCon can be found here: 
http://cppcon.org/


Don't need a ticket to attend this one, all are welcome. I 
plan on being there.


D's been explicitly mentioned in two talks that I've been to 
so far.


Atila


Which talks are those?



Developing C++ @ Facebook Scale

and

Implementing `static` control flow in C++14


Atila


Re: Cppcon tonight at 8:30 in Bellevue

2016-09-22 Thread cym13 via Digitalmars-d-announce

On Thursday, 22 September 2016 at 19:50:40 UTC, Atila Neves wrote:
On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright 
wrote:

Wednesday 09/21/2016 8:30pm: Writing Secure C++

CppCon is being hosted at the Meydenbauer Center in Bellevue. 
Directions and parking information can be found here:


http://www.meydenbauer.com/parking-directions/

Additional information on CppCon can be found here: 
http://cppcon.org/


Don't need a ticket to attend this one, all are welcome. I 
plan on being there.


D's been explicitly mentioned in two talks that I've been to so 
far.


Atila


Which talks are those?


Re: Cppcon tonight at 8:30 in Bellevue

2016-09-22 Thread Atila Neves via Digitalmars-d-announce
On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright 
wrote:

Wednesday 09/21/2016 8:30pm: Writing Secure C++

CppCon is being hosted at the Meydenbauer Center in Bellevue. 
Directions and parking information can be found here:


http://www.meydenbauer.com/parking-directions/

Additional information on CppCon can be found here: 
http://cppcon.org/


Don't need a ticket to attend this one, all are welcome. I plan 
on being there.


D's been explicitly mentioned in two talks that I've been to so 
far.


Atila


V0.5.2 of Emsi's containers library is released

2016-09-22 Thread Brian Schott via Digitalmars-d-announce

https://github.com/economicmodeling/containers/releases/tag/v0.5.2

This is a containers library built on top of 
std.experimental.allocator. Version 0.5.2 fixes several bugs in 
the UnrolledList and HashMap containers.


Re: Cppcon tonight at 8:30 in Bellevue

2016-09-22 Thread Brad Anderson via Digitalmars-d-announce
On Thursday, 22 September 2016 at 14:03:04 UTC, Andrei 
Alexandrescu wrote:

On 9/21/16 7:37 PM, Walter Bright wrote:

On 9/21/2016 3:48 PM, Brad Anderson wrote:

http://www.elbeno.com/presentations/using-types-effectively/presentation.html



Sorry I wasn't clear. The free entry is only for the 8:30 talk.


Slides are nice, I hope the talk was good. His notion of total 
functions gets a bit weakened by the existence of the default 
constructor (e.g. if the return type has a default value, you 
can always write a total function that just returns it). In 
order to avoid such degenerate cases, he'd need to add the 
requirement that the function is also injective (maps different 
inputs to different outputs). Then his examples are meaningful 
(and beautiful).


In D, the closest we get to the notion of a total function is a 
nothrow pure function. As far as I know we cannot enforce 
injectivity.



Andrei


Just to be clear, this wasn't slides for the talk Walter was 
attending. I'm not sure if Walter was going to the Lightning 
Talks, the Concepts/Range talk, or the Biggest Security Fails 
talk. This was just a separate one from earlier in the week.


I remember you recommending Types and Programming Languages by 
MIT Press awhile back. Is that still what you'd recommend for 
learning about type theory?


Re: Cppcon tonight at 8:30 in Bellevue

2016-09-22 Thread Andrei Alexandrescu via Digitalmars-d-announce

On 9/21/16 7:37 PM, Walter Bright wrote:

On 9/21/2016 3:48 PM, Brad Anderson wrote:

http://www.elbeno.com/presentations/using-types-effectively/presentation.html



Sorry I wasn't clear. The free entry is only for the 8:30 talk.


Slides are nice, I hope the talk was good. His notion of total functions 
gets a bit weakened by the existence of the default constructor (e.g. if 
the return type has a default value, you can always write a total 
function that just returns it). In order to avoid such degenerate cases, 
he'd need to add the requirement that the function is also injective 
(maps different inputs to different outputs). Then his examples are 
meaningful (and beautiful).


In D, the closest we get to the notion of a total function is a nothrow 
pure function. As far as I know we cannot enforce injectivity.



Andrei



Re: Beta D 2.071.2-b5

2016-09-22 Thread Dsby via Digitalmars-d-announce
On Wednesday, 14 September 2016 at 12:58:15 UTC, Johan Engelen 
wrote:
On Wednesday, 14 September 2016 at 12:16:51 UTC, Martin Nowak 
wrote:

Fifth and hopefully last beta for the 2.071.2 release.

This comes with two more fixes for Issue 16031 and 16460.


LDC master is up-to-date with 2.071.2-b5!


when will Ldc 1.1 release?


Ocean v2.1.1 released

2016-09-22 Thread Leandro Lucarella via Digitalmars-d-announce

Hello dlang-forum-people!

After almost 3 months since the open sourcing of Ocean, I wanted 
to give a small project update.


Yesterday both Ocean v2.1.0 and the patch release v2.1.1 were 
released. This is first minor public release since the open 
sourcing. Minor releases include new features, and since v2.1.0 
consists on the merging of 2 minor releases in our v1.x.x 
internal branch, it is packed with quite a few new stuff. You can 
see the full changelog(s) here:

https://github.com/sociomantic-tsunami/ocean/releases/tag/v2.1.0-preview
https://github.com/sociomantic-tsunami/ocean/releases/tag/v2.1.1-preview

In the meantime, we also did 8 maintenance releases for the v2.0 
series (most containing only 1 bug fix, but some containing 
almost up to 10):

https://github.com/sociomantic-tsunami/ocean/releases/tag/v2.0.1-preview
https://github.com/sociomantic-tsunami/ocean/releases/tag/v2.0.2-preview
https://github.com/sociomantic-tsunami/ocean/releases/tag/v2.0.3-preview
https://github.com/sociomantic-tsunami/ocean/releases/tag/v2.0.4-preview
https://github.com/sociomantic-tsunami/ocean/releases/tag/v2.0.5-preview
https://github.com/sociomantic-tsunami/ocean/releases/tag/v2.0.6-preview
https://github.com/sociomantic-tsunami/ocean/releases/tag/v2.0.7-preview
https://github.com/sociomantic-tsunami/ocean/releases/tag/v2.0.8-preview

All this is in the good side. On the bad side, we still couldn't 
move the whole development to the open source project (the main 
blocker still being setting up automated testing for the open 
source project), so for the v2.1.0 release we just included all 
the changes as a big commit instead of porting all the individual 
commits we made in our internal project. This is just a 
temporary, transitional issue, though and patch releases still 
get the commits cherry picked properly, as it is much easier than 
with full minor releases :)


All that said, I want to clarify again, that the `-preview` mark 
doesn't really mean this is not production ready, is the exact 
same code we are using internally at Sociomantic, is just that we 
want to make clear that development is still not fully moved to 
the open source project and also having different tags for the 
internal and external releases makes maintaining both a bit 
easier for now.


Finally, I would love to hear if somebody is using, or have used 
or adapted any code in Ocean.


Thanks!