Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by pjmlp
A safe, comprehensible and efficient PID 1/init replacement written in OCaml
131 points
pjmlp
2016-02-12T20:14:02Z
github.com
Porting to .NET Core
3 points
pjmlp
2016-02-12T08:25:02Z
blogs.msdn.microsoft.com
Fault Tolerance on the Cheap (LambdaConf 2015)
2 points
pjmlp
2016-01-31T09:59:02Z
www.youtube.com
Stories about the Burrough B5000 from the people that were there (1979)
2 points
pjmlp
2016-01-30T08:19:59Z
ed-thelen.org
Porting the Ada Runtime to a New ARM Board
4 points
pjmlp
2016-01-22T13:40:00Z
blog.adacore.com
The Mesa systems programming language at Xerox PARC (1977)
35 points
pjmlp
2016-01-16T16:57:16Z
www.softwarepreservation.org
Code::dive 2015 – C++ vs. C the embedded perspective
4 points
pjmlp
2016-01-15T18:15:09Z
www.youtube.com
Lumia 630 might not get the upgrade to WP 10
1 points
pjmlp
2016-01-14T14:39:09Z
news.softpedia.com
Code::dive conf 2015 – Replacing C with C++ for safety in embedded systems
2 points
pjmlp
2016-01-14T14:22:13Z
www.youtube.com
Samsung announces the Galaxy TabPro S with Windows 10
1 points
pjmlp
2016-01-06T09:44:04Z
arstechnica.com
Safe and Secure Software – An Invitation to Ada 2012
37 points
pjmlp
2015-12-28T22:21:35Z
www.adacore.com
NET GC was originally converted to C from Lisp
1 points
pjmlp
2015-12-16T21:24:05Z
twitter.com
Mobile OpenJDK project is now live
2 points
pjmlp
2015-12-10T22:06:51Z
openjdk.java.net
UK's National Crime Agency Publishes Crazy Cyber-Crime Warning Signs
1 points
pjmlp
2015-12-10T07:39:16Z
oomlout.co.uk
Scientific data analysis on a high-performance cluster using Free Pascal
24 points
pjmlp
2015-11-26T07:33:24Z
ziotom78.blogspot.com
CVE-2015-8126: Multiple buffer overflows in libpng
205 points
pjmlp
2015-11-14T18:34:47Z
web.nvd.nist.gov
Linux Foundation's Core Infrastructure Initiative, Strengthening Cyber Security
2 points
pjmlp
2015-10-10T17:38:38Z
www.coreinfrastructure.org
CppCon 2015: What's New in Visual C++ 2015 (does include C99/11 support info)
1 points
pjmlp
2015-10-08T17:40:43Z
www.youtube.com
Samsung Decides Not to Backport Kernel Patches in Some S4 Smartphones
32 points
pjmlp
2015-10-04T17:32:44Z
news.softpedia.com
Botnet preying on Linux computers delivers potent DDoS attacks
2 points
pjmlp
2015-09-29T17:45:19Z
arstechnica.com
134
135
136
137
138
139
140
141
142
143