23 April 2019

17 links · Tuesday

kframework/X86-64-semantics

Semantics of x86-64 in K. Contribute to kframework/X86-64-semantics development by creating an account on GitHub.

.NET Design Review: GitHub Quick Reviews

Today, we're focusing on API reviews that are blocking partners: https://github.com/dotnet/corefx/issues?q=is%3Aopen+is%3Aissue+label%3Aapi-ready-for-review+label%3Ablocking-partner

Using Microsoft Configuration Extensions with Steeltoe

When you design a modern application, so many new “doors” are opened as you. One topic that you should ponder: configuration. It’s not a very exciting topic like say, Kubernetes. But configuration has tremendous long term effects on the success of your applica…

qmlnet/qmlnet

Qml.Net - Qt/QML integration/support for .NET. Contribute to qmlnet/qmlnet development by creating an account on GitHub.

JDK 12 Security Enhancements

JDK 12 has been released! Although there are no major security features in this release, there are quite a few smaller enhancements and useful additions. Below, I have enumerated the enhancements which I think are most interesting. I have also grouped them int…

Blazored/Gitter

A Blazor Gitter Client. Contribute to Blazored/Gitter development by creating an account on GitHub.

NYU Game Center Lecture Series Presents Daniel Benmergui

NYU Game Center Lecture Series Presents Daniel Benmergui Thursday, November 1, 2018 Daniel is an award-winning game designer and one of the organizers of the Experimental Gameplay Workshop, the one indisputably “can’t miss” session of the Game Developers Co…