Hacker News new | comments | show | ask | jobs | submit | from login
In the Beginning Was the Command Line (1999) (inria.fr)
102 points by federicoponzi 5 days ago | past | web | 13 comments
Frightening small children and disconcerting grown-ups:Linux kernel Concurrency [pdf] (inria.fr)
2 points by mfrw 29 days ago | past | web
Wandering through linear types, capabilities, and regions [pdf](2007) (inria.fr)
2 points by adamnemecek 39 days ago | past | web
Resource Polymorphism (inria.fr)
1 point by matt_d 43 days ago | past | web
Resource Polymorphism: A proposal for a resource-management model for OCaml (inria.fr)
3 points by panic 43 days ago | past | web
An abstract model of control over personal data [pdf] (inria.fr)
2 points by lbeziaud 52 days ago | past | web
Pre-built binaries vs. performance (inria.fr)
2 points by rekado 65 days ago | past | web
Wandering through linear types, capabilities, and regions [pdf] (inria.fr)
1 point by gbrown_ 3 months ago | past | web
CompCert: verified compiler for a large subset of the C (inria.fr)
1 point by based2 4 months ago | past | web | 1 comment
Installing Guix on a cluster (inria.fr)
1 point by rekado 4 months ago | past | web
OCaml 4.06.0 Released (inria.fr)
7 points by aw1621107 5 months ago | past | web | 1 comment
OCaml release 4.06.0 (inria.fr)
8 points by copx 5 months ago | past | web | 2 comments
Hardware support for UNUM floating point arithmetic [pdf] (inria.fr)
50 points by gbrown_ 5 months ago | past | web | 17 comments
Coq 8.7 (inria.fr)
3 points by infruset 6 months ago | past | web
Coq 8.7+beta2 (inria.fr)
3 points by infruset 6 months ago | past | web
OCaml is switching to immutable strings by default (inria.fr)
4 points by testcross 6 months ago | past | web
Reproducibility vs. root privileges (inria.fr)
3 points by davexunit 7 months ago | past | web
Code Staging in GNU Guix (inria.fr)
65 points by Fice 7 months ago | past | web | 20 comments
Coq 8.7+beta1 (inria.fr)
1 point by infruset 7 months ago | past | web
Does disabling Wi-Fi prevent my Android phone from sending Wi-Fi frames? [pdf] (inria.fr)
123 points by fanf2 7 months ago | past | web | 115 comments
The Caml Language (inria.fr)
1 point by anon335dtzbvc 8 months ago | past | web
PRANAS: Platform for Retina ANalysis and Simulation (inria.fr)
2 points by indescions_2017 8 months ago | past | web
Hop: a multitier JavaScript (inria.fr)
2 points by tonyg 8 months ago | past | web
Learning from Video and Text via Large-Scale Discriminative Clustering (inria.fr)
1 point by Katydid 8 months ago | past | web
The Coq proof assistant (inria.fr)
2 points by bryanrasmussen 8 months ago | past | web
Coq 8.6.1 is out (inria.fr)
2 points by uyoakaoma 8 months ago | past | web
SUnit Explained [pdf] (inria.fr)
12 points by brudgers 8 months ago | past | web
A Verified Extensible Library of Elliptic Curves (inria.fr)
1 point by mathgenius 9 months ago | past | web
A formal proof assistant which could help to make few crypto coins (inria.fr)
2 points by Ceezy 9 months ago | past | web
OCaml 4.05.0 released (inria.fr)
4 points by based2 9 months ago | past | web | 1 comment
More

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: