Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by pjmlp
A Role for Dependent Types in Haskell (Extended Version)
1 points
pjmlp
2019-06-09T15:52:44Z
arxiv.org
Peter Sommerlad “How I Learned to Stop Worrying and Love the C++ Type System”
3 points
pjmlp
2019-06-08T07:57:36Z
www.youtube.com
Pointers in SPARK/Ada inspired by rust ownership model
2 points
pjmlp
2019-06-06T14:56:11Z
blog.adacore.com
Scripting Languages to Be Removed from macOS
2 points
pjmlp
2019-06-05T11:15:14Z
mjtsai.com
DConf2019: Allocating Memory with the D Programming Language, Walter Bright
5 points
pjmlp
2019-06-05T11:14:23Z
www.youtube.com
Space Invaders game in 512 bytes (boot sector)
3 points
pjmlp
2019-06-05T11:12:34Z
github.com
Linux for Chromebooks: Secure Development (Google IO 2019)
1 points
pjmlp
2019-06-01T07:05:33Z
youtu.be
Pivotal: Comprehensive Support for OpenJDK, Spring, and Apache Tomcat
4 points
pjmlp
2019-05-29T14:20:03Z
content.pivotal.io
Rust's Unsafe Code Guidelines Reference Published
2 points
pjmlp
2019-05-29T12:01:45Z
rust-lang.github.io
HongMeng “Ark” OS – Huawei’s Android replacement: what we know so far
1 points
pjmlp
2019-05-29T11:47:29Z
www.slashgear.com
Moving from Node.js to .Net Core
5 points
pjmlp
2019-05-24T07:14:23Z
devblogs.microsoft.com
Build 2019: Build rich Windows and mobile applications easily using JavaScript
2 points
pjmlp
2019-05-23T09:23:45Z
mybuild.techcommunity.microsoft.com
Windows Presentation Foundation (WPF) on GitHub
117 points
pjmlp
2019-05-23T09:21:07Z
github.com
Modernizing Windows CE Systems with Windows 10 IoT
1 points
pjmlp
2019-05-20T07:03:25Z
blogs.windows.com
DirectX 12 boosts performance of HITMAN 2
1 points
pjmlp
2019-05-20T06:30:32Z
devblogs.microsoft.com
DirectX Engineering Specs Published
2 points
pjmlp
2019-05-20T06:29:35Z
microsoft.github.io
Unlocking New Capabilities for the Web (Google IO 2019)
1 points
pjmlp
2019-05-19T16:47:17Z
youtu.be
Why Linux on Desktop ‘Failed’: A Discussion with Mark Shuttleworth
5 points
pjmlp
2019-05-16T19:36:53Z
www.tfir.io
Excelsior JET 16 cancelled and Excelsior moving away from JVM development
28 points
pjmlp
2019-05-16T14:08:50Z
www.excelsiorjet.com
Performance Improvements in .Net Core 3.0
14 points
pjmlp
2019-05-16T07:06:57Z
devblogs.microsoft.com
106
107
108
109
110
111
112
113
114
115