HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
I found a bug in Intel Skylake processors
gallium.inria.fr
99 comments
9 years ago
testcross
587 points
2.
▲
How I found a bug in Intel Skylake processors (2017)
gallium.inria.fr
42 comments
5 years ago
vinnyglennon
295 points
3.
▲
Formal proof and analysis of an incremental cycle detection algorithm
gallium.inria.fr
5 comments
6 years ago
lelf
72 points
4.
▲
Formally verifying the complexity of OCaml programs with CFML
gallium.inria.fr
7 comments
11 years ago
lelf
31 points
5.
▲
A few lessons from the Mezzo project [pdf]
gallium.inria.fr
1 comment
11 years ago
rwmj
7 points
6.
▲
GPU memory model
gallium.inria.fr
discuss
13 years ago
edwintorok
5 points
7.
▲
Xavier Leroy's FP course: operational semantics, abstract machines /compilation,
gallium.inria.fr
discuss
18 years ago
gtani
5 points
8.
▲
Reconstructing the Knuth-Morris-Pratt algorithm
gallium.inria.fr
discuss
12 years ago
whathappenedto
4 points
9.
▲
Non-determinism and sequence points in C
gallium.inria.fr
discuss
13 years ago
edwintorok
4 points
10.
▲
Announcing a new OCaml library for the Adafruit Raspberry Pi RGB LCD
gallium.inria.fr
discuss
12 years ago
edwintorok
3 points
11.
▲
On the n-ary cartesian product
gallium.inria.fr
discuss
13 years ago
edwintorok
3 points
12.
▲
OCaml compiler optimizations: we need a representative benchmark suite
gallium.inria.fr
discuss
14 years ago
p4bl0
3 points
13.
▲
A New Allocator for OCaml
gallium.inria.fr
discuss
7 years ago
jasim
3 points
14.
▲
Introduction to Mezzo
gallium.inria.fr
discuss
13 years ago
p4bl0
2 points
15.
▲
The Essence of ML Type Inference [pdf]
gallium.inria.fr
discuss
7 years ago
alokrai
2 points
16.
▲
Try Mezzo in your browser
gallium.inria.fr
discuss
12 years ago
edwintorok
1 points
17.
▲
An original programming pattern in Mezzo
gallium.inria.fr
discuss
12 years ago
edwintorok
1 points
18.
▲
Portable conditionals in makefiles
gallium.inria.fr
discuss
13 years ago
edwintorok
1 points
19.
▲
Typestate in Mezzo? Starting with list iterators.
gallium.inria.fr
discuss
13 years ago
edwintorok
1 points
20.
▲
Generators, Iterators, Control and Continuations
gallium.inria.fr
discuss
4 years ago
Zababa
1 points
21.
▲
The Mirage retreat: field trip report
gallium.inria.fr
discuss
7 years ago
lelf
1 points
22.
▲
Fixin' your automata
gallium.inria.fr
discuss
8 years ago
edwintorok
1 points
23.
▲
From visitors to iterators
gallium.inria.fr
discuss
9 years ago
rouma7
1 points
24.
▲
C++ Object Construction/Destruction with Applications to Resource Management [pdf]
gallium.inria.fr
discuss
10 years ago
kspaans
1 points